又了大家的Tips,差不多了...謝謝...紅字那裡有問題...
設 ABCDEFGHIJKL為12粒波子,編號任意
第1秤: ABC vs DEF
Case 1) ABC=DEF => ABCDEF全真
第2秤: ABC vs GHI
Case 1.1) ABC>GHI => 假=輕,假在GHI
第3秤: AG vs BH
Case 1.1.1) AG=BH => I是假,輕了
Case 1.1.2) AG>BH => H是假,輕了
Case 1.1.3) AG<BH => G是假,輕了
Case 1.2) ABC<GHI => 假=重,假在GHI
第3秤: AG vs BH
Case 1.2.1) AG=BH => I是假,重了
Case 1.2.2) AG>BH => G是假,重了
Case 1.2.3) AG<BH => H是假,重了
Case 1.3) ABC=GHI => 假在JKL
第3秤: AJ vs BK => ???
Case 2) ABC>DEF => GHIJKL全真
第2秤: ABC vs GHI
Case 2.1) ABC>GHI => 假=重,假在ABC
第3秤: AG vs BH
Case 2.1.1) AG=BH => C是假,重了
Case 2.1.2) AG>BH => A是假,重了
Case 2.1.3) AG<BH => B是假,重了
Case 2.2) ABC<GHI => 不可能同時GHI>ABC>DEF(只得一粒假),所以這Case不可能發生
Case 2.3) ABC=GHI => 假=輕,假在DEF
第3秤: AD vs BE
Case 2.3.1) AD=BE => F是假,輕了
Case 2.3.2) AD>BE => E是假,輕了
Case 2.3.3) AD<BE => D是假,輕了
Case 3) ABC<DEF => GHIJKL全真
第2秤: ABC vs GHI
Case 3.1) ABC>GHI => 不可能同時DEF>ABD>GHI(只得一粒假),所以這Case不可能發生
Case 3.2) ABC<GHI => 假=輕,假在ABC
第3秤: AD vs BE
Case 3.3.1) AD=BE => C是假,輕了
Case 3.3.2) AD>BE => B是假,輕了
Case 3.3.3) AD<BE => A是假,輕了
Case 3.3) ABC=GHI => 假=重,假在DEF
第3秤: AD vs BE
Case 2.1.1) AD=BE => F是假,重了
Case 2.1.2) AD>BE => D是假,重了
Case 2.1.3) AD<BE => E是假,重了