Indovinello: Onesto, Bugiardo, Xor

[3m0o]

Dal momento che è un po' di giorni che nessuno prova più a risolverlo ho deciso di darvi un piccolo aiuto, per chi volesse è qui sotto!

ATTENZIONE nello spoiler c'è un aiuto...

Testo nascosto, fai click qui per vederlo

Facendo le prime due domande riesci a determinare con certezza l'identità di almeno un'oracolo.

[dan95]

Aspetta a pubblicare la soluzione

[3m0o]

Aspetta a pubblicare la soluzione

Tranquillo che non pubblico nessuna soluzione era solo un indizio.

[dan95]

Dubbio:

Testo nascosto, fai click qui per vederlo

Considero lo schema delle possibilità (B=bugiardo, O=onesto, X=Xor)
BOX
BXO
OBX
OXB
XBO
XOB

La prima domanda che viene fatta al primo seguendo lo schema sopra, a questa domanda abbiamo 4 schemi per le possibili risposte (S=Sì, N=No)

S S N N
S S N N
S N N S
S N N S
N S N N
N S N N

Se per esempio prendiamo la seconda colonna (generata dalla domanda: "Sei Xor?") come riferimento, per determinare almeno un oracolo avrò bisogno di una seconda domanda che generi uno schema del tipo

S N
S S
N S
N S
S S
S N

Ma resta il problema dell'interpretazione delle parole, quindi serve una seconda domanda che mi dia sia un' interpretazione sia che generi uno schema tipo quello ma questo è impossibile a causa della ripetizione delle coppie di risposte.

[3m0o]

Dubbio:

Testo nascosto, fai click qui per vederlo

Considero lo schema delle possibilità (B=bugiardo, O=onesto, X=Xor)
BOX
BXO
OBX
OXB
XBO
XOB

La prima domanda che viene fatta al primo seguendo lo schema sopra, a questa domanda abbiamo 4 schemi per le possibili risposte (S=Sì, N=No)

S S N N
S S N N
S N N S
S N N S
N S N N
N S N N

Se per esempio prendiamo la seconda colonna (generata dalla domanda: "Sei Xor?") come riferimento, per determinare almeno un oracolo avrò bisogno di una seconda domanda che generi uno schema del tipo

S N
S S
N S
N S
S S
S N

Ma resta il problema dell'interpretazione delle parole, quindi serve una seconda domanda che mi dia sia un' interpretazione sia che generi uno schema tipo quello ma questo è impossibile a causa della ripetizione delle coppie di risposte.

Testo nascosto, fai click qui per vederlo

L'ho letto rapidamente, ma credo che il tuo ragionamento sia corretto. Non capisco quale sia il tuo dubbio.

[dan95]

Il mio dubbio sta nel fatto che se il mio ragionamento è corretto il tuo suggerimento è sbagliato perché

Testo nascosto, fai click qui per vederlo

con solo due domande non puoi determinare l'identità di almeno un oracolo

[3m0o]

Il mio dubbio sta nel fatto che se il mio ragionamento è corretto il tuo suggerimento è sbagliato perché

Testo nascosto, fai click qui per vederlo

con solo due domande non puoi determinare l'identità di almeno un oracolo

Il tuo ragionamento è corretto come anche il mio suggerimento...

Testo nascosto, fai click qui per vederlo

...perché è la conclusione che trai che è errata. Se il tuo ragionamento è corretto non implica che il mio indizio sia sbagliato.
Implica che non è possibile determinare l'identità di almeno un oracolo con la tua strategia
Ti garantisco che si può fare!!

[dan95]

Se io conosco le due parole degli oracoli senza saperne il significato, supponiamo io le faccia corrispondere a T=Sì e F=No

Testo nascosto, fai click qui per vederlo

Pongo la prima domanda "Se ti chiedessi se sei onesto mi risponderesti "T" ?" al primo oracolo, quindi

OBX T
OXB T
BOX F
BXO F
XOB T
XBO T

Già da qua capisco il significato di "T" ora mi basta porre allo stesso oracolo la domanda "Sei Xor?" ottenendo

OBX T F
OXB T F
BOX F T
BXO F T
XOB T T
XBO T T

E determino l'identità del primo oracolo. Una volta fatto questo non è difficile determinare quella degli altri due.

[3m0o]

Se io conosco le due parole degli oracoli senza saperne il significato, supponiamo io le faccia corrispondere a T=Sì e F=No

Testo nascosto, fai click qui per vederlo

Pongo la prima domanda "Se ti chiedessi se sei onesto mi risponderesti "T" ?" al primo oracolo, quindi

OBX T
OXB T
BOX F
BXO F
XOB T
XBO T

Già da qua capisco il significato di "T" ora mi basta porre allo stesso oracolo la domanda "Sei Xor?" ottenendo

OBX T F
OXB T F
BOX F T
BXO F T
XOB T T
XBO T T

E determino l'identità del primo oracolo. Una volta fatto questo non è difficile determinare quella degli altri due.

Eh ma a priori non le conosci, inoltre...

Testo nascosto, fai click qui per vederlo

anche ammesso che conoscessi le due parole utilizzate, con la prima domanda non capisci il significato di T. Infatti
se T= si, F=no
Se come prima domanda chiedessi:
A.1.1) Se ti chiedessi sei onesto mi risponderesti T?
Onesto T
Burgiardo F
Xor T

A.1.2) Se come prima domanda domandassimo: Se ti chiedessi sei onesto mi risponderesti F?
Onesto F
Bugiardo T
Xor T

Mentre se T= no e F=si
In questo caso come prima domanda chiediamo
A.2.1) domanda: Se ti chiedessi sei onesto mi risponderesti T?
Onesto T
Bugiardo F
Xor F

A.2.2) E se come prima domanda chiedessimo: Se ti chiedessi si onesto mi risponderesti F?
Onesto F
Bugiardo T
Xor F

Quindi se ricevi come risposta la stessa parola che hai utilizzato nella domanda sai che chi ti risponde è Onesto oppure è Xor, mentre se ricevi come risposta una parola diversa da quella che hai utilizzato nella domanda allora chi ti risponde potrebbe essere Bugiardo oppure Xor. Ma non puoi trarre nessuna conclusione sul significato delle parole T e F.

Ad ogni modo nel indovinello Onesto, Bugiardo e Xor, non conosci a priori le parole utilizzate dagli oracoli!

[dan95]

Testo nascosto, fai click qui per vederlo

Se io a bugiardo chiedessi: "La risposta a questa domanda significa " sì"? "

Che risponde?