Considere as informações completas sobre jogos combinatórios para dois jogadores que terminam após um número polinomial de jogadas e, de maneira alternada, os jogadores escolhem um número finito de jogadas permitidas. A pergunta usual é: quão difícil é distinguir de uma determinada posição o vencedor. Outra seria: quão difícil é escolher uma jogada vencedora de uma posição vencedora. (Aqui eu chamo uma jogada de ganhar, se a posição continuar ganhando depois de jogá-la.) Para diferenciar, chamarei a antiga POSITION-COMPLEXITY e a segunda MOVE-COMPLEXITY.
É fácil ver que, se a MOVE-COMPLEXITY está em ou P S P A C E , o mesmo ocorre com a POSITION-COMPLEXITY - podemos calcular os movimentos ideais e verificar quem vence no final. (Eu realmente não pensei no que acontece se a MOVE-COMPLEXITY estiver em N P , provavelmente a POSITION-COMPLEXITY está em algo como P N P. ) No entanto, existem exemplos fictícios em que a MOVE-COMPLEXITY é trivial e a POSITION- A COMPLEXIDADE é arbitrariamente difícil - como o jogo (não muito interessante) de verificar qual é a saída de um algoritmo, com os jogadores dando os próximos passos, sendo permitido apenas um movimento. Eu divaguei um pouco, minha pergunta principal é a seguinte.
Existe um jogo natural, onde a MOVE-COMPLEXITY dos dois jogadores é diferente?
Por exemplo, o jogo em que o primeiro jogador escolhe os valores das variáveis de uma CNF (que pode não ter uma solução), enquanto o segundo jogador está tentando resolver um quebra-cabeça da SOKO-BAN (que pode não ter uma solução), é tal exemplo.