The Complexity of Subelection Isomorphism Problems

P. Faliszewski, K. Sornat, S. Szufa
AAAI 2022
Abstract
We study extensions of the Election Isomorphism problem, focused on the existence of isomorphic subelections. Specifically, we propose the Subelection Isomorphism and the Maximum Common Subelection problems and study their computational complexity and approximability. Using our problems in experiments, we provide some insights into the nature of several statistical models of elections.

Experiments:

Election type Culture Candidates Voters Instances Parameters
Ordinal Euclidean 1D {4, 7, 10} {50} 1000 Uniform 1D {[0,1]}
Ordinal Identity {4, 7, 10} {50} 1000 None
Ordinal Impartial Culture {4, 7, 10} {50} 1000 None
Ordinal Mallows {4, 7, 10} {50} 1000 $\phi \in \{0.33,0.67\}$
Ordinal Single-Peaked (Conitzer/Random Peak) {4, 7, 10} {50} 1000 None
Ordinal Single-Peaked (Walsh/Uniform) {4, 7, 10} {50} 1000 None
Ordinal Urn Model {4, 7, 10} {50} 1000 $\alpha \in \{0.1,0.5\}$
Ordinal Euclidean 1D {10} {5, 10, 15, 20, 25, 30, 35, 40, 45, 50} 1000 Uniform 1D {[0,1]}
Ordinal Euclidean 1D [3-10] {50} 1000 Uniform 1D {[0,1]}
Ordinal Identity {10} {5, 10, 15, 20, 25, 30, 35, 40, 45, 50} 1000 None
Ordinal Identity [3-10] {50} 1000 None
Ordinal Impartial Culture {10} {5, 10, 15, 20, 25, 30, 35, 40, 45, 50} 1000 None
Ordinal Impartial Culture [3-10] {50} 1000 None
Ordinal Mallows {10} {5, 10, 15, 20, 25, 30, 35, 40, 45, 50} 1000 $\phi \in \{0.5\}$
Ordinal Mallows [3-10] {50} 1000 $\phi \in \{0.5\}$
Ordinal Single-Peaked (Conitzer/Random Peak) {10} {5, 10, 15, 20, 25, 30, 35, 40, 45, 50} 1000 None
Ordinal Single-Peaked (Conitzer/Random Peak) [3-10] {50} 1000 None
Ordinal Single-Peaked (Walsh/Uniform) {10} {5, 10, 15, 20, 25, 30, 35, 40, 45, 50} 1000 None
Ordinal Single-Peaked (Walsh/Uniform) [3-10] {50} 1000 None