Stable Voting

Violation of Monotonicity

Profile type: ProfileWithTies
Config: 4 c, 4 v
Parameters: check_probabilities=True

Monotonicity violation for Stable Voting by lifting 1 one rank:
+-----+---+-----+-------+
|  1  | 1 |  1  |   1   |
+-----+---+-----+-------+
|  2  | 3 | 1 3 | 0 1 2 |
| 1 3 | 0 |  0  |   3   |
|  0  | 2 |  2  |       |
|     | 1 |     |       |
+-----+---+-----+-------+
ProfileWithTies([{0: 2, 1: 1, 3: 1, 2: 0}, {1: 3, 2: 2, 0: 1, 3: 0}, {2: 2, 0: 1, 1: 0, 3: 0}, {3: 1, 0: 0, 1: 0, 2: 0}], rcounts=[1, 1, 1, 1], cmap={0: 0, 1: 1, 2: 2, 3: 3})
Stable Voting winners:  [1, 2, 3]
Original ranking:  3 0 2 1 
New ranking: 3 0 ( 1  2 ) 
+-----+---+-----+-------+-----+
|  1  | 0 |  1  |   1   |  1  |
+-----+---+-----+-------+-----+
|  2  | 3 | 1 3 | 0 1 2 |  3  |
| 1 3 | 0 |  0  |   3   |  0  |
|  0  | 2 |  2  |       | 1 2 |
|     | 1 |     |       |     |
+-----+---+-----+-------+-----+
ProfileWithTies([{0: 2, 1: 1, 3: 1, 2: 0}, {1: 3, 2: 2, 0: 1, 3: 0}, {2: 2, 0: 1, 1: 0, 3: 0}, {3: 1, 0: 0, 1: 0, 2: 0}, {0: 2, 1: 3, 2: 3, 3: 1}], rcounts=[1, 0, 1, 1, 1], cmap={0: '0', 1: '1', 2: '2', 3: '3'})
Stable Voting winners in updated profile: [3]