Re: [轉錄] 微軟中國研究院最新面試題
※ 引述《forself (無所得、故有)》之銘言：
: 自己的想法 請指教
前文推文中有吵架被砍了
重回
: 小明知：月
: 小強知：日
: 小明 | 小強
: 3 | 4 5 8
: 6 | 4 7
: 9 | 1 5
: 12 | 1 2 8
: 預設一：小明不確定小強知不知道答案
: 由預設一檢驗小明所說的第一句話：
: ->如果小明不知道答案 小強必不知答案
: ->如果小明知道答案 小明不確定小強知不知道答案
: ->排除小明能確定小強必然知道與必然不知道答案兩種可能---a
排除錯誤
對這句理解有問題"如果小明知道答案 小明不確定小強知不知道答案"
即使沒有預設一和A第一句話，所有可能性為
如果A知道答案，在某些答案時，A確定B知道答案 a1
在某些答案時，A確定B不知道答案 a2
在某些答案時，A不確定B知不知道答案 a3
加上預設一和A第一句話，並不能讓你排除掉 a1 和 a2
對 for any 的反證是找出 exist one ，不是 for all 都要推翻
邏輯關係混掉了
正常的推論是
「如果A不知道答案的話 B必不知答案」
=>
如果
A現在不知道答案 and
A在B說完後還是不知道答案
則
B現在不知道答案 and
B在A說完後還是不知道答案
因為A現在不知道答案恆真
故等價為
如果
A在B說完後還是不知道答案
則
B現在不知道答案 and
B在A說完後還是不知道答案
「最後」兩字是這樣而來
畫清楚全部的圖
t1: A講話前
t2: A講話後
t3: B講話後
所有的可能性
如果A在t1不知道，則B在t1不知道
如果A在t1不知道，則B在t2不知道
如果A在t3不知道，則B在t1不知道
如果A在t3不知道，則B在t2不知道
: 預設二：小明原先不知完整日期
: ->由小明"現在我知道了"推得
: 由預設二檢驗小明所說的第一句話：
: ->小明不知小強知不知道答案
: ->小明確定自己不知道答案 小強也不會知道答案
: ->如果小強知道答案 而小明不知道 則矛盾-----------------b
如果你知道「原先」和「現在」時，「知道」的狀況可以改變
在推論時忽略掉只是邏輯題作多的習慣，而非遵循習慣
若以最後的時點來說，這四種是全部情形
小明確定若自己「原先」不知道答案 小強「原先」也不會知道答案
小明確定若自己「原先」不知道答案 小強「現在」也不會知道答案
小明確定若自己「現在」不知道答案 小強「原先」也不會知道答案
小明確定若自己「現在」不知道答案 小強「現在」也不會知道答案
還沒開始解題就排除後面三句的可能性，所以才會得出9/1
這是經驗累積成的盲點
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.166.109.87
※ 編輯: luciferii 來自: 218.166.109.87 (10/21 11:17)
討論串 (同標題文章)
本文引述了以下文章的的內容：
完整討論串 (本文為第 140 之 168 篇)：