作者luciferii (路西瓜)
看板logic
标题Re: [转录] 微软中国研究院最新面试题
时间Sat Oct 20 15:04:35 2007
※ 引述《forself (无所得、故有)》之铭言：
: 预设一：小明不确定小强知不知道答案
: 预设二：小明原先不知完整日期
: ->由小明"现在我知道了"推得
: 预设三：不能保证小明一开始便确定最後能获知答案
: 预设四：两者皆理性 对话无矛盾 不猜测 不说谎 只推理
: 由预设一检验小明所说的第一句话：
: ->如果小明不知道答案 小强必不知答案
: ->如果小明知道答案 小明不确定小强知不知道答案
: ->排除小明能确定小强必然知道与必然不知道答案两种可能---a
这里就推错了
如果A不知道答案 B必不知答案
=>
如果A最後不知道答案 (B必一开始不知道答案 且 B必听完A的话後还不知道答案)
for all => for all 要特别小心
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 203.70.93.113
1F：推 somedoubt:为什麽你一直要把最後这个字放进去？ 10/20 15:05
2F：→ somedoubt:明明他的意思就是在所有A不知道答案的情况下.... 10/20 15:05
3F：→ luciferii:(最後)包含在for all里，你验证最後为否，则for all为否 10/20 15:06
4F：→ forself:为什麽坚持"最後"这两个字 我也无法理解 10/20 15:15