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