Gli scacchi possono simulare una macchina di Turing universale?


16

Sto cercando di ottenere una risposta definitiva alla domanda del titolo.

Esiste un insieme di regole che traduce qualsiasi programma in una configurazione di pezzi finiti su una tavola infinita, in modo tale che se il bianco e nero gioca solo mosse legali, il gioco termina a tempo finito se il programma si interrompe?

Le regole sono le stesse degli scacchi ordinari meno la regola delle 50 mosse, gli scambi e il castling.

E qual è il numero minimo di diversi tipi di pezzi (ovvero il gioco più semplice) che è necessario affinché un gioco simile agli scacchi sia completo? (Ogni tipo di pezzo che ha una serie di mosse consentite è invariante nelle traduzioni).

C'è qualche pezzo che possiamo aggiungere al gioco per dimostrarne il completamento?


8
Questa domanda è pubblicata anche su math.SE , leggi le domande frequenti sul cross-posting.
Gopi,

10
Hai appena pubblicato questo su math.SE e hai già ricevuto un utile puntatore a un link MO, oltre a una risposta. Se questi si rivelano non idonei, puoi fare un crosspost qui, ma in generale preferiamo non avere un crossposting simultaneo poiché causa la frattura della discussione e la ripetizione. Per ora sto chiudendo, ma puoi contrassegnarlo per la riapertura se non ricevi risposte soddisfacenti altrove (ti preghiamo di ignorare il "motivo della chiusura" - abbiamo solo alcune scelte)
Suresh Venkat

9
Sembra abbastanza improbabile, poiché gli scacchi hanno solo un numero imprecisato di pezzi in qualsiasi gioco e una macchina di Turing universale ha un numero illimitato di bit. Tuttavia, questa non è una prova.
Peter Shor,

1
@Tayfun Pay: stai "risolvendo" un problema diverso. La versione EXP-C degli scacchi ha pezzi specifici assegnati alla scacchiera, a seconda del valore della larghezza della scacchiera . Il numero di torri, ecc., Cresce come una frazione di n . La domanda qui posta è (a) tavola infinita, e (b) un numero qualsiasi di pezzi, in qualsiasi proporzione l'uno con l'altro. nn
Aaron Sterling,

2
@JE: l'interrogante ha affermato che le risposte su altri siti non erano soddisfacenti, quindi ho riaperto.
Suresh Venkat

Risposte:


5

Penso anche che una domanda molto simile sia stata posta prima, penso prima qui: /mathpro/27967/decidability-of-chess-on-an-infinite-board/63684 Ecco il mio aggiornamento e opinione modificata.

Penso che il problema non sia stato completamente risolto, ma la risposta è quasi sicuramente sì. Non ho una prova per gli scacchi, in quanto non ho la capacità di progettare determinate configurazioni ma penso che debbano esistere. E anche se non lo fanno, per qualche gioco simile agli scacchi lo fanno certamente, il che dimostra che i tentativi di dimostrare la decidibilità dovrebbero essere errati. Più tardi mi sono reso conto che qui c'è un argomento molto simile al mio: http://www.redhotpawn.com/board/showthread.php?threadid=90513&page=1#post_1708006 ma la mia prova dimostra che in realtà due contatori sono sufficienti e forse il mio è più dettagliato.

La riduzione si basa sul concetto di stack machine. Una macchina pila con solo due pile che usa un alfabeto pila di una sola lettera può simulare qualsiasi macchina Turing. (Alcune persone chiamerebbero questo automa finito deterministico con due contatori.) Quindi il nostro obiettivo sarebbe simulare una macchina del genere con una posizione di scacchi. Posso vedere due modi per questo.

i, Costruisci due configurazioni separate, in modo che entrambe abbiano una parte iniziale e una parte mobile che possono cambiare (per memorizzare lo stato). Inoltre, le parti mobili sarebbero collegate, ad es. dai corvi, che potrebbero dare scacco matto, se rilasciato, quindi è per questo che se uno stato muove 1, l'altro deve spostare k, e così via.

ii, Costruisci una singola configurazione, che a seconda del suo stato, si sposta in orizzontale e -k in verticale. Inoltre, posiziona una torre su (0,0) che non si muoverà mai ma potrebbe garantire che la configurazione possa "rilevare" quando torna su un contatore vuoto.

Quindi tutto ciò che resta da fare è progettare tali configurazioni, che immagino dovrebbero essere possibili con un certo sforzo e conoscenza degli scacchi. Inoltre, nota che in entrambi i casi la costruzione utilizza un pezzo la cui gamma non è limitata, mi chiedo se questo sia davvero necessario. Come primo passo, ho proposto di dare una posizione equivalente alla congettura di Collatz: /mathpro/64966/is-there-a-chess-position-equivalent-to-the-collatz-conjecture


4

Ieri ho cercato su Google lo stato di questo problema e ho trovato questo nuovo risultato (2012):

Dan Brumleve, Joel David Hamkins e Philipp Schlicht, Il problema del compagno di scacchi infiniti è decidibile (2012)

Quindi il problema del compagno di scacchi infinito non può essere completo di Turing.

La decidibilità degli scacchi infiniti senza restrizioni sul numero di mosse per un compagno sembra ancora aperta.


Bello anche se l'affermazione non è troppo sorprendente.
domotorp,

1
@domotorp: Sono d'accordo :(, ma la dimostrazione (usando una struttura di primo ordine definibile nell'aritmetica dei Presburger decidibili) è ordinata.
Marzio De Biasi

@domotorp: ... Sto cercando di capire questa parte: "... Ora sosteniamo che la raccolta di tali sequenze di stringhe derivanti da posizioni è regolare, riconoscendo con una macchina Turing multi-nastro di sola lettura che essi obbedire ai requisiti necessari ... <requirements> ... e non due pezzi vivi occupano lo stesso quadrato ... ". 99,99% Sto interpretando male, ma non vedo come una stringa normale possa incorporare l'informazione che due pezzi sono su quadrati distinti ...
Marzio De Biasi

quindi non ho molta familiarità con questo argomento ma non è la cosa che hanno una T-machine multi-nastro? Sembra che abbiano ciascuna stringa su un nastro separato e quindi è semplice da controllare. Immagino che avere due nastri con la stringa interlacciata sarebbe altrettanto buono, se vogliamo un numero limitato di nastri.
domotorp,
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.