求解NP难问题的拟物拟人方法研究.pdfVIP

求解NP难问题的拟物拟人方法*** 黄文奇 许如初 (华中理工大学 计算机系，武汉市 430074) (中国科学院软件研究所计算机科学开放研究实验室，北京 100080) 摘 要 本文提出拟物拟人方法，然后描叙可如何按 2求解packing问题的拟物方法[13 此种方法为NP难问题设计出高效实用的快速求解算法 packing问题即是对于一个形状大小被任意 作为例证，所得出的关于CNF-SAT问题及packing问题 的算法，其先进性在国际竞赛及工业生产中得到了显示。 给定的封闭容器和N个形状大小被任意给定的物 关键词 ·NP1l]g;g CNF-satisfiabilitylajM 体，问能否及如何将这些物体互不嵌入地放进容 packing问题 拟物算法 拟人算法 器中去。可以将这些物体都想fir为光滑的弹性实 体。将容器也想象为里空外实的无穷大的光滑弹 1拟物拟人途径 性实体。在开始时刻，想象这N个物体被强迫地 NP难问题是当代理论计算机科学的核心问 挤缩在这个容器中。当强迫力取消后，各个物体 rl},对此类问题的快速求解是各色门类计算机技 都要恢复自己的形状和大小。因而它们之间产生 术 {程的瓶颈任务 虽然目前一时难以建立完善 了挤压弹性力的互相作用。在这些弹性力的驱动 有关理沦，但是沿着拟物拟人途径却可望为此类 之下，于是物体体系产生了一系列的运动。如果 间题找到高效实用的快速算法 问题客观上有解，则这种运动将会导致每个物体 所谓拟物即是找到与原始数学问题等价的物 都走向一个合适的方位— 问题的解。 理世界J观「察这个世界中物质运动的生动形象 这种天然的解法可以用数学计算加以模拟。 然后从中受到启发以求解数学问题 ”〔。由于物 将绝对三维笛片儿坐标系固结在容器上。第 1个 z状态的演化天然地是按照使其Lagrange函数 物体在此坐标系中可用如下六个实数表示自己的 的积分达到最小的方式进行121，这就决定了拟 方位:x,，y，z,，。、，巾.，w 。其中前三 物算法最终在数学上落实为优化问题。然而用数 个数表示物体重心的位置，后三个数表示物体当 学方法求解优化问题，有时会碰到计算落入局部 前*前所处的方向 于是整个体系的挤压弹性势 最小点陷阱的困难境地，对于如何跳出局部最小 能可以写成一个6N元的已知函数 : 点陷阱让计算走向前景更好的区域中去的问题， U二U(x，y，Z7,。!，中，，Vr，…，XN,Y,,,ZN, 拟物方法已无能为力。但是，人类在最近几千年 0、，DN,WN) (2.1) 的共同生活中形成了丰富的社会经验，利用这些 其中U为侮两个物体间的挤压弹性势能u,i之 经验作比拟往往可以启发出好的 “跳出陷阱”的 和，u;为第1个物体与第j个物体问的嵌入深 策略{“.1另外，即使在拟物计算过程中，为 度的平方。 使计算进行得更顺畅一些，讯息资沉被利用得更 于是我们可用熟知的迭代方法— 梯度法来 充分一些，人们的社会经验有时也是有用的;51 求此非负函数U的零点.问题的解。这种迭代过 我们将这种把人类的社会经验形式化为算法用以 程即是基于拟物方