Re: Onesto, Bugiardo, Xor e i tre logici

Messaggioda andomito » 07/02/2019, 16:42

Ok Alex, una qualunque domanda a risposta nota (sei un oracolo?) va bene come domanda del terzo logico ad A.
Ciò che continuo a non capire è come se la sarebbe cavata il primo logico se A avesse risposto sì alla prima domanda.
andomito
Junior Member
Junior Member
 
Messaggio: 3 di 308
Iscritto il: 07/02/2019, 15:05

Re: Onesto, Bugiardo, Xor e i tre logici

Messaggioda axpgn » 07/02/2019, 17:04

@andomito
Premessa: spoiler, please :D

Testo nascosto, fai click qui per vederlo
Non è quello che vuole sapere l'OP, a lui interessa solamente la domanda del terzo, ovvero parte dal presupposto che i "NO" sono due quindi non è necessario supporre che la risposta alla prima domanda dovesse per forza essere "NO".
E in un certo senso era quello che cercavo di fargli capire: il terzo, conoscendo le due risposte (e pure la seconda domanda) è nelle stesse condizioni del primo quindi è in grado di fare la stessa domanda del primo (avendone le stesse capacità); che esista però una domanda che sia tale da generare sicuramente un "NO", è tutto da dimostrare (ed infatti l'OP bypassa questo problema nelle sue ipotesi)
Spero di essermi fatto capire … :D


Cordialmente, Alex
axpgn
Cannot live without
Cannot live without
 
Messaggio: 12902 di 40641
Iscritto il: 20/11/2013, 22:03

Re: Onesto, Bugiardo, Xor e i tre logici

Messaggioda 3m0o » 07/02/2019, 17:31

Testo nascosto, fai click qui per vederlo
Allora la scelta delle domande non è necessariamente ottimale, in quanto non è richiesto un numero minimo di domande, con la strategia di domande del primo logico sicuramente non riesce a determinare con certezza le identita degli oracoli avendo a disposizione solo 3 domande, ma poco importa. Quindi pur essendo logici perfetti possono avere strategie diverse, ad esempio il primo potrebbe aver pensato a una serie di domande per determinare sicuramente le identità con 4 o con 5 domande, a me sembrava chiaro questo punto, ma forse era meglio specificarlo. Quindi il primo ed il terzo non sono nella stessa situazione
3m0o
Cannot live without
Cannot live without
 
Messaggio: 146 di 5323
Iscritto il: 02/01/2018, 15:00

Re: Onesto, Bugiardo, Xor e i tre logici

Messaggioda axpgn » 07/02/2019, 17:42

Ma della "soluzione" che ho dato che mi dici?
axpgn
Cannot live without
Cannot live without
 
Messaggio: 12903 di 40641
Iscritto il: 20/11/2013, 22:03

Re: Onesto, Bugiardo, Xor e i tre logici

Messaggioda 3m0o » 07/02/2019, 17:46

axpgn ha scritto:
Testo nascosto, fai click qui per vederlo
Il terzo esploratore chiede all'Oracolo A: "Tu sei XOR?"

Se risponde "NO" allora avremo A=sincero; B=bugiardo; C=XOR
Se risponde "SÌ" allora avremo A=bugiardo; B=XOR; C=sincero


Il resto più tardi perché non ho tempo … :D

Cordialmente, Alex

Scusa non avevo visto, giusta!
Testo nascosto, fai click qui per vederlo
Infatti alla domanda due deduciamo che A non puo essere XOR in quanto avrebbe risposto si e non no.
Inoltre sappiamo che entrambe le risposte date dall oracolo A sono un no.
A questo punto la prima domanda potrebbe essere di tre tipologie
Tipo 1: alla prima domanda sia onesto, che bugiardo che xor rispondo no
Tipo 2: alla prima domanda onesto risponde no mentre bugiardo e xor rispondono si
Tipo 3: alla prima domanda bugiardo risponde no, mentre onesto e xor rispondono si

Esempio tipo 1: "Se ti chiedessi: "Roma si trova in italia?" Mi risponderesti no?"
Esempio tipo 2: Roma si trova in francia?
Esempio tipo 3: Roma si trova in italia?

Con una domanda di tipo 1 ci sono due possibilità di no-no
A Onesto, B bugiardo, C Xor e A bugiardo, B xor, C onesto
Con una domanda di tipo 2
A onesto, B bugiardo, C xor
Con una domanda di tipo 3
A bugiardo, B xor, C onesto

Siccome il primo logico dalle risposte no-no capisce le identità allora esclude la possibilità di tipo 1 per la prima domanda
Il secondo logico sentendo la prima domanda sa in quale caso si trova (tipo2 o tipo3), mentre al terzo logico manca questa informazione e dunque non può sapere a priori in quale caso si trova. O sbaglio? Perché dici che il terzo ed il primo sono nella stessa situazione?
3m0o
Cannot live without
Cannot live without
 
Messaggio: 147 di 5323
Iscritto il: 02/01/2018, 15:00

Re: Onesto, Bugiardo, Xor e i tre logici

Messaggioda axpgn » 07/02/2019, 20:47

Testo nascosto, fai click qui per vederlo
Io partivo dal presupposto che fosse sottinteso che il primo avesse fatto due domande sufficienti e che, quindi, anche il terzo avrebbe potuto fare, per cui, conoscendo le risposte, non avesse necessità di farne nessuna.


Cordialmente, Alex
axpgn
Cannot live without
Cannot live without
 
Messaggio: 12906 di 40641
Iscritto il: 20/11/2013, 22:03

Precedente

Torna a Giochi matematici

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite

cron