Definition Bartholdi–Tovey–Trick NP-Hardness Theorem Winner determination for λ∈{ Kemeny, Dodgson, Young } are NP-hard.