Bottom-Two-Runoff Instant Runoff PUT

Violation of Positive-Negative Involvement

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

1 loses and 2 wins in the full profile, but 1 is a winner and 2 is a loser after removing a voter with the ranking (np.int64(1), np.int64(0), np.int64(3), np.int64(2)):

Full profile
+---+---+---+---+---+---+
| 1 | 1 | 1 | 3 | 3 | 2 |
+---+---+---+---+---+---+
| 0 | 1 | 1 | 1 | 2 | 3 |
| 3 | 0 | 2 | 3 | 1 | 2 |
| 2 | 3 | 0 | 2 | 0 | 1 |
| 1 | 2 | 3 | 0 | 3 | 0 |
+---+---+---+---+---+---+
Profile([[0, 3, 2, 1], [1, 0, 3, 2], [1, 2, 0, 3], [1, 3, 2, 0], [2, 1, 0, 3], [3, 2, 1, 0]], rcounts=[1, 1, 1, 3, 3, 2], cmap={0: '0', 1: '1', 2: '2', 3: '3'})
Bottom-Two-Runoff Instant Runoff PUT winner is {2}

Profile with voter removed
+---+---+---+---+---+
| 1 | 1 | 3 | 3 | 2 |
+---+---+---+---+---+
| 0 | 1 | 1 | 2 | 3 |
| 3 | 2 | 3 | 1 | 2 |
| 2 | 0 | 2 | 0 | 1 |
| 1 | 3 | 0 | 3 | 0 |
+---+---+---+---+---+
Profile([[0, 3, 2, 1], [1, 2, 0, 3], [1, 3, 2, 0], [2, 1, 0, 3], [3, 2, 1, 0]], rcounts=[1, 1, 3, 3, 2], cmap={0: '0', 1: '1', 2: '2', 3: '3'})
Bottom-Two-Runoff Instant Runoff PUT winner is {1}