[閒聊] 強盜問題

[chdodo (嘟嘟嚕嘟嘟)]

昨晚滑女版看到的問題，害我失眠QQ


題目是這樣的

有3個強盜攔住去路
一個只說真話，一個只說假話
另一個不確定他會說真話或是假話
你只能問他們一樣的問題，他們只會回答是或否
要問什麼問題才能區別出他們的身份呢？


我覺得可能要問造成無法回答的問題，製造出是和否以外的答案
例如：造成悖論的問題讓謊話那個無法回答
或是問其他兩個人不確定的那個會回答什麼


不知道答案感覺超痛苦的，有沒有人知道XDDD

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 1.165.43.19
※ 文章網址: https://www.ptt.cc/bbs/TurtleSoup/M.1531461509.A.A99.html
※ 編輯: chdodo (1.165.43.19), 07/13/2018 13:59:14
推 to405011: 不問問題，看他們誰說要搶我、誰說不搶我、誰一下要搶我
→ to405011: 一下說不搶我就知道了
推 hsuan0904: 開會中沒仔細看隨便回  https://goo.gl/EZ45ru
→ hsuan0904: 就印象中應該是這個問題吧
好像是這個的變體，條件不太一樣XD
推 success51: 「如果會說真話和假話的人來問你：『你旁邊的人是會說
→ success51: 謊的人嗎？』你會回答是？」
51我的邏輯走失了QQ 可以解釋一下嗎
推 to405011: 強盜一刀劈下：幹你媽的就你問題最多
OwO/ (妙麗舉手 →OvvO
推 hsuan0904: 話說原題目裡強盜還會用你聽不懂的語言回答你XDD
推 arthurduh1:    你是只會說謊的人
→ arthurduh1: or ( 你是可說謊可誠實的人 and 你的答案是假的 )
→ arthurduh1: or 你的答案是"否"
→ arthurduh1: 應該能再化簡@@
→ arthurduh1: 基本上你想的沒錯, 要想辦法造出無法回答的情況
→ arthurduh1: 上面那個問題只說真話的人會爆炸, 只說假話的會答否
→ arthurduh1: 可說謊可誠實的人會答是
→ arthurduh1: 啊 好像怪怪的我修一下
推 arthurduh1:    你是只會說謊的人
→ arthurduh1: or ( 你是可說謊可誠實的人 and (你的答案是真的 or
→ arthurduh1:                                 你的答案是"是")
→ arthurduh1: ) or 你的答案是"否"
→ arthurduh1: 還是不行唉...  51那個真假話應該算是無法回答, 因為
→ arthurduh1: 自己不能找自己說話. 說真話的人會說是, 說假話的在
→ arthurduh1: 問題裡面會說是, 所以對你說謊說否
看懂了謝謝皮皮，可是好像還是不行XD
推 success51: 皮皮幫我解釋了～<(￣︶￣)>
推 ckchi: 我覺得一個問題似乎無解
→ ckchi: 雖然可以用矛盾讓只真話或只假話的人無法回答
→ ckchi: 但另外兩人有機會出現同樣答案
→ ckchi: 而當要用第二重問題包裝區分剩下兩人時
→ ckchi: 本來無法回答的又可以回答了
推 ckchi: 然後我覺得51那個問題不會出現無法回答的情況
→ ckchi: 因為自己不會來問自己這個問題，所以不會回答「是」
→ ckchi: 因此此時可以回答是(說謊)或不是(說實話)
推 arthurduh1: 對, 51的問題如果改成嚴格的是非題, 應該要是
→ arthurduh1: ...你的回答會是"是"嗎
→ arthurduh1: 更本質上的問題是這種假設性敘述方式難以轉換成
→ arthurduh1: 數理邏輯的陳述, 也沒有一個嚴謹的判定真偽的方式
→ arthurduh1: 所以才想用較單純的語句來湊一個解
→ arthurduh1: 但實際上指涉到"你的答案"就是一種自身指涉, 在
→ arthurduh1: 數理邏輯裡面對於這件事是有很大限制的
→ arthurduh1: 題目其實有義務要把這個界限劃清, 否則會沒有標準
推 arthurduh1: 你是會說謊也會誠實的人 and
→ arthurduh1: (你的答案是"是" xor 你的答案是真)
→ arthurduh1: 這樣應該行了. 誠實者會答否, 說謊者會答是,
→ arthurduh1: 會說謊也會誠實的會爆炸
推 ckchi: 樓上這個方法假話和不確定都會回答是
→ ckchi: 對不確定來說 「真假話都能說」是T
推 nodnarb1027: 我覺得一個問題問不出來
推 arthurduh1: 不確定會爆炸吧, 不確定等於只看後面那個括號
→ ckchi: 如果「這個問題會回答實話」 / 「這個問題會回答是」也是T
→ ckchi: 則這個問題 T&T 為真 回答是
→ ckchi: 如果「這個問題會回答實話」 / 「這個問題會回答是」是F
→ arthurduh1: 但是"任何人"的答案跟那個括號的內容 xor 都要是真
→ ckchi: 則這個問題 T&F 為假 回答相反的還是是
→ arthurduh1: 說錯, 任何人的答案跟那個括號 xor 都要是 F
→ ckchi: 喔 你後面是兩個問題混喔
推 arthurduh1: 呃這麼說也不精準, 是任何人內心中未說謊的真實答案
推 ckchi: 話說xor有什麼比較常用的口語表達方法嗎XDD
→ ckchi: 我指的是生活一點的
→ arthurduh1: 跟那個括號 xor 都要是 T
→ arthurduh1: 沒有XD 只能拆成更長的 and 和 or
→ arthurduh1: 但是我把這問題 formalized 後重點就是 21:27 那句
→ arthurduh1: (你的答案是"是" xor 你的答案是真) 是個很重要的變數
→ arthurduh1: 你看阿軒貼的 wiki 連結是有啦, xor 就是若且唯若
→ arthurduh1: 會說謊也會誠實的有兩個選擇: 選擇是否說謊 以及
→ arthurduh1: 選擇答案要是"是"還是"否", 那個 xor 就是讓他不管
→ arthurduh1: 怎麼選都會爆炸
推 ckchi: 邏輯上沒問題 我現在在想的是怎麼簡單的問出這樣的問題
→ arthurduh1:                     呃, xor 是 not 若且唯若才對
→ ckchi: 你是不是「真假話都能說」而且「現在這個問題只會從是與真
→ ckchi: 話之中恰好選一個回答」？
謝謝飄的翻譯XDDD
→ arthurduh1: 現在至少確定有解了... 下一步就是化簡了
→ nodnarb1027: 最直觀的想法，有時說謊有時實話大約等於普通人，普
→ nodnarb1027: 通人的答案只靠一個問題問的話答案通常會跟必謊或必
→ arthurduh1: 恩, 這樣的翻譯沒問題
→ nodnarb1027: 實其中一人一樣
→ arthurduh1: @奶綠: 對, 就是發現他太難處理, 所以讓他爆炸就得了
→ arthurduh1: 51的答案爆的也是他
推 ckchi: 應該說，三個人註定要讓一個人爆的
→ ckchi: 只是爆真話和爆假話都無法避免剩下兩人答案相同
→ ckchi: 所以只好想辦法爆都能選那個
→ ckchi: 只是我之前沒想到用xor 所以爆都可也會讓另外兩個同答案
推 ckchi: 不過是說，誰在生活中會用這種鬼打牆的問法啦 XDDD
推 arthurduh1: 生活中沒人能保證自己說的永遠是真話啊XD
→ arthurduh1: 這人設本身就是虛幻的
推 michael7201: 現實：這問題好難哦，隨便選一個答好了
※ 編輯: chdodo (1.165.43.19), 07/14/2018 00:46:05
→ ezaki: 第三個那是指提問者不確定他會說真還假，還是他會50%說真5
→ ezaki: 0%說假？
→ arthurduh1: 只問他一次問題的話沒有差