Conjunto de Smith

Em sistemas de votação, o conjunto de Smith, em homenagem a John H. Smith, mas também conhecido como o ciclo superior, é o menor conjunto não vazio de candidatos em uma eleição especial de tal forma que cada membro derrota todos os candidatos fora do set em uma eleição aos pares. O conjunto de Smith fornece um padrão de escolha ideal para um resultado eleitoral. Os sistemas de votação que sempre elegem um candidato do conjunto Smith passam no critério Smith e são considerados "Smith-eficientes". Um conjunto de candidatos em que todos os membros do conjunto derrotam todos os membros fora do conjunto é conhecido como um conjunto dominante .