算法导论-4-6 VLSI芯片测试

来源:互联网 发布:阿里妈妈淘宝联盟规则 编辑:程序博客网 时间:2024/03/29 18:46

问题:Diogenes 教授有n个被认为是完全相同的VLSI芯片,原则上它们是可以互相测试的.教授的测试装置一次可测试二片,当该装置中放有两片芯片时,每一片就对另一片作 测试并报告其好坏.一个好的芯片总能够正确的报告另一片的好坏,但一个坏的芯片的结果就是不可靠的.这样,每次的测试的四种可能结果如下: 

 

a)证明若少于 n/2 的芯片是坏的,在这种成对测试方式下,使用任何策略都不能确定哪个芯片是好的.
b)假设有多于 n/2 的芯片是好的,考虑从 n 片中找出一片好芯片的问题.证明 n/2 对测试就足以使问题的规模降至近原来的一半.
c)假设有多于 n/2 的芯片是好的,证明好的芯片可用 O(n) 对测试找出。

引理1:对于两堆不能判定出好的芯片,合并成一堆也不能判定出好的芯片。(此引理较容鶍理解,不能判定好芯片的一堆芯片不能为其它的芯片判定提供有用的信息)

解题思路:
a)    在所有的策略中,时间复杂度最高但最有效的方法是:对每个芯片,让其它所有芯片对它进行报告,由于好芯片数目小于n/2,对于任意芯片,坏芯片都可以让判断结果一模一样(比如判断结果好坏各占一半),此时,就无法判断出好坏。得证。
b)    问题可以这么理解,证明:当多于n/2的芯片是好的时,可以通过【n/2的下界】次操作,得到一个包含至多n/2个芯片的集合,且该集合内好的芯片大于一半。这样,以后只需要在这个集合上执行类似的判断动作就好了。


对于n个芯片的集合,假设good代表好芯片的数目,则坏芯片(bad)有(n – good)个,good > bad。将n个芯片两两组合,接下来分类讨论。

        1.    当n为偶数时,假设好芯片和坏芯片组成的对数为difference,则(n - good) >= difference。对每个对,如果结果是(情况2)、(情况3)、(情况4),则不做任何操作,如果结果是(情况1),则从中挑出一个放到一个集合中。所以,我们可以在好芯片对中取到(good – difference)/2个芯片,从坏芯片对中取到m个芯片,m <= (n – good - difference)/2。因为(good – difference)/2 > (n – good - difference)/2,所以新集合中好芯片的数目大于一半,另外总芯片数小于等于(n/2 - difference)。
        2.    当n为奇数时,提取一个芯片,对剩下的芯片采取偶数的方法,只不过最后的集合情况是:(good - difference)/2 >= (n – 1 – good - difference)/2,芯片总数小于等于((n – 1)/2 - difference)。
                1)    当总数是偶数时,要么好的芯片数和坏的芯片数一样,原先被提取的芯片是好的芯片,把好的芯片加入集合;要么好的芯片比坏芯片多偶数个,此时不论被提取的芯片是好是坏,把它加入集合也能保证好的芯片数大于坏的芯片数。
                2)    当总数是奇数时,好的芯片数必然大于坏的芯片数。
       得证。
c)    当每次的r为0时,所需要的递归次数最多,T(n) = T(n/2) + n/2。