作者luciferii (路西瓜)
看板logic
標題Re: [轉錄] 微軟中國研究院最新面試題
時間Mon Oct 22 01:01:35 2007
※ 引述《luciferii (路西瓜)》之銘言：
1F：推 somedoubt:你真的想不通?因為小明知道小強手上是5時，小強不知答案 10/21 23:51
2F：推 luciferii:所以小明知道小強手上是1時，小強會知道答案?哪推出來? 10/22 00:11
3F：推 somedoubt:你錯亂了喔。小強手上拿1時，聽到小明的第一句話，就可 10/22 00:12
4F：→ somedoubt:以推斷出小明手上不是12，但原本他不行。 10/22 00:13
5F：推 somedoubt:而小明在聽到小強這麼說的時候，他就知道小強手上不是5 10/22 00:17
6F：→ somedoubt:因為他知道小強手上是5時，小強不會從不知道變成知道。 10/22 00:18
7F：→ somedoubt:反倒當答案為6/4時，小強根本無法說出那三句中的第二句 10/22 00:20
8F：→ somedoubt:他會想說：我手上拿四，怎麼可能我一說知道你就知道。 10/22 00:21
9F：→ somedoubt:亂七八糟嘛！！ 10/22 00:22
10F：推 luciferii:噗...那你「小明知道小強手上是5時，小強不知答案」這句 10/22 00:39
11F：→ luciferii:裏把三月排掉的邏輯怎不一體套用進來? 10/22 00:40
12F：推 luciferii:所以你要論證的結果是6/4 和 9/1 都對? 10/22 00:44
13F：→ luciferii:6/4在小強說了「我本來不知道，現在我知道了」就可讓 10/22 00:45
14F：→ luciferii:明知道了。 10/22 00:46
算了，寫清楚一點
小強聽到話之後，會把12月排掉這點大家都同意，你知道我知道小強知道，
小明也不是笨蛋，他當然也知道。
如果小明手上拿3月，他知道講完話後小強會把12月排掉，
這時小強如果拿8日，就會產生小強知道小明不知道的結果。
所以既然小明敢講，就代表小明手上不是3月。
如果是9月，他知道小強會把12月排掉後再排掉3月，
這樣小強必定知道。可惜不管是1日還是5日，小明都還是不知道。
只剩6月可推。
2年來很多人都已經寫過了....
※ 編輯: luciferii 來自: 218.166.111.68 (10/22 01:03)
15F：推 forself:6/7的可能性 造成小明第一句話矛盾 不管是"現在"或"最後" 10/22 01:56
16F：→ forself:排掉12月的原因跟排掉6月一樣 如果你同意排除12 卻留下6 10/22 01:57
17F：→ forself:那就矛盾了 你憑什麼排掉12月？ 又憑什麼留下6月？ 10/22 01:58
18F：→ forself:看到你這篇 我更深刻的體認到之前真的都在跟你浪費時間 10/22 02:00
19F：推 luciferii:你也還是從頭慢慢算吧... 10/22 02:13
20F：推 somedoubt:算算算，算什麼算，6/4若是正確答案，第一個條件句得理 10/22 10:28
21F：→ somedoubt:解為：如果你一開始就知道，那我就知道。就跟你說按你 10/22 10:28
22F：→ somedoubt:對於第一個條件句的理解，無法排除9/1。所以若小強按 10/22 10:30
23F：→ somedoubt:你的方式理解第一個條件句，他也會瞭解小明的話不能使他 10/22 10:31
24F：→ somedoubt:排除9/1的可能性。 10/22 10:32
25F：→ somedoubt:(如果你等一下說知道，我肯定會知道)有蘊含(如果你一開 10/22 10:35
26F：→ somedoubt:始就知道，那我就知道）嗎？沒有嘛！ 10/22 10:36
27F：→ somedoubt:試圖詮釋6/4派的理解，使其推論有效。但可惜的是，你會 10/22 10:38
28F：→ somedoubt:錯意了。不要再拗了。 10/22 10:39
29F：推 luciferii:(如果你等一下說知道，我等下肯定會知道)的確有蘊含 10/22 13:09
30F：→ luciferii:(如果你一開始就知道，那等下肯定會知道） 10/22 13:09
31F：→ luciferii:思慮請再整理得清楚一點，或者再把基礎邏輯拿出來複習 10/22 13:09
32F：推 somedoubt:路西瓜的意思是：你等一下說知道蘊含你一開始就知道ㄟ. 10/22 13:45
33F：→ somedoubt:好詭異的宣稱。原來我知道一件事僅當我打從一開始就知道 10/22 13:47
34F：→ somedoubt:那現在我不知道任何事，因為我打從一開始並不知道任何事 10/22 13:48
35F：推 somedoubt:還有，不要再將帶有模態詞的條件句理解為實質蘊含語句了 10/22 14:24