Control Complexity in Bucklin, Fallback, and Plurality Voting: an Experimental Approach Arxiv:1203.3967V2 [Cs.GT] 20 Aug 2012
Total Page:16
File Type:pdf, Size:1020Kb
Control Complexity in Bucklin, Fallback, and Plurality Voting: An Experimental Approach∗ Jorg¨ Rothe and Lena Schend Institut fur¨ Informatik Heinrich-Heine-Universitat¨ Dusseldorf¨ 40225 Dusseldorf,¨ Germany September 12, 2018 Walsh [Wal10, Wal09], Davies et al. [DKNW10, DKNW11], and Narodytska et al. [NWX11] studied various voting systems empirically and showed that they can often be manipulated ef- fectively, despite their manipulation problems being NP-hard. Such an experimental approach is sorely missing for NP-hard control problems, where control refers to attempts to tamper with the outcome of elections by adding/deleting/partitioning either voters or candidates. We ex- perimentally tackle NP-hard control problems for Bucklin and fallback voting. Among natural voting systems with efficient winner determination, fallback voting is currently known to display the broadest resistance to control in terms of NP-hardness, and Bucklin voting has been shown to behave almost as well in terms of control resistance [ER10, EPR11, EFPR11]. We also in- vestigate control resistance experimentally for plurality voting, one of the first voting systems analyzed with respect to electoral control [BTT92, HHR07]. Our findings indicate that NP-hard control problems can often be solved effectively in prac- tice. Moreover, our experiments allow a more fine-grained analysis and comparison—across various control scenarios, vote distribution models, and voting systems—than merely stating NP-hardness for all these control problems. arXiv:1203.3967v2 [cs.GT] 20 Aug 2012 ∗This work was supported in part by DFG grants RO 1202/15-1 and RO 1202/12-1 (within the EUROCORES programme LogICCC of the ESF), SFF grant “Cooperative Normsetting” of HHU Dusseldorf,¨ and a DAAD grant for a PPP project in the PROCOPE programme. Author URLs: ccc.cs.uni-duesseldorf.de/∼rothe, ccc.cs.uni-duesseldorf.de/∼schend. 1 Contents 1. Introduction and Motivation 5 2. Preliminaries 6 2.1. Elections and Voting Systems . .6 2.2. Electoral Control and Control Complexity . .6 2.3. Control Complexity in Bucklin, Fallback, and Plurality Voting . .8 3. Experimental Setting 8 4. A High-Level Description of the Algorithms 9 4.1. Algorithms for Voter Control . 10 4.2. Algorithms for Candidate Control . 11 5. Summary of Experimental Results 12 6. Discussion and Conclusions 17 A. Fallback Voting 21 A.1. Constructive Control by Adding Candidates . 21 A.1.1. Computation Costs . 25 A.2. Destructive Control by Adding Candidates . 28 A.2.1. Computational Costs . 32 A.3. Constructive Control by Deleting Candidates . 35 A.3.1. Computation Costs . 39 A.4. Destructive Control by Deleting Candidates . 42 A.4.1. Computational Costs . 46 A.5. Constructive Control by Partition of Candidates in Model TE . 49 A.5.1. Computational Costs . 53 A.6. Destructive Control by Partition of Candidates in Model TE . 56 A.6.1. Computational Costs . 60 A.7. Constructive Control by Partition of Candidates in Model TP . 63 A.7.1. Computational Costs . 67 A.8. Destructive Control by Partition of Candidates in Model TP . 70 A.8.1. Computational Costs . 74 A.9. Constructive Control by Runoff Partition of Candidates in Model TE . 77 A.9.1. Computational Costs . 81 A.10.Destructive Control by Runoff Partition of Candidates in Model TE . 84 A.10.1. Computational Costs . 88 A.11.Constructive Control by Runoff Partition of Candidates in Model TP . 91 A.11.1. Computational Costs . 95 A.12.Destructive Control by Runoff Partition of Candidates in Model TP . 98 A.12.1. Computational Costs . 102 A.13.Constructive Control by Adding Voters . 105 A.13.1. Computational Costs . 109 A.14.Constructive Control by Deleting Voters . 112 A.14.1. Computational Costs . 116 A.15.Constructive Control by Partition of Voters in Model TE . 119 A.15.1. Computational Costs . 123 2 A.16.Destructive Control by Partition of Voters in Model TE . 126 A.16.1. Computational Costs . 130 A.17.Constructive Control by Partition of Voters in Model TP . 133 A.17.1. Computational Costs . 137 A.18.Destructive Control by Partition of Voters in Model TP . 140 A.18.1. Computational Costs . 144 B. Bucklin Voting 147 B.1. Constructive Control by Adding Candidates . 147 B.1.1. Computational Costs . 151 B.2. Destructive Control by Adding Candidates . 154 B.2.1. Computational Costs . 158 B.3. Constructive Control by Deleting Candidates . 161 B.3.1. Computational Costs . 165 B.4. Destructive Control by Deleting Candidates . 168 B.4.1. Computational Costs . 172 B.5. Constructive Control by Partition of Candidates in Model TE . 175 B.5.1. Computational Costs . 179 B.6. Destructive Control by Partition of Candidates in Model TE . 182 B.6.1. Computational Costs . 186 B.7. Constructive Control by Partition of Candidates in Model TP . 189 B.7.1. Computational Costs . 193 B.8. Destructive Control by Partition of Candidates in Model TP . 196 B.8.1. Computational Costs . 200 B.9. Constructive Control by Runoff Partition of Candidates in Model TE . 203 B.9.1. Computational Costs . 207 B.10. Destructive Control by Runoff Partition of Candidates in Model TE . 210 B.10.1. Computational Costs . 214 B.11. Constructive Control by Runoff Partition of Candidates in Model TP . 217 B.11.1. Computational Costs . 221 B.12. Destructive Control by Runoff Partition of Candidates in Model TP . 224 B.12.1. Computational Costs . 228 B.13. Constructive Control by Adding Voters . 231 B.13.1. Computational Costs . 235 B.14. Constructive Control by Deleting Voters . 238 B.14.1. Computational Costs . 242 B.15. Constructive Control by Partition of Voters in Model TE . 245 B.15.1. Computational Costs . 249 B.16. Destructive Control by Partition of Voters in Model TE . 252 B.16.1. Computational Costs . 256 B.17. Constructive Control by Partition of Voters in Model TP . 259 B.17.1. Computational Costs . 263 B.18. Destructive Control by Partition of Voters in Model TP . 266 B.18.1. Computational Costs . 270 C. Plurality Voting 273 C.1. Constructive Control by Adding Candidates . 273 C.1.1. Computational Costs . 277 C.2. Destructive Control by Adding Candidates . 280 C.2.1. Computational Costs . 284 3 C.3. Constructive Control by Deleting Candidates . 287 C.3.1. Computational Costs . 291 C.4. Destructive Control by Deleting Candidates . 294 C.4.1. Computational Costs . 298 C.5. Constructive Control by Partition of Candidates in Model TE . 301 C.5.1. Computational Costs . 305 C.6. Destructive Control by Partition of Candidates in Model TE . 308 C.6.1. Computational Costs . 312 C.7. Constructive Control by Partition of Candidates in Model TP . 315 C.7.1. Computational Costs . 319 C.8. Destructive Control by Partition of Candidates in Model TP . 322 C.8.1. Computational Costs . 326 C.9. Constructive Control by Runoff Partition of Candidates in Model TE . 329 C.9.1. Computational Costs . 333 C.10. Destructive Control by Runoff Partition of Candidates in Model TE . 336 C.10.1. Computational Costs . 340.