pref_voting 1.16.31__py3-none-any.whl

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (92) hide show
  1. pref_voting/__init__.py +1 -0
  2. pref_voting/analysis.py +496 -0
  3. pref_voting/axiom.py +38 -0
  4. pref_voting/axiom_helpers.py +129 -0
  5. pref_voting/axioms.py +10 -0
  6. pref_voting/c1_methods.py +963 -0
  7. pref_voting/combined_methods.py +514 -0
  8. pref_voting/create_methods.py +128 -0
  9. pref_voting/data/examples/condorcet_winner/minimal_Anti-Plurality.soc +16 -0
  10. pref_voting/data/examples/condorcet_winner/minimal_Borda.soc +17 -0
  11. pref_voting/data/examples/condorcet_winner/minimal_Bracket_Voting.soc +20 -0
  12. pref_voting/data/examples/condorcet_winner/minimal_Bucklin.soc +19 -0
  13. pref_voting/data/examples/condorcet_winner/minimal_Coombs.soc +20 -0
  14. pref_voting/data/examples/condorcet_winner/minimal_Coombs_PUT.soc +20 -0
  15. pref_voting/data/examples/condorcet_winner/minimal_Coombs_TB.soc +20 -0
  16. pref_voting/data/examples/condorcet_winner/minimal_Dowdall.soc +19 -0
  17. pref_voting/data/examples/condorcet_winner/minimal_Instant_Runoff.soc +18 -0
  18. pref_voting/data/examples/condorcet_winner/minimal_Instant_Runoff_PUT.soc +18 -0
  19. pref_voting/data/examples/condorcet_winner/minimal_Instant_Runoff_TB.soc +18 -0
  20. pref_voting/data/examples/condorcet_winner/minimal_Iterated_Removal_Condorcet_Loser.soc +17 -0
  21. pref_voting/data/examples/condorcet_winner/minimal_Pareto.soc +17 -0
  22. pref_voting/data/examples/condorcet_winner/minimal_Plurality.soc +18 -0
  23. pref_voting/data/examples/condorcet_winner/minimal_PluralityWRunoff_PUT.soc +18 -0
  24. pref_voting/data/examples/condorcet_winner/minimal_Positive-Negative_Voting.soc +17 -0
  25. pref_voting/data/examples/condorcet_winner/minimal_Simplified_Bucklin.soc +18 -0
  26. pref_voting/data/examples/condorcet_winner/minimal_Superior_Voting.soc +19 -0
  27. pref_voting/data/examples/condorcet_winner/minimal_Weighted_Bucklin.soc +19 -0
  28. pref_voting/data/examples/condorcet_winner/minimal_resolute_Anti-Plurality.soc +17 -0
  29. pref_voting/data/examples/condorcet_winner/minimal_resolute_Borda.soc +17 -0
  30. pref_voting/data/examples/condorcet_winner/minimal_resolute_Bracket_Voting.soc +20 -0
  31. pref_voting/data/examples/condorcet_winner/minimal_resolute_Bucklin.soc +19 -0
  32. pref_voting/data/examples/condorcet_winner/minimal_resolute_Coombs.soc +21 -0
  33. pref_voting/data/examples/condorcet_winner/minimal_resolute_Coombs_PUT.soc +21 -0
  34. pref_voting/data/examples/condorcet_winner/minimal_resolute_Coombs_TB.soc +20 -0
  35. pref_voting/data/examples/condorcet_winner/minimal_resolute_Dowdall.soc +18 -0
  36. pref_voting/data/examples/condorcet_winner/minimal_resolute_Instant_Runoff.soc +18 -0
  37. pref_voting/data/examples/condorcet_winner/minimal_resolute_Instant_Runoff_PUT.soc +18 -0
  38. pref_voting/data/examples/condorcet_winner/minimal_resolute_Instant_Runoff_TB.soc +18 -0
  39. pref_voting/data/examples/condorcet_winner/minimal_resolute_Plurality.soc +18 -0
  40. pref_voting/data/examples/condorcet_winner/minimal_resolute_PluralityWRunoff_PUT.soc +18 -0
  41. pref_voting/data/examples/condorcet_winner/minimal_resolute_Positive-Negative_Voting.soc +17 -0
  42. pref_voting/data/examples/condorcet_winner/minimal_resolute_Simplified_Bucklin.soc +20 -0
  43. pref_voting/data/examples/condorcet_winner/minimal_resolute_Weighted_Bucklin.soc +19 -0
  44. pref_voting/data/voting_methods_properties.json +414 -0
  45. pref_voting/data/voting_methods_properties.json.lock +0 -0
  46. pref_voting/dominance_axioms.py +387 -0
  47. pref_voting/generate_profiles.py +801 -0
  48. pref_voting/generate_spatial_profiles.py +198 -0
  49. pref_voting/generate_utility_profiles.py +160 -0
  50. pref_voting/generate_weighted_majority_graphs.py +506 -0
  51. pref_voting/grade_methods.py +184 -0
  52. pref_voting/grade_profiles.py +357 -0
  53. pref_voting/helper.py +370 -0
  54. pref_voting/invariance_axioms.py +671 -0
  55. pref_voting/io/__init__.py +0 -0
  56. pref_voting/io/readers.py +432 -0
  57. pref_voting/io/writers.py +256 -0
  58. pref_voting/iterative_methods.py +2425 -0
  59. pref_voting/maj_graph_ex1.png +0 -0
  60. pref_voting/mappings.py +577 -0
  61. pref_voting/margin_based_methods.py +2345 -0
  62. pref_voting/monotonicity_axioms.py +872 -0
  63. pref_voting/num_evaluation_method.py +77 -0
  64. pref_voting/other_axioms.py +161 -0
  65. pref_voting/other_methods.py +939 -0
  66. pref_voting/pairwise_profiles.py +547 -0
  67. pref_voting/prob_voting_method.py +105 -0
  68. pref_voting/probabilistic_methods.py +287 -0
  69. pref_voting/profiles.py +856 -0
  70. pref_voting/profiles_with_ties.py +1069 -0
  71. pref_voting/rankings.py +466 -0
  72. pref_voting/scoring_methods.py +481 -0
  73. pref_voting/social_welfare_function.py +59 -0
  74. pref_voting/social_welfare_functions.py +7 -0
  75. pref_voting/spatial_profiles.py +448 -0
  76. pref_voting/stochastic_methods.py +99 -0
  77. pref_voting/strategic_axioms.py +1394 -0
  78. pref_voting/swf_axioms.py +173 -0
  79. pref_voting/utility_functions.py +102 -0
  80. pref_voting/utility_methods.py +178 -0
  81. pref_voting/utility_profiles.py +333 -0
  82. pref_voting/variable_candidate_axioms.py +640 -0
  83. pref_voting/variable_voter_axioms.py +3747 -0
  84. pref_voting/voting_method.py +355 -0
  85. pref_voting/voting_method_properties.py +92 -0
  86. pref_voting/voting_methods.py +8 -0
  87. pref_voting/voting_methods_registry.py +136 -0
  88. pref_voting/weighted_majority_graphs.py +1539 -0
  89. pref_voting-1.16.31.dist-info/METADATA +208 -0
  90. pref_voting-1.16.31.dist-info/RECORD +92 -0
  91. pref_voting-1.16.31.dist-info/WHEEL +4 -0
  92. pref_voting-1.16.31.dist-info/licenses/LICENSE.txt +21 -0
pref_voting/data/voting_methods_properties.json ADDED
@@ -0,0 +1,414 @@
1
+ {
2
+ "Anti-Plurality": {
3
+ "condorcet_loser": false,
4
+ "condorcet_winner": false,
5
+ "pareto_dominance": false,
6
+ "positive_involvement": true
7
+ },
8
+ "Baldwin": {
9
+ "condorcet_loser": true,
10
+ "condorcet_winner": true,
11
+ "pareto_dominance": true,
12
+ "positive_involvement": false
13
+ },
14
+ "Baldwin PUT": {
15
+ "condorcet_loser": true,
16
+ "condorcet_winner": true,
17
+ "pareto_dominance": true,
18
+ "positive_involvement": false
19
+ },
20
+ "Baldwin TB": {
21
+ "condorcet_loser": null,
22
+ "condorcet_winner": true,
23
+ "pareto_dominance": true,
24
+ "positive_involvement": false
25
+ },
26
+ "Banks": {},
27
+ "Beat Path": {
28
+ "condorcet_loser": true,
29
+ "condorcet_winner": true,
30
+ "pareto_dominance": true,
31
+ "positive_involvement": false
32
+ },
33
+ "Benham": {
34
+ "condorcet_loser": false,
35
+ "condorcet_winner": true,
36
+ "pareto_dominance": true
37
+ },
38
+ "Benham PUT": {
39
+ "condorcet_loser": null,
40
+ "condorcet_winner": true,
41
+ "pareto_dominance": true,
42
+ "positive_involvement": false
43
+ },
44
+ "Benham TB": {
45
+ "condorcet_loser": null,
46
+ "condorcet_winner": true,
47
+ "pareto_dominance": true,
48
+ "positive_involvement": false
49
+ },
50
+ "Bipartisan Set": {},
51
+ "Blacks": {
52
+ "condorcet_loser": true,
53
+ "condorcet_winner": true,
54
+ "pareto_dominance": true,
55
+ "positive_involvement": false
56
+ },
57
+ "Borda": {
58
+ "condorcet_loser": true,
59
+ "condorcet_winner": false,
60
+ "pareto_dominance": true,
61
+ "positive_involvement": true
62
+ },
63
+ "Borda (for Truncated Profiles)": {
64
+ "condorcet_loser": null,
65
+ "condorcet_winner": null,
66
+ "pareto_dominance": null
67
+ },
68
+ "Borda-Minimax Faceoff": {
69
+ "condorcet_loser": true,
70
+ "condorcet_winner": true,
71
+ "pareto_dominance": true,
72
+ "positive_involvement": false
73
+ },
74
+ "Bottom-Two-Runoff Instant Runoff": {
75
+ "condorcet_loser": false,
76
+ "condorcet_winner": true,
77
+ "pareto_dominance": true,
78
+ "positive_involvement": false
79
+ },
80
+ "Bottom-Two-Runoff Instant Runoff PUT": {
81
+ "condorcet_loser": false,
82
+ "condorcet_winner": null,
83
+ "pareto_dominance": null,
84
+ "positive_involvement": false
85
+ },
86
+ "Bracket Voting": {
87
+ "condorcet_loser": true,
88
+ "condorcet_winner": false,
89
+ "pareto_dominance": true,
90
+ "positive_involvement": false
91
+ },
92
+ "Bucklin": {
93
+ "condorcet_loser": false,
94
+ "condorcet_winner": false,
95
+ "pareto_dominance": true,
96
+ "positive_involvement": false
97
+ },
98
+ "Condorcet": {
99
+ "condorcet_loser": false,
100
+ "condorcet_winner": true,
101
+ "pareto_dominance": false,
102
+ "positive_involvement": false
103
+ },
104
+ "Condorcet IRV": {
105
+ "condorcet_loser": true,
106
+ "condorcet_winner": true,
107
+ "pareto_dominance": true,
108
+ "positive_involvement": false
109
+ },
110
+ "Condorcet IRV PUT": {
111
+ "condorcet_loser": true,
112
+ "condorcet_winner": true,
113
+ "pareto_dominance": true,
114
+ "positive_involvement": false
115
+ },
116
+ "Condorcet Plurality": {
117
+ "condorcet_loser": false,
118
+ "condorcet_winner": true,
119
+ "pareto_dominance": true,
120
+ "positive_involvement": false
121
+ },
122
+ "Coombs": {
123
+ "condorcet_loser": true,
124
+ "condorcet_winner": false,
125
+ "pareto_dominance": true,
126
+ "positive_involvement": false
127
+ },
128
+ "Coombs PUT": {
129
+ "condorcet_loser": null,
130
+ "condorcet_winner": false,
131
+ "pareto_dominance": true,
132
+ "positive_involvement": false
133
+ },
134
+ "Coombs TB": {
135
+ "condorcet_loser": null,
136
+ "condorcet_winner": false,
137
+ "pareto_dominance": true,
138
+ "positive_involvement": false
139
+ },
140
+ "Copeland": {
141
+ "condorcet_loser": true,
142
+ "condorcet_winner": true,
143
+ "pareto_dominance": true,
144
+ "positive_involvement": false
145
+ },
146
+ "Copeland-Global-Borda": {
147
+ "condorcet_loser": true,
148
+ "condorcet_winner": true,
149
+ "pareto_dominance": true,
150
+ "positive_involvement": false
151
+ },
152
+ "Copeland-Local-Borda": {
153
+ "condorcet_loser": true,
154
+ "condorcet_winner": true,
155
+ "pareto_dominance": true,
156
+ "positive_involvement": false
157
+ },
158
+ "Daunou": {
159
+ "condorcet_loser": true,
160
+ "condorcet_winner": true,
161
+ "pareto_dominance": true,
162
+ "positive_involvement": false
163
+ },
164
+ "Dowdall": {
165
+ "condorcet_loser": false,
166
+ "condorcet_winner": false,
167
+ "pareto_dominance": true,
168
+ "positive_involvement": true
169
+ },
170
+ "Essential Set": {
171
+ "condorcet_loser": true,
172
+ "condorcet_winner": true,
173
+ "pareto_dominance": true,
174
+ "positive_involvement": false
175
+ },
176
+ "GOCHA": {
177
+ "condorcet_loser": true,
178
+ "condorcet_winner": true,
179
+ "pareto_dominance": true,
180
+ "positive_involvement": false
181
+ },
182
+ "Instant Runoff": {
183
+ "condorcet_loser": false,
184
+ "condorcet_winner": false,
185
+ "pareto_dominance": null
186
+ },
187
+ "Instant Runoff PUT": {
188
+ "condorcet_loser": null,
189
+ "condorcet_winner": false,
190
+ "pareto_dominance": true,
191
+ "positive_involvement": true
192
+ },
193
+ "Instant Runoff TB": {
194
+ "condorcet_loser": null,
195
+ "condorcet_winner": false,
196
+ "pareto_dominance": true
197
+ },
198
+ "Iterated Removal Condorcet Loser": {
199
+ "condorcet_loser": true,
200
+ "condorcet_winner": false,
201
+ "pareto_dominance": false,
202
+ "positive_involvement": false
203
+ },
204
+ "Kemeny-Young": {
205
+ "condorcet_loser": true,
206
+ "condorcet_winner": true,
207
+ "pareto_dominance": true,
208
+ "positive_involvement": false
209
+ },
210
+ "Knockout Voting": {
211
+ "condorcet_loser": null,
212
+ "condorcet_winner": null,
213
+ "pareto_dominance": null,
214
+ "positive_involvement": false
215
+ },
216
+ "Llull": {},
217
+ "Loss-Trimmer Voting": {
218
+ "condorcet_loser": true,
219
+ "condorcet_winner": true,
220
+ "pareto_dominance": true,
221
+ "positive_involvement": false
222
+ },
223
+ "Minimax": {
224
+ "condorcet_loser": false,
225
+ "condorcet_winner": true,
226
+ "pareto_dominance": true,
227
+ "positive_involvement": true
228
+ },
229
+ "Pareto": {
230
+ "condorcet_loser": false,
231
+ "condorcet_winner": false,
232
+ "pareto_dominance": true,
233
+ "positive_involvement": true
234
+ },
235
+ "Plurality": {
236
+ "condorcet_loser": false,
237
+ "condorcet_winner": false,
238
+ "pareto_dominance": true,
239
+ "positive_involvement": true
240
+ },
241
+ "PluralityWRunoff PUT": {
242
+ "condorcet_loser": true,
243
+ "condorcet_winner": false,
244
+ "pareto_dominance": null,
245
+ "positive_involvement": true
246
+ },
247
+ "Positive-Negative Voting": {
248
+ "condorcet_loser": false,
249
+ "condorcet_winner": false,
250
+ "pareto_dominance": false,
251
+ "positive_involvement": true
252
+ },
253
+ "Preliminary Weighted Condorcet": {
254
+ "condorcet_loser": true,
255
+ "condorcet_winner": true,
256
+ "pareto_dominance": true,
257
+ "positive_involvement": false
258
+ },
259
+ "Ranked Pairs": {
260
+ "condorcet_loser": true,
261
+ "condorcet_winner": true,
262
+ "pareto_dominance": true,
263
+ "positive_involvement": false
264
+ },
265
+ "Ranked Pairs TB": {
266
+ "condorcet_loser": true,
267
+ "condorcet_winner": true,
268
+ "pareto_dominance": true,
269
+ "positive_involvement": false
270
+ },
271
+ "Ranked Pairs ZT": {
272
+ "condorcet_loser": true,
273
+ "condorcet_winner": true,
274
+ "pareto_dominance": true,
275
+ "positive_involvement": false
276
+ },
277
+ "Raynaud": {
278
+ "condorcet_loser": false,
279
+ "condorcet_winner": true,
280
+ "pareto_dominance": true,
281
+ "positive_involvement": false
282
+ },
283
+ "River": {
284
+ "condorcet_loser": true,
285
+ "condorcet_winner": true,
286
+ "pareto_dominance": true,
287
+ "positive_involvement": false
288
+ },
289
+ "River TB": {
290
+ "condorcet_loser": true,
291
+ "condorcet_winner": true,
292
+ "pareto_dominance": true,
293
+ "positive_involvement": false
294
+ },
295
+ "River ZT": {
296
+ "condorcet_loser": true,
297
+ "condorcet_winner": true,
298
+ "pareto_dominance": true,
299
+ "positive_involvement": false
300
+ },
301
+ "Simple Stable Voting": {
302
+ "condorcet_loser": true,
303
+ "condorcet_winner": true,
304
+ "pareto_dominance": true,
305
+ "positive_involvement": false
306
+ },
307
+ "Simplified Bucklin": {
308
+ "condorcet_loser": false,
309
+ "condorcet_winner": false,
310
+ "pareto_dominance": true,
311
+ "positive_involvement": false
312
+ },
313
+ "Slater": {},
314
+ "Smith IRV": {
315
+ "condorcet_loser": true,
316
+ "condorcet_winner": true,
317
+ "pareto_dominance": true,
318
+ "positive_involvement": false
319
+ },
320
+ "Smith IRV PUT": {
321
+ "condorcet_loser": true,
322
+ "condorcet_winner": true,
323
+ "pareto_dominance": true,
324
+ "positive_involvement": false
325
+ },
326
+ "Smith-Minimax": {
327
+ "condorcet_loser": true,
328
+ "condorcet_winner": true,
329
+ "pareto_dominance": true,
330
+ "positive_involvement": false
331
+ },
332
+ "Split Cycle": {
333
+ "condorcet_loser": true,
334
+ "condorcet_winner": true,
335
+ "pareto_dominance": true,
336
+ "positive_involvement": true
337
+ },
338
+ "Stable Voting": {
339
+ "condorcet_loser": true,
340
+ "condorcet_winner": true,
341
+ "pareto_dominance": true,
342
+ "positive_involvement": false
343
+ },
344
+ "Strict Nanson": {
345
+ "condorcet_loser": true,
346
+ "condorcet_winner": true,
347
+ "pareto_dominance": true,
348
+ "positive_involvement": false
349
+ },
350
+ "Superior Voting": {
351
+ "condorcet_loser": true,
352
+ "condorcet_winner": false,
353
+ "pareto_dominance": true,
354
+ "positive_involvement": false
355
+ },
356
+ "Tideman Alternative GOCHA": {
357
+ "condorcet_loser": true,
358
+ "condorcet_winner": true,
359
+ "pareto_dominance": true,
360
+ "positive_involvement": false
361
+ },
362
+ "Tideman Alternative GOCHA PUT": {
363
+ "condorcet_loser": true,
364
+ "condorcet_winner": true,
365
+ "pareto_dominance": true,
366
+ "positive_involvement": false
367
+ },
368
+ "Tideman Alternative Top Cycle": {
369
+ "condorcet_loser": true,
370
+ "condorcet_winner": true,
371
+ "pareto_dominance": true,
372
+ "positive_involvement": false
373
+ },
374
+ "Tideman Alternative Top Cycle PUT": {
375
+ "condorcet_loser": true,
376
+ "condorcet_winner": true,
377
+ "pareto_dominance": true,
378
+ "positive_involvement": false
379
+ },
380
+ "Top Cycle": {
381
+ "condorcet_loser": true,
382
+ "condorcet_winner": true,
383
+ "pareto_dominance": true,
384
+ "positive_involvement": false
385
+ },
386
+ "Uncovered Set": {},
387
+ "Uncovered Set - Bordes": {},
388
+ "Uncovered Set - Fishburn": {},
389
+ "Uncovered Set - McKelvey": {},
390
+ "Weak Nanson": {
391
+ "condorcet_loser": true,
392
+ "condorcet_winner": true,
393
+ "pareto_dominance": true,
394
+ "positive_involvement": false
395
+ },
396
+ "Weighted Bucklin": {
397
+ "condorcet_loser": null,
398
+ "condorcet_winner": false,
399
+ "pareto_dominance": true,
400
+ "positive_involvement": false
401
+ },
402
+ "Weighted Covering": {
403
+ "condorcet_loser": true,
404
+ "condorcet_winner": true,
405
+ "pareto_dominance": true,
406
+ "positive_involvement": true
407
+ },
408
+ "Woodall": {
409
+ "condorcet_loser": true,
410
+ "condorcet_winner": true,
411
+ "pareto_dominance": true,
412
+ "positive_involvement": false
413
+ }
414
+ }
pref_voting/data/voting_methods_properties.json.lock ADDED
File without changes