※ 引述《eieio (好多目標)》之銘言：
: ※ 引述《m06 (桂冠湯圓)》之銘言：
: : 推文提到
: : 推 rehearttw:有教授證明過了，依原題目，確實要四次。有計算公式 05/27 07:52
: : 很好奇證明是怎麼證的..
: : 前面有12個金幣的分別法
: : 感覺13個應該也可行耶..
: : 不知道有沒有教授的證明可以參考＠＠?
: 我好像看過那個證明，但有點抽象，用我的方法講講看。
: 首先要澄清題目。我現在要證的題目的要求，除了必須找出假硬幣，還必須知
: 道這個假硬幣是輕或重。像最近又討論起來的題目是只要找到假硬幣即可，在13
: 個金幣時正好會有差。
: 先考慮三個金幣的情況，先行編號後，只有六種可能：
: 1輕 1重 2輕 2重 3輕 3重
: 假設我們把 1 2 拿去秤，有三種結果，那它們對應到的可能就變成：
: A. 1 > 2 1重 or 2輕
: B. 1 < 2 1輕 or 2重
: C. 1 = 2 3輕 or 3重
: 注意到秤一次之後，原來的六種可能被劃分成三組二種可能，下一步就可以找
: 出假硬幣「並且」知道它是輕或重。例如剛剛得到 1<2 就拿 1 3 去秤：
: B a. 1 = 3 2重
: B b. 1 < 3 1輕
: 如果是四個金幣，有八種可能：1輕 1重 2輕 2重 3輕 3重 4輕 4重
: 同樣把 1 2 拿去秤，但這時對應到的就變成：
: A. 1 > 2 1重 or 2輕
: B. 1 < 2 1輕 or 2重
: C. 1 = 2 3輕 or 3重 or 4輕 or 4重
: 在 case C 裡面，有四種可能。但你不管如何安排下一次比較，都只有 > = <
: 三種結果，是不夠區分出四種可能的。至少會有兩種可能給你相同的結果。最好
: 的安排是拿 1 3 去秤，變成
: C a. 1 > 3 3輕
: C b. 1 < 3 3重
: C c. 1 = 3 4輕 或 4重 <= 這裡就失敗了
: 因此在只秤兩次的情況下，最多只能有三個金幣。
: 在只剩最後一次秤的機會的時候，最多只能有 3 個情況，不然一定會有一種
: 結果讓你失敗。同樣的道理，只剩最後兩次秤的機會時，最多只能有 9 個情況
: ，不然分下去後會有一堆有 4 個以上，而那堆就可能會失敗。
: 在 12 個金幣的問題裡，拿 1234 和 5678 去秤，會得到
: A. 1234 > 5678 1重 2重 3重 4重 5輕 6輕 7輕 8輕
: B. 1234 < 5678 1輕 2輕 3輕 4輕 5重 6重 7重 8重
: C. 1234 = 5678 9輕 9重 10輕 10重 11輕 11重 12輕 12重
: 剛剛好每組有 8 個可能，不超過 9 個。
: 若有 13 個金幣，那有 26 種可能，看似可以分成 9 9 8，但其實沒辦法，最
: 好的秤法仍然是拿 1234 和 5678 去秤：
: A. 1234 > 5678 1重 2重 3重 4重 5輕 6輕 7輕 8輕
: B. 1234 < 5678 1輕 2輕 3輕 4輕 5重 6重 7重 8重
: C. 1234 = 5678 9輕 9重 10輕 10重 11輕 11重 12輕 12重 13輕 13重
: 這樣 case C 裡面有 10 種可能，是沒辦法在秤兩次內找出是哪個情況的。所
: 以說，若要同時找出假硬幣「並且」知道是太輕或太重的話，13 個金幣需要秤
: 四次。
推這個想法！
我當初在想公式解的時候，曾經利用到三進位
就是不論如何安排，每次的結果都會有 > = < 三種
三次就會有 3^3 = 27 種
但是不可能有三次為 ( > > > )、( = = = )、( < < < ) 三種（尚待證明）
所以只有 24 種結果
而 12 枚硬幣的結果，有 1 重、1 輕、2 重、2 輕、...、12 輕等 24 種
剛好可以設計 1 對 1 公式表
但若是 13 枚硬幣，則會有 26 種答案，三次是不足的
下面附錄當初我的 12 枚公式解：
----------------------------------
公式解：
將金幣編號成 1 2 3 4 5 6 7 8 9 10 11 12
依照下面三次分法秤：
(1) 1 3 5 7 對 2 4 6 8
(2) 1 6 8 11 對 2 7 9 10
(3) 2 3 8 12 對 5 6 9 11
三次結果分別依 < = > 紀錄，對照下面公式表
<<< 不可能 <<= 1輕 <<> 2重
<=< 3輕 <== 4重 <=> 5輕
<>< 6重 <>= 7輕 <>> 8重
=<< 9重 =<= 10重 =<> 11輕
==< 12輕 === 不可能 ==> 12重
=>< 11重 =>= 10輕 =>> 9輕
><< 8輕 ><= 7重 ><> 6輕
>=< 5重 >== 4輕 >=> 3重
>>< 2輕 >>= 1重 >>> 不可能
這是根據三進位對照及作部分調正而來。
--
rehearttw 許老師（Reheart-易懷），愛生公式，愛胡思亂想
自 1980 年摸魔術方塊，1981 年學基本公式，2006 年學 CFOP
個人魔術方塊網頁 http://rubiks.tw/~reheart/Rubiks-cube.htm
縮網址：http://rubiks.tw/Yhec （95/4/7更新、95/6/28改版、95/12/12換址）
益智玩具：http://rubiks.tw/~reheart/puzzle.htm 縮網址 http://rubiks.tw/EjKQ
請多多指教！
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 203.71.236.141