Leximax

Violation of Truncated Involvement

Profile type: ProfileWithTies
Config: 3 c, 2 v
Parameters: ∅

Truncated Involvement violation found:

Original profile:
+---+-----+
| 1 |  1  |
+---+-----+
| 2 | 0 1 |
| 1 |  2  |
| 0 |     |
+---+-----+
ProfileWithTies([{0: 2, 1: 1, 2: 0}, {2: 1, 0: 0, 1: 0}], rcounts=[1, 1], cmap={0: '0', 1: '1', 2: '2'})
Leximax winner is {1}

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

Margin graph of profile with ballot removed:

Profile with truncated ballot:
+-----+---+
|  1  | 1 |
+-----+---+
| 0 1 | 2 |
|  2  | 1 |
+-----+---+
ProfileWithTies([{2: 1, 0: 0, 1: 0}, {2: 0, 1: 1}], rcounts=[1, 1], cmap={0: '0', 1: '1', 2: '2'})
Leximax winner is {0}

Margin graph of profile with truncated ballot:

Truncated ballot: {2: 0, 1: 1}
Ranked candidates: [2, 1]
Unranked candidates: [0]
Winners: [0]

Winners shifted from ranked candidates ['1'] to unranked candidates ['0']