From b3d76a9b4c0c84eac12425163cb4a755a70fbc56 Mon Sep 17 00:00:00 2001 From: Tobias Eidelpes Date: Wed, 22 Apr 2020 23:22:13 +0200 Subject: [PATCH] Add outline and taxonomy of PB --- talk/talk.tex | 94 +++++++++++++++++++++++++++++++++++++++++----- talk/taxonomy.png | Bin 0 -> 9964 bytes 2 files changed, 85 insertions(+), 9 deletions(-) create mode 100644 talk/taxonomy.png diff --git a/talk/talk.tex b/talk/talk.tex index f4c90f1..bf9fa4f 100644 --- a/talk/talk.tex +++ b/talk/talk.tex @@ -1,11 +1,20 @@ \documentclass{beamer} +\usetheme{Boadilla} +\usecolortheme{dolphin} + +\usepackage{graphicx} + \begin{document} \title[Participatory Budgeting]{Participatory Budgeting} \subtitle{Algorithms and Complexity} \author{Tobias Eidelpes} +\begin{frame} + \maketitle +\end{frame} + \begin{frame} \frametitle{Table of Contents} \tableofcontents @@ -15,31 +24,98 @@ \begin{frame} \frametitle{What is Participatory Budgeting?} + \begin{quote} + Participatory Budgeting (PB) is a democratic process in which + community members decide how to spend part of a public budget. + \end{quote} \end{frame} \begin{frame} \frametitle{How does it work?} \begin{itemize} - \item Designing the Process \pause - \item Collecting Ideas \pause - \item Developing Proposals \pause - \item Voting \pause + \item Designing the Process + \item Collecting Ideas + \item Developing Proposals + \item Voting \item Funding Winners \end{itemize} \end{frame} \begin{frame} - \frametitle{Differences to traditional Election} + \frametitle{Benefits of Participatory Budgeting} + \begin{itemize} + \item More efficient spending + \item Diverse participants + \item Higher voter satisfaction + \item Democratic and citizenship learning + \item Institutional and political change + \end{itemize} \end{frame} -\section{Properties of Algorithms} +\section{Computational Aspects} + +\begin{frame} + \frametitle{Computational Aspects of PB} + \begin{itemize} + \item Discrete or continuous projects? + \item How do we adequately capture voter's preferences? + \item How do we model these preferences? + \item How do we aggregate votes? + \end{itemize} +\end{frame} + +\begin{frame} + \frametitle{Decision Space} + \begin{figure} + \centering + \includegraphics[width=\textwidth]{taxonomy.png} + \end{figure} +\end{frame} + +\begin{frame} + \frametitle{Bounded Divisible PB} + \begin{itemize} + \item Projects are divisible + \item A cap for each project is defined + \item Fractional funding + \end{itemize} + \begin{block}{Bounded Divisible PB} + Each project has a cap $q_p = 1$ and $x_p = [0,1]$ denotes the + fraction of project $p\in P$ that is completed. The set of + feasible budget allocations under a budget $B = 1$ is therefore defined as + \[ \{ \vec{x} : \sum_{p\in P}{x_p}\leq 1 \}. \] + \end{block} + \begin{exampleblock}{Example} + A project that seeks to donate a bounded amount of money to a + charity. + \end{exampleblock} +\end{frame} + +\begin{frame} + \frametitle{Unbounded Divisible PB} + \begin{itemize} + \item Projects are divisible + \item No caps for projects + \item Generalizable to \emph{Portioning} + \item In practice still bounded by total budget + \end{itemize} + \begin{block}{Unbounded Divisible PB} + + \end{block} +\end{frame} + +\section{Preference Elicitation} + +\section{Preference Modeling} + +\section{Vote Aggregation} \begin{frame} \frametitle{Algorithm Axioms} \begin{itemize} - \item Pareto Optimality \pause - \item Monotonicity \pause - \item Truthfulness \pause + \item Pareto Optimality + \item Monotonicity + \item Truthfulness \item Fairness \end{itemize} \end{frame} diff --git a/talk/taxonomy.png b/talk/taxonomy.png new file mode 100644 index 0000000000000000000000000000000000000000..bb217cef33c8b59c0969578f82a4269580a5c8a3 GIT binary patch literal 9964 zcmaia2Q=K>*1jO3_e3XxK?I{lqL+x#JJHAJBFw9e-bVxxhL~v4TcW+uk`TQ`j~dY< zh~9hoA9?Tn?ziq*-}=w8m}U5#efB?%o3 z6ZlB|FQkV@WkBE8uV24?`_|mtJbpbOAfQYTb+YH!eO*jU%z$pP-tYdHy07nvW%4x! zDfMfM$(HXveKN67G&N1F6R*|u>5Yz#-r^A#7oVj%zc^=-HTkm$;Us|wSRktR_itX0 z;MCOA0WwW3Ek*nBA3si4M)(G$UjzyZ3Q|1mF|BzPr7S8ULZbxy zPF`JIo$10Pd0BbT7EL!WI5IL4)h@`z^(gR*@8w0nmiGF_23i?uV}pFsSAuc{Jr z5cKx)+FBb+#9(Mpbpy*UEKEEGrKP0@h+1}sCMQYPkvck5QjYgsr+Yd(gYlsI`}^7v z_QoFFV3U>&fm2gcZ6B`uqaNDg0tF$WL9}*!94Lv6i)#ottO3V52H8{#$2drKK-sC?Z`$j-IrH-Jr-c zI6z4So$niYd3iZH^6quHxVQ{xDy|I`XqlRtf(M`;UIi)2ua?XXI3pXs^7DX1Z*MOd z1%iy4hzJXR?e4C(5UlJ44&&qFyK&dKidt+;=d!McSU5HL<;Ww9@Z zIypPHHAwK^yZ7|zQ~!&z@Q#4PRem{)=sxOEn?Q7 zGRAE~O=Xv zzPr1-AVMG}S^URab1fi_$Nh#vRJN|JuFsy8mX(zi75xSY>%B2qR9qYi@o{o`amn?d zB|K)l(V^+jDjop}5P768jl(8Adr=&lS%cIPO-e#@s;coL)}c0~w?`kTqkbo-XTYf$ zm!gldU@Fs5?OyXHSfcQKttk2t-cD&#tduLl00O z47RorL3di9eS;eo;khz_Zs$Ay_Hw>t`@&EBF~R=h@QGZ*_SZ)rbN{p2OOU%!QBeh2 zZ*S4k=H}&ziHgd7sHm&+_xF#gw8}@ndjM$HXKhCB?+td}?S2@BVsM7tu>$ z(j2RadaQri?8&c>GVGX4iFzV+@0ckyw_|2KBA!q`SL2*u%}6H?O=8;;^~7G-GK+&!0aP z{ePKq4YL4jt@MuZRnvj#AcUhh_d~YvZC?#xrPny!74NevFb%1agp@sYqaJ!a9Dg($p7|{0gtU5}5?K)le#MHEf9St*n z`SPWmz5S0LKfvJug~imwL?-a8vtg_eO1(b%NM#`}w@~PfQo>0iDpa`Bv4_Ou-zKU)ci)J1sW~EAZUsPEHQYlnYDc8U(X2Kh5sEXL`i&ZSjAkK*$ z%-wT}V#MgHbru#hJ0L`P%MYtHa7YO21wZ+P7&+X>_<#`d0l!r`2QOT$WU4`wTj+s*&z!{=&qMQVAhWy-&_QDDjJFjRC zBZf9JVK?{g)!Qf#9ifHUSt|#J!uRj*-M@bbdgn}gJAo!tUH30v-%p^NfPT9i2}&@? zxMM9Rp)R!JYG@tr;#gAQpf9%&H^YcAl&sPZ^4-ms#(0CC`+l0GQMU4GdTW}EKB7r< zV1sG`YnW0Vt^-RY)zj5N3}fq{CJyRi5MDX1C75I70M?1~HFZmCxS-`1RK3Oce2a3B zj}JpK1NuS7(yoT4=IF?Xk5mRYL2R;tv-mA$diPA}surMj!hal{!$^`J;?>W|1VYfw z@^b;byQ(_uP>;c4V!9lJ+SFOIVu@h&x74VUD!ZV6VlW!5my(-s<%Mqs7*TbuKS9Xu z0kGYygaGMZ4*9E7)bO-;>xNy*RE)u653N@iG`fPeo~$Q3Ds`Dg2xLF*T9 zq%coGrrh(6F%fPHf6V1nISuQ9DT_^%zu-me5bE_T@aE@kIsJS04)rbAQ7kx(U5R^` z1YVf*Kg;8J)P;qGl}EWcIhj0p(qxNn^I&5!94=|T^sHhOdrmc4dJu)CL`nlk9iNP~VU=A)w?|w6K_NZN)DY>Zxk1^rN!iALQ&cmP!)M*%yV7vN-Q#=d$L+*xvr*jRlRIHn?u= z1Bx6y3`GnlPgp5s`}OO#5RQDCEp_@x7^9vBp)N`6_t-9yoHkYwA0n1gMk4;}`M1Go zSj&KCH}>?X2L^r_TRlJCrD0uNT?HV`*47q4l6EmP%njF%g@qjB)Z;^+p5kxC zDbL^$0Ttlk5fOsD7)r&Nk))fQyiSg|n9X(4mdh}ygHpRFQ>UF%_$f2e4q0mvKnxnQ z+y#0a0tj`PRn&!|L2itE%M;SCN*uDZ0;U+ZZbXE-(@De}v#b>j6t$6X4BBxveZMTX&y^Q~5Y46D4&CZr zGijbNgh13aG;HndDM(4T8q965JZ^vewR5t+nwG}w5QU5dcnRi@y3ZzGYx(K*R!vfr zFo1oa7(IIQ=&V1O0rK^IS=rLklA>&nY@jtgXun&}Wd3&R_UN5;<)N|F)YN2TWUR9g zywp-5rJ*6Gpa4Fb6GQp>zHq+6oz2ZmzG%1tXC)hPIP?X1R(tra4KuE^o2Tdg2mAgb z3=cYreE>%`@T@i~Yi^>Bn&u=n9!}qW^GM?r9D7O0#6jF=ZdH~-2&ZLHh$UL;lE^J7 zSs%=KJPx^+6(Fd<)F#1+)^a6n@Nf{lf8X1~!-|RRIX4D4X8he)%xnQ?qXB@wW+F#7 z`=C8Rv-`62X)k&E1iO5Mr?FTp4RWV;TW&M321MK#{}asxzM%5eX}njVs$o1ec3 zUcY`B7#K7WyaTwlp&`i54)nzv4Hg_R0rhkSVwo8x?Iz0Xyn}{S5a?p_?KO+g?uz{C z>VuyhapUON-%Tn04z-e|xnNgf=1Es#%y&NTtllK-ZaAm ziH|yWPK75h1DIQ1e-0MS%i~)1C%AFr^QTWMtE+%H04@oz4>~duu!-$*Lbu<(akvM1 znBkY%JRDn;jsO_E8CE5J(e`R>ZB6Bjxpfa3Pa(xY$MZci#`m7)uL@$8Z0fYOYj^XA zVm?9%X)_tjWI8hB4H&fJ+KPBLYhL5$2ah`Ejb5czS_gj9lQemQ5R+{9KGu%YNzP_L zUMYmmPE(V-x?=HL$4lG^y%(h6n2N+_W?p1}I}uNo%Q%Jb=KH!RtE}YUy+18KX<^0j z!YyYDHovw;W)+EZia*ZZm~qXE9C>tlOp1|fT?EmNp|QG|hQ&HKI))gO=jYo62C{OS z{ra}gdVQ?`^4pE};Rs`ieypJ`2iJbZJiy!=7sz`dzlDk|WNtp6r8>d3b$`plOb*x< z4$gCWIksEe}MD=ApN|i_a;^jh_i3V4(8u}X_!uKPkkidln#3(lz55cv2)V^GxN8 zGZ9XoRQRQi0ZoL7kEe?35RsCKA$jKZJ0T8NG{`Yn6HYP`VOb1LocYu{^ZKd!;O&}4gk7PIG`~(+EKw<~VLTqMgj0szzNYZr@O)8xt&Dvq zjdG~cSxr+Q^*}~(X9A;KLU!zRh*)sK*MZxv*C+@H3IsD5M#cj;gOgZBy^Vh%Ljb>{ z%o`JLfj+CKuQ%7$-dgNsG9ye?8}p;hJXXW=DpGj&AFFl%%ezHKhhP#v8nmEPh+&K> z3a{fu1N5tIK~LOU*uHU|YXduhjj+DPTAP$5bxL*(=ta}DlX zIzdd0)`~#Dnr4O~yMZ>WYh|z8XO? zBBVbb0zu=!g9oLTdhk#hBCB z)U>;|m!FUCbniD!X&db+0#qZb{?o2kYP+~D>U>q$1jr^OcMCs*S{J{SSfm(>p_iEz zJtRTtAfgwl9)7g*OU=%1@!~>8AUq_XqQJmOzo^8dj`-^UJHUZnch|>{=Jxg~3kwV1 zy?a+zH#tR-4m^^-6sh_r^^A-Jlp z76835A7Az_@$vJggI>zW==Ahy>o2Tz&|0M`*`wa)Kl#Yy6MSFrF8UMjYqpyRzfRz5 zd`SN8!TaB}jljyNS&~#Z_BpPLuDv~XHQdT%E#etiREYod zmI}KyBzIG?C|gmIiMH@bPhX#%tu4^$egu8_QTqP<+QvqEmiEUzA*Z)DqV;22^|LML?+zA? zI&eK4v8&V-qc-`pLQ1_ZN0MLe#TxkyrVLWP5(QAC2E#&;kPl{%oZ>Bzg6#V<42+E4 zW@He5C@+7Np3WlM&~}&Y%dIqsmX(`Su<$%F!-z`gjqC6(9vX*YYB6PGhET}R#x*{P z_dmDYIfT@8shX}*E`IU%P=UZj$-TNA%V2jpZ1F)zCFd@6)m=Oj8hUp)rB_^IR-wrK z`%BxX(b3V|2Qo5&TeI>&iJT0I48ue+oF(GRBZ}kkDTrH#5qi3EBEt?yE<0XWB9W+( z${=~=?OhYMiIfK2b{~Kg=>$Hr=_7WUfp{0xGHX}K$AdGTh`el!x3uS!&twkSnBZ)j#fM==AS z<-IxG_8O*6KtLcYB4T7@6d&1p2pT2OL)sp<&ds_Z9(#v)+!nhVvaPBvZAjENkCXHb zzuk-;zr+dSv{r1u&?rvN&5+bMMnbSe>kvb(Ba+QYq41n2^ur~*zc8U)AF-{Vs$Ky- z-u`)G@6-DF`ovpBPj7F!Teo&B4{a3)4Bd=7uFl5Y+Bz#BF4_Wp7YJJAw$#MSu7JF$ zs;L3_(rrC-Zf*{=;G!a4GZmRTgX>BuN_BQg;kAKdf;;D@hd@RJicoFl?Ta!aKQz3u zr@ucrG100Us$S{l-UJf+#Q$h3>*GfTQ;58TjLgRBYIkSn^6%e+fs?s^S5+D4=v*V) z1;T?H{~NdZA5o(7p)|izetWjhwGFKz5AV!X8G;o|O`VUs5^Vwk>OtODRBQujthOC$ zx3aQ=Mx)EY9!zSh?Z6&rKwg#{u3b z_3&ZyuZ6}bGDbECRPAB_$2qp2MXHYOHZ| zbo@Qn5($39u}V(>!HMVwGc$8#O^u=mX{-nJM)v%I=Mp}$DC(~&YM<}h{@bON3)9on z(R6}fD}KJd1C}j+b%G#(t_(*P7Z(HC$?5MROdb+}W9VZ18OaVuuG-SuPS&qc+L6Fj zl%g=JS;_LTe6_M1G_K>WEPf*jop^}o&&lf>Pv-^(25{0x@)``fTZtXaxFL|tO%0&N z^6~i{ZkQhhS$X;SeFj?V!DM}X{ak-L6xQ9>rwM-7@zdvc=hszLwxmL_Wn^TOmXy@H zFKGq@oOgDrBwX?l5M1*nd_Pw1^ix5W)x;(#s)^HF*DR~qV69WYK0U1*}Y_2U5No9craRs%u^zzGKdmUNLk3pg7{yjrLoAg4?_VsxVN_u3x_n^f4e`&U^_Vxx|nulRUMl z=?{@6TXXJcZ$CLbopU_&tq1xUYupX-FK%0F-$i(Uz&^MA%pHXyqIbFT)5c*NiCA3uN7wyrj2)pgMzY2UZb(B zyE9Az4u@xDXW!xGzG3qB_VzZIU#zdYT!`?)Ixj9RfQseg^I)ys3PZ;9EX@j=d+pOq z9Gk3f{WOq7(P)C@@SLq}!4|^VDf&@s<9N6^dW2!r!MF&?^J4sv|Npx>9=Ah_iQ|rf zsLonY0b_VuOtJ-Qc873#fZ8j1D3p98@%rHbB3vtgHllYH)DS_&kN6 zh0w|qEyif*WL$>iH@PyFaeS3h;d#U>CFlwDbkTn=ydKd;S@6|0>1%LCXM1l zNy&G`#VAY%HaM^rsPUQ-jPNQyZEB1D7F?&8JysoOih`e~p{1tM(b ziEG*6^=Jboy6n(^8HINfCFDuNDu13DyArQtAvt=dXi#-TrO1~thk+zNcXa4YIz1+l z6?Tn(5LSp3(2=7bk{eO^-*&3Tj#~06V@$OEfqFpR3{tTaHM}Pv0Lb#TVH^_IqhSC~ z(GN#M0o3H~WI@@0lhz>JXqZFb`N?(f{hY^fQmk5V_#7xfbLR0uyKkaQt*%Vm&^3E5 zbr3*OqMNgC^kOh~R1aV_QfV=?K!X2NFIQ^u$BuYX25$xEtQ@95+g7CJn8MsA9(_{+=d;8%CDQJIB- zp&^K=p@Bht;JL4l&l^)~2z&6Tx4(Z~Rn~Y#`M$x&HC&&cw|>eIcjd%k zhXCxAru#1kv=v=n=ZWglQ-{r6X}3go-vIE{-R(m5-d({ivCF4(b3_?QIFcruB&43}NEy*Wds%{2)Zk)cjw507ChK!950jVJ?knE!8>hDk1)_ zx206ubcwHxL9FL*ow6wY_x?15!g=j>26Mqc(9Mm~6isv!=na*X!=Tofn))sErPtL- zEkB%PHGT4Aj^f1|o)7i)ppF7n&=Y8+!^6X1_yM{I$e$~rn5Tu4k%NN+H0fsX=Btze z$LW82WSUkHYYov7;?l5aOOWRR)}H6m2I}t5W7`XJm92Rrf}LrEkkPe>%KNd^Kvn-t zt;pq6=$(*N01?!zf&oOnkkj7OByVCe0TfBM5V+a=j~dqjPk;nKd&|$wO-xJ#Ni1h{ z297{Z4o8|Dc58fMA|)*i%p!dN0rd6tH8eCtAbzIacLjX%xStI=Mp~N(zaF#soPU4uRC|M-ox53^?+;R`f$UBX&%Dw_W1 zsmgws!BiMu(HMDwGG7%!gB8XI^}!(T*utc}WS~x@6cn=lN5H>Pq%v;-0A|_v1i(Ci zI8$E&K4)fTg89(?>e$fG&_LttHBtl^#9x9bGN??T1%@Tnt$dk7h^tNQAo^{(tQ3Y zp$pKe!Wz4HV-HDlJr^cp=iw8Sw;d*#!6Ao^@1UYv%#H0e*e@^!?}0 zpTW`1%$!~9O$G9@r>7?i3kz^|n85Q(1AF1}&!0(L);l{p0g_BfO;uA>)dll#5fL^i z6pn`ABoPS-$r)U*<*5I%EE0PrA&Gj7nC!u-c6RF_ZxfLcw!?dZ0uI3x*D!?=P9$Jz zPr}OBnW?wHRqOv<&Pm_(E6^%)zyR4lgfIy#CQ+~EKSTwGF85(>pR z*8(ROOtUS6&OHIdTz+l>GSklw)Di&i0xvIOZ-^lKK`%ZzIRVmRP*4!~(A?Y{^lequ z7ac!~3JXzt%T)eB+}zw?ymo}KKo8=sO1xhz&;N<*K836=`aG>P|NAc=a9JU{1>_SL z#`KeLW1h>oo&hoikQ$iFHK4ZV-v(Xq3JQV?9^nV{DK@ngV1!Q?2%-x9Xn-9|oPY9S zd3H_@U6(zV78jM3l`ZOhN4|aAnQaOKGkNgbg1o$&baeN{#lc($+y()&e*g26q)RWx z7Kt09NYqf67z-VCRg?4Nle0Q!hCp%wf*wMAPf$>?e`|G2(98;}L@agWo_$~mJOaw_(ucA# ziVRZ}`bwsM)8Eyl^Y$1}k~+{LJUl#*NF=xwadbql)dB4p3Gs%alA6B0BU?1I=$e9}* zJw3$|L4(h-2j!k+Va@sIz=2zGGSbq*?ZLbpCnL7BQ~+f+ zd(6wn7q+x=b+O=A^C>JaFwnptX>2v%VC{{AhrONMkvj^Un=Rc4qdRqabAU!sh5fKX z!|1I}rw0e)F_;fvr0GnG*?Ufb$uhY0mit{Sn<#2v5wyj{jNQYTpqV-!J!T_)eYqmg zCVw$+hZI<;!(niDcfGwgca2UqKVMzFL0!jM29`uc5h1UE!oJg-*+OST(wNk;52DbF zplUEC&&|zkbd;CBme{(q1RzyJ2)Nk<9XUHY+u0HJ&pJO3@V5mwMF@?*!vi7>E+#Gu zU&80{!Mzd4HGpTq4U~P96qxFOJ0-O}S3Xa^SsBX2#5CaY!jkCL^NS}q<`v80k2v^w z1O#sJSKiu=ZuPny7RlRqw&UD1c9SmiU}>JN`TD?6^M26r&ZEi!nYR?OnrJvR{=Y>~ ze^gjAn5UUV0Ov$mehIpi5f#-3QU;(yY8+|v_$UZ?AZMESAy)^)s-9U!nM%=<8wF#j^wp* zipEl$1A=nJ-~imUTUPz$>G(mvgW-3GYnq~nFIXfYaH{oZa5($DzW|s9!4CpQW`6$8 s<&MZ7WBywrm#^$VsWm}k5Em4OoXO5|6pTLL78?%ik)~3qf>r4M17e|kOaK4? literal 0 HcmV?d00001