一类称球问题的解法.ppt

问题的提出 给定N个球 有个比标准球重的次品混入其中 你有一架天平，用最少的次数找出这个次品。 N = 3 N = 9 更一般的情况 更一般的情况 更一般的情况 n = 3k+1, n = 3k+2和n=3k类似，也是均分成三堆 每次称量把范围大致缩小到原来的1/3 因此：从n个球中找次品至多要称[log3n]次。（[]统一表示取上整） 判定树 判定树 叶子代表结果 非叶子代表一次称量 每个非叶子节点都有三个孩子，表示天平左偏、右偏、平衡 判定树 判定树 N个叶子的三叉树的深度h = [log3n] 小结 引进了有力工具：判定树。将主观的直觉严谨化。 三分法是解决这类问题的根本着眼点。 三分时必须充分的均匀 分配的均匀性 问题2的提出 N个球，混入了一个轻重不详的次品 手中有一架天平和一个标准球 用最少的次数称出次品并求出次品的轻重 问题2的基本分析 引理的提出 分析 总共a+b个球 每个球都有可能是次品 判定树至少a+b个叶子 树的深度h = [log3(a+b)] 引理的分析 引理的分析 引理的分析 引理的分析 子问题的分析 总共a+b=3(p+q)个球 无论天平怎么偏，都可以把范围缩小到p+q个球中，即原来的1/3 根据a, b mod 3的余数分类，上面讨论的是a mod 3 = b mod 3 = 0的情况。其他情况可类似进行。关键要“均”分。 问题2的分析 n个球，每个球都有可能是轻球或者重球，有2n种不同的可能结果 判定树至少要2n个叶子节点 判定树的深度h = [log3(2n)] 问题2的分析 问题2的分析 问题2的分析 问题2的分析 无论天平怎么偏，称完一次后都还要称[log3(2p)]次 共称[log3(2p)]+1=[log3(6p)]=[log3(2n)]次 问题2的分析 问题2的分析 n=3k+2分法 |A1|=k+1 |A2|=k+1 |A3|=k 6k+4个叶子节点分摊到每个孩子是： 2k+2 2k+2 2k 是均匀的 问题2的分析 N = 3k + 1 分法一：k，k，k+1 分摊的叶子节点：2k，2k，2k+2 分法二：k+标准球，k+1，k 分摊的叶子节点：2k+1，2k+1，2k 问题2的小结 [log3(2n)]即是问题2的解。最优性和可行性均已证明 判定树是一种估界和证明最优性的有力工具。 通过对判定树的研究，衍生了一条重要的原则：均匀。均分的对象不是球，而是叶子节点（即不同的结果）。 其他形式 只要求次品，不求轻重。结论是[log3(2n-1)] 问题2去掉标准球。第一次称的时候就不能保证一定均匀。结论是[log3(2n+2)] 总结 万变不离其宗，解决此问题的精髓在四个字：均匀三分 * * 一类称球问题的解法 1 2 3 1 2 ①是次品 1 2 ②是次品 1 2 ③是次品 N=3时称1次就可以找出次品 1 2 3 4 5 6 7 8 9 A B C A B 次品在A中 次品在B中 A B 通过一次称量，可以把次品可能存在的范围从9个，缩小到3个 N = 3的时候一次就能称出次品 N = 9时称2次 次品在C中 A B N = 3k 1 2 k …… 1 2 k …… 1 2 k …… A B C A B A B A B 次品在A中 次品在B中 次品在C中 范围缩小到原来的1/3 [log3n]无疑是可行解。 最优性 为什么三分？ 因为天平只有三种可能：左偏、右偏、平衡 称(1, 2) = 1 3 2 比较(1,2,3)与(4,5,6) = 比较(1)与(2) 1 3 = 2 比较(7)与(8) 7 9 = 8 比较(4)与(5) 4 6 = 5 判定树的深度就是称量次数 一个有意义的判定树至少n个叶子节点 [log3n]是最优解 1 2 3 …… 9 称(1, 2) 1次品 2次品 = 3…9都可能是次品 N个叶子的三叉树的深度h = [log3n] 深度很大，远超过其兄弟 1 2 可得如下信息： 次品若在①中，则它偏重。 次品若在②中，则它偏轻。 已知两堆球，第一堆有a个、第二堆有b个。 若次品在第一堆，必是重球 若次品在第二堆，必是轻球 只要称[log3(a+b)]次就能找到次品 a = 3p …… p 个 …… p 个 …… p 个 A1 A2 A3 b = 3q …… p 个 B1 B2 B3 …… p 个 …… p 个 A1 B1 A2 B2 A3 B3 次品在A1 或者 B2 范围被缩小到p+q个球里面 A1 B1 A2 B2 A3 B3 次品在B1 或者 A2 范围被缩小到p+q个球里面 A3 B3 次品在A3 或者 B3 范围被缩小到p