Este artigo estima com alta precisão a complexidade do espaço de estados do jogo Shogi (xadrez japonês), um problema desafiador. Utilizando o método Monte Carlo e uma nova busca reversa, os autores estimam o número de posições legais em $6.55 \times 10^{68}$.
O artigo aborda a complexidade computacional das regras de Thiele em votações de comitês baseadas em aprovação, uma área importante em escolha social. Ele resolve uma questão em aberto sobre o domínio de intervalo de eleitores, demonstrando que um programa linear padrão ainda produz ótimos, mesmo com a matriz não sendo totalmente unimodular.
Apesar de séculos de estudo e do poder computacional moderno, o xadrez permanece sem solução, pois não se sabe o resultado final com jogadas perfeitas devido à sua complexidade astronômica. O artigo define 'resolver um jogo' em computação, diferenciando entre soluções fracas e fortes.
O problema da soma de subconjuntos é um enigma clássico na ciência da computação e matemática. Envolve determinar se algum subconjunto não vazio de um determinado conjunto de inteiros soma a um valor alvo específico.
