离散空间上并行搜索单目标的最优算法.pdfVIP

第一章 绪论 §1．1研究背景 在人类活动的每个领域，我们经常会遇到这样的问题：要求我们搜索一个未知目标． 在字面意义上，下列行为就是一种搜索：在机械装置中，寻找引起该装置出故障的部分； 在一份资料文件中，查找一条信息所在的准确位置．另外，像寻求一条秘密消息的意义、 一个复杂系统的基本原理、一个正确的决定，这也是一种不明方式的搜索．这些问题都有 一个共性：其目的都是在尽可能短的时间内，或用尽可能少的费用发现未知目标．这一理 论就是搜索论． 搜索论是一门诞生在上世纪发生的第二次世界大战期间的新学科．Koopman教授是 这门学科的奠基人，他的三篇创造性的论文f25—27j奠定了搜索论的基础．他没有把它局 限于某种或某几种固定的方法，而是让它奠基在少量的定义性的原理和准则上．从而，使 搜索论迅速地发展成为了一门既相对独立又与众多学科密切相关的学科．所以，人们可以 不断地尝试借用其它众多领域的思想、方法和技巧来解决所面临的实际问题．这也就决定 了搜索论是内容丰富、成果众多，且极具应用价值的领域．搜索论既在军事领域有许多直 接应用，又在非军事领域，如空间科学技术、信息科学、计算机科学、医药、生物学、探 矿、渔业等，有广泛应用． 搜索论属于应用数学的范畴，应用数学的一个突出特点就是：塞塑造=全夔堂蕉型： 然后再解决这个模型．搜索论也不例外，它的首要任务是为一个一般的搜索过程构造一个 合理的模型，然后，再寻找解决这个模型的具体方法． §1．2所研究的模型 个是具有相同重量的好币，而另外d个硬币是重量不同于好币的假币．在一定的条件下， 如何能以最少的试验次数找到这d个假币呢? 在上述模型中，所说的一定条件是指： 第一章绪论 2 (1)采用什么样的试验装置； (2)在容错情况还是非容错情况下进行搜索； (3)试验集的个数是否受限制； (4)在试验过程中，能否用已知的好币； 和比较型装置．在文献【5—8，12—15，18—20，24】中已经得到了许多关于测试型装置的结果． 最常见的比较型装置是r一臂天平(每次试验中，选取r个等势的硬币集分别放在此天平 的称，每次试验选取一个硬币集放在其盘中)，2一臂天平(即我们通常所说的天平，每次试 验选取两个等势的硬币集分别放在天平的左盘和右盘中)和多臂天平．关于r一臂天平的 结果可能也不同．本人研究以b．天平为试验装置：在一次称重中把硬币集分配在6个天 平上，这样可得到6个信息．值得指出的是，以6-天平为试验装置与在一个天平上一次 接一次地做6次称重是不同的．同时，本文考虑的是试验集的个数不受限制的情况． 为了更好地理解本文所描述的模型，我们首先要了解下列术语． 定义1．2．1．所有可能是未知目标的元素构成的集合称为搜索域． 定义1．2．2．从搜索域中能确定出未知目标的方法、程序称为(成功的)算法． 根据算法的本质特征，可将其分为两种：预确定算法和序列算法． 定义1．2．3．序列算法：做第J次试验之前已获得前j一1次试验的结果，可以利用 前J一1次试验的结果来确定第J次试验的方案的算法(即做第一次试验，等待结果；做 第二次试验，等待结果；．．．．．．)． 定义1．2．4．预确定算法：一次性地做完所有的试验(不等待任何结果)，在收集所有的 试验结果后，能识别出未知目标的算法． 显然，预确定算法可以看作一种特殊的序列算法． 定义1．2．5．一个算法所包含的试验次数称为算法的长度．包含的试验次数最少的算 法称为最优的算法． 一般情况下，对于同一个模型，预确定算法的长度大于或等于最优的序列算法的长 度． 通常用两种标准来衡量算法的效率： 第一章绪论 3 定义1．2．6．最坏情况下的长度：考虑未知目标所有可能的情况下，算法的长度． 定义1．2．7．平均长度：在一个给定的概率分布下，算法的长度． 本文考虑的是Coin—Wei曲ing模型，所以，算法的最小的最坏情况下的长度和平均长 度分别对应最坏情况下的最少称重次数和平均最少称重次数