Uncovered Set

Violation of Positive-Negative Involvement

Profile type: ProfileWithTies
Config: 4 c, 5 v
Parameters: ∅

3 loses and 0 wins in the full profile, but 3 is a winner and 0 is a loser after removing a voter with the ranking 3 1 2 0 :

Full profile
+---+---+-----+-----+-----+
| 1 | 1 |  1  |  1  |  1  |
+---+---+-----+-----+-----+
| 3 | 3 | 0 1 | 0 2 | 1 2 |
| 1 | 2 |  3  |  1  | 0 3 |
| 2 | 0 |  2  |  3  |     |
| 0 | 1 |     |     |     |
+---+---+-----+-----+-----+
ProfileWithTies([{0: 3, 2: 2, 1: 1, 3: 0}, {1: 3, 0: 2, 2: 1, 3: 0}, {2: 2, 3: 1, 0: 0, 1: 0}, {3: 2, 1: 1, 0: 0, 2: 0}, {0: 1, 3: 1, 1: 0, 2: 0}], rcounts=[1, 1, 1, 1, 1], cmap={0: 0, 1: 1, 2: 2, 3: 3})
Uncovered Set winners are {0, 1, 2}

Profile with voter removed
+---+-----+-----+-----+
| 1 |  1  |  1  |  1  |
+---+-----+-----+-----+
| 3 | 0 1 | 0 2 | 1 2 |
| 2 |  3  |  1  | 0 3 |
| 0 |  2  |  3  |     |
| 1 |     |     |     |
+---+-----+-----+-----+
ProfileWithTies([{1: 3, 0: 2, 2: 1, 3: 0}, {2: 2, 3: 1, 0: 0, 1: 0}, {3: 2, 1: 1, 0: 0, 2: 0}, {0: 1, 3: 1, 1: 0, 2: 0}], rcounts=[1, 1, 1, 1], cmap={0: '0', 1: '1', 2: '2', 3: '3'})
Uncovered Set winners are {2, 3}