Simple Stable Voting

Violation of Truncated Involvement

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

Truncated Involvement violation found:

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

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

Margin graph of profile with ballot removed:

Profile with truncated ballot:
+---+---+---+---+---+---+---+---+---+
| 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
+---+---+---+---+---+---+---+---+---+
| 1 | 1 | 2 | 2 | 2 | 3 | 3 | 3 | 0 |
| 0 | 2 | 0 | 0 | 0 | 1 | 1 | 1 | 3 |
| 3 | 0 | 3 | 3 | 3 | 2 | 2 | 2 |   |
| 2 | 3 | 1 | 1 | 1 | 0 | 0 | 0 |   |
+---+---+---+---+---+---+---+---+---+
ProfileWithTies([{np.int64(1): 1, np.int64(0): 2, np.int64(3): 3, np.int64(2): 4}, {np.int64(1): 1, np.int64(2): 2, np.int64(0): 3, np.int64(3): 4}, {np.int64(2): 1, np.int64(0): 2, np.int64(3): 3, np.int64(1): 4}, {np.int64(2): 1, np.int64(0): 2, np.int64(3): 3, np.int64(1): 4}, {np.int64(2): 1, np.int64(0): 2, np.int64(3): 3, np.int64(1): 4}, {np.int64(3): 1, np.int64(1): 2, np.int64(2): 3, np.int64(0): 4}, {np.int64(3): 1, np.int64(1): 2, np.int64(2): 3, np.int64(0): 4}, {np.int64(3): 1, np.int64(1): 2, np.int64(2): 3, np.int64(0): 4}, {np.int64(0): 1, np.int64(3): 2}], rcounts=[1, 1, 1, 1, 1, 1, 1, 1, 1], cmap={0: '0', 1: '1', 2: '2', 3: '3'})
Simple Stable Voting winner is {2}

Margin graph of profile with truncated ballot:

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

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