关于四个相同伪硬币问题的一些新结果.pdfVIP

维普资讯 应 用 数 学 M ATHEM AT1CA APPLICATA 2008，21(3)：4984503 关于四个相同伪硬币问题的一些新结果 王继忠 。，刘三阳 (1．西安电子科技大学数学科学系，陕西 西安 710071；2．山东建筑大学理学院，山东 济南 250101) 摘要：本文给定一 台比较型测试装置和确切的四个相 同伪硬 币出现 的信息，作者研究 最小测试数的探求问题，这个最小测试数 能从 个有 同样外观 的硬 币组成的集合 中 鉴别出四个相 同的伪硬 币，这里 ≥ 5．作者构造 了一个鉴别四个相 同伪硬 币的测试 算法，这个测试算法改进 了Fogic的一个测试算法，还修正了另外一个测试算法． 关键词：伪硬币；标准硬币；分组测试；信息沦下界 中图分类号：0236；0232 AMS(2000)主题分类 ：05A05；68Q25 文献标识码 ：A 文章编号 ：10Ol一9847(2008)03—0498-06 在分组测试理沧中有一个共有的问题 ，经常要对若干个伪硬币搜索它的最优化测试算法． 本文利用文 [7]中的结果 ，给出…种 个硬币中鉴别 四个相同伪硬币的分组鉴别测试算法，该 算法比最优算法至多多两次测试，该算法改进了文 [5]和文 [6]中的算法， 符号X(h，…^)表示由 个硬币组成的集合，这个集合包含由^(≤ )个伪硬币组成的非空 子集 H，其余 …h个硬币是标准的．符号[p，q]表示大于等于P且小于等于q的所有整数． 定义 1 如果 X(h，—h)是 个硬币组成的集合，H是X的子集并且非空 ，H中的硬币 称为伪硬币．A是由”维有序组(A ，A ，…，A，)所构成的集合，其 中A ∈P(H)，A nA，一 ， i≠ ，i，一 1，2，…，，P(H)表示伪硬币集合H 的幂集．若F一 {F ，F。，… ，F，}是A的一 个划分，则称 F是一个用 台平行装置搜索坏硬币的一个模型，简称为分组测试模型．m称为 模型F的划分数，F，(==1，2，…，)称为信息反馈．模型F简记为F lF。l… lF… 定义 2【 如果X(^，__h)是 个硬币组成的集合，H是X的子集并且非空，H 中的硬币 称为伪硬 币．当H 巾的元素足可区分的，则称集合 P一 {(z，z2，…，z)1z．∈X(h，—h)， (z ，z ，…，z)是一个 h维有序组}为X(h，—h)的基解空间． ’ 定义38¨ 如果x的基解空间的基数是 ，分组测试模型F的分解数是m．我们称 [1ogs] 为分组测试模型 F的信息论下界，这里 []表示不小于 的最小整数． 引理 1¨8 如果 X(^，～h)的基解空间的基数是 s，分组测试模型 F的分解数是m，P表 示一个从 个硬币中鉴别出h个伪硬币的测试算法 ，符号 聆(户)表示测试算法 P的最大测试 次数 ，则 j}(P)≥rlogS～I． * 收稿 日期 ：2007～09-24 基金项 目：国家 自然科学基金项 目 作者简介：王继忠，男，汉．江苏人，教授，研究方向：组合最优化、组合搜索和动态规划 维普资讯 第 3期 王继忠等 ：关于 四个相同伪硬币问题 的一些新结果 499 引理2 分组测试模型S (1)： l 。je。声的信息论下界是可达 的．即如果[1ogs]是该 模型的信息论下界 ，当3H ≤ 3，EN，则存在一个分组测试算法 P，使得 §川)(户)一 [1og S]一 [1og3]一 i． 为表示 问题方便，对从 个硬币中鉴别两个相同伪硬币的分组测试模型可简记为S (2)． 引理 3 对硬币集合 x(2，一2)和分组测试模型S (2)，则对存在一个鉴别测试算法