2.17解答.pdfVIP

2.17 有n 枚硬币，其中有一枚是假币，它可能比真币重或轻。今用一个无砝码的天平对 这n 个硬币称重，检测出这个假币，并确定它比真币 “重”还是 “轻”。 (a) 通过k 次称重，可以检测出假币，并正确判定它比真币 “重”还是 “轻”的硬 币数n 最多为多大？ (b) 对k=3 ，n=12 这种情况，试设计一种称重的方案。 [解] （a） n 个硬币中有一个假币，它重量可比真币重或轻，如果每个硬币是假币是等可 能的，又假币是重还是轻也是等概的，则确定哪个硬币是假，同时确定比真币重还是轻 的实验A 有 2n 个等可能结局，所以A 的不确定性为 H (A) log2n 用无砝码天平称一次所构成的实验B 可能有3 个结果，即平衡、右重和左重，所以 每次实验所能消除的不确定性最多为 log3 ，用B ，B ，……，B 表示称K 次，则 1 2 K I (A; B B LLB ) H (A) H (A | B , B LLB ) 1 2 K 1 2 K H (B B LLB ) H (B B LLB | A) 1 2 K 1 2 K 如果称K 次能完全确定假币，即H (A | B B LLB ) 0 ，则 1 2 K H (B B LLB ) H (A) H (B B LLB | A) 1 2 K 1 2 K H (A) 也就是说要称K 次能完全确定假币，必须要求 H (B B LLB ) log 2n 1 2 K 而称K 次最多提供的信息量为K log3 ，所以为了确定n 个硬币中的假币至少要称次数K 必须满足K log3 log2n ，或者说用称K 次可以分辨的硬币数最多为 3K n 2 由于n 和K 都是整数，所以 3K 1 n 2 3K 1 下面证明，当n 时，称K 次是不能确定假币的。 2 3K 1 因为n 不能为3 整除，所以在第一次称时不可能达到最大熵log3 。为了使 2 n 1 3K 1 1 第一次称达到最大熵，我们在天平二边各放上 个硬币，这样实验B1 的三 3 2 1 种可能结果的概率最接近，分别为 1 1 1 2 P(右重) P (左重) ，P(平) ， 3 3n 3 3n