Existe um jogo simples com complexidade assimétrica?

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 , 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 , provavelmente a POSITION-COMPLEXITY está em algo como ) 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. $P$ $PSPACE$ $NP$ $P^{NP}$

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.

cc.complexity-theory np board-games pspace domotorp
fonte

Eu realmente gosto desta pergunta.

Tayfun Pay

Não sei se o jogo QBF satisfaz sua condição, um jogador é um jogador existencial e outro é um jogador universal. Bem, muitos jogos estão em forma semelhante. Acho que se não houver dependência entre os jogadores, o jogo não é para dois, mas se houver uma dependência entre eles (vagamente falando), existem algumas interpretações semelhantes ao estilo QBF.

Saeed

É uma observação paralela, mas a maioria dos jogos naturais (no sentido jogado no mundo real, como xadrez, vai, ...) não termina após um número polinomial de movimentos, mas sim exponencial (no pior caso). Você tem um motivo específico para adicionar essa restrição, além de obter uma relação polinomial entre MOVE-COMPLEXITY e POSITION-COMPLEXITY?

Denis

Talvez uma família de exemplos possa ser criada relaxando as condições de vitória de um dos dois jogadores: por exemplo, uma partida de xadrez em que o branco vence com um xeque-mate padrão e o preto vence com um xeque-mate ou captura a rainha branca. Outro exemplo pode ser o GG com nós de cores vermelho-azul e um dos dois jogadores pode vencer não apenas da maneira padrão, mas também coletando uma certa quantidade de nós vermelhos. Vou pensar mais sobre possíveis formalizações de exemplos semelhantes.

Marzio De Biasi

Se o jogo não tiver empates (e um número razoavelmente limitado de movimentos possíveis por turno), o fato a seguir implica que a resposta é "não"? Uma jogada está ganhando se, e somente se, nenhuma das respostas do oponente a ela estiver ganhando.

usul

Respostas:

Talvez um jogo bastante natural seja o seguinte:

O jogador 1 é colocado no meio de um labirinto e deve chegar à saída para vencer.

O jogador 2 está no mesmo labirinto e deve coletar um conjunto de "componentes" para criar um controlador de rádio que permita fechar a saída (e vencer).

$n$ $n$

Para tornar o jogo mais "interativo", também podemos adicionar algumas ações extras ao Jogador 2 que podem causar apenas uma desaceleração polinomial no cálculo da próxima jogada do Jogador 1; por exemplo, permitindo-lhe bloquear um número fixo de corredores do labirinto.

Marzio De Biasi
fonte

$C$

Depois, basta olhar para alguns jogos naturais em que a POSITION-COMPLEXITY é assimétrica. Sempre precisaremos de alguma assimetria entre os jogadores para criar essas situações, mas espero que seja o mais natural possível.

$\cap$

$P_1$ $P_2$ $p(n)$ $i$ $P_i$

Denis
fonte

Eu diria que é improvável que "finito" signifique "constante" aqui.

21715 Kyle

De fato, nos chamados jogos Picker-Chooser ou Chooser-Picker, é fácil criar exemplos para os quais a melhor estratégia de um jogador é uma estratégia de emparelhamento simples, enquanto o outro precisa resolver um 3-SAT em qualquer CNF especificada anteriormente, esse é um problema NP-completo.

Digamos, um jogo Picker-Chooser é um jogo assimétrico em um hipergrafo H = (V, E): Picker seleciona dois elementos não selecionados de V, então Chooser pega um desses e retorna o outro para Picker. O seletor ganha se ele obtiver todos os elementos de um A de E. Agora, dada a fórmula F da CNF de 3-SAT, V é o conjunto de literais e E realiza algum dispositivo. Em suma, Picker deve sempre oferecer x_i e x_i negar em todas as etapas (caso contrário, perde imediatamente), enquanto a seleção Chooser é uma entrada arbitrária de 0-1 para qualquer x_i, e ele vence satisfazendo F.

Veja os detalhes em: A. Csernenszky, R. Martin e A. Pluhár, Sobre a complexidade dos jogos posicionais do seletor-selecionador. Inteiros 11 (2011).

ou em: http://www.inf.u-szeged.hu/~pluhar/complexity_2011.pdf

Andras Pluhar
fonte