Slater

Violation of Truncated Involvement

Profile type: Profile
Config: 4 c, 7 v
Parameters:

Truncated Involvement violation found:

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

Profile with ballot removed:
+---+---+---+---+---+---+
| 1 | 1 | 1 | 1 | 1 | 1 |
+---+---+---+---+---+---+
| 1 | 1 | 2 | 2 | 3 | 3 |
| 3 | 3 | 0 | 1 | 0 | 2 |
| 2 | 2 | 1 | 3 | 1 | 0 |
| 0 | 0 | 3 | 0 | 2 | 1 |
+---+---+---+---+---+---+
Profile([[1, 3, 2, 0], [1, 3, 2, 0], [2, 0, 1, 3], [2, 1, 3, 0], [3, 0, 1, 2], [3, 2, 0, 1]], rcounts=[1, 1, 1, 1, 1, 1], cmap={0: '0', 1: '1', 2: '2', 3: '3'})
Slater winner is {1}

Margin graph of profile with ballot removed:

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

Margin graph of profile with truncated ballot:

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

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