Banks

Violation of Truncated Involvement

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

Truncated Involvement violation found:

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

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

Margin graph of profile with ballot removed:

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

Margin graph of profile with truncated ballot:

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

Winners shifted from ranked candidates [2] to unranked candidates [0, 1]