广义哈密顿圈问题与其构造算法研究.docVIP

广义哈密顿圈问题及其构造算法研究* 宁宣熙1 宁安琪2 南京航空航天大学经济与管理学院，南京，210016 1. nhning@nuaa, 2. ningangie@163.com  摘要：在经典图论中，哈密顿圈问题是指在给定图中是否存在经过图中每一个点一次,且仅一次的一条巡回路线。本文提出的广义哈密圈问题是指在给定图中，从单个或若干个顶点出发是否存在多条只经过每个顶点一次的巡回路线。文中给出了它们的定义及应用在旅行推销员问题上的实用模型。在解决经典哈密顿圈问题的S-O算法基础上，提出了解决广义哈密顿圈问题的构造算法，并用300余个实例进行了验证。最后用一个MTSP案例说明了算法的优越性。 关键词：哈密顿圈，多哈密顿圈，多推销员，算法 1 广义哈密顿圈问题的界定及其研究的意义 在经典图论中，哈密顿圈问题是指在给定图中是否存在经过图中每一个点一次,且仅一次的一条巡回路线。所谓多哈密圈问题是经典哈密顿圈问题的扩展，它是指在给定图中，从某一点V。出发是否存在多条只经过每个顶点一次的巡回路线[1]。这种情况更准确地说，应称为单源点多回路哈密顿圈问题。众所周知，在实际生活中，除了单源点多回路哈密顿圈问题外，还存在多源点多回路哈密顿圈问题，它是下面三种多推销员巡回路线问题的基础模型： （1）产品有多个推销中心，每一个中心只派出一名推销员进行推销活动。这种情况可以归结为多源点的单巡回路线问题。 （2）产品有多个推销中心，每一个中心派出多个推销员进行推销活动。这种情况可以称为多源点多巡回路线问题。 （3），产品有多个推销中心，有的规模大，有的规模小。规模大的派出多个推销员，规模小的只派一个推销员。这种情况可以称为混合式多源点多巡回路线问题 在上面的三种情况中，如果除了源点外，多巡回路线只经过图中每个节点一次，且仅一次，则称为多源点多回路哈密顿圈问题（或 简称为多源点多哈密顿圈问题）。如果除了源点外，多巡回路线经过图中每个节点至少一次，则称为多源点多回路推销员问题（或简称为多源点多推销员问题）。上面这些单源点或多源点多哈密顿圈问题可以统称 *国家自然科学基金项目（No 为广义哈密顿圈问题。其对应的推销员问题则定义为广义推销员问题。因为广义哈密顿圈问题是广义推销员问题的基础，所以在本文中，我们把首先研究广义哈密顿圈问题。 2 S—O算法及其在构造多源点多哈密顿圈中的应用 在堵塞流理论的研究中，我们建立了一般有向图中哈密顿轨问题的最小支撑流模型,并提出了构造哈密顿轨的自组织算法(S-O算法)[2]-[5]。到现在为止，用大约11000个规模不同的有向网络和一般图（n=10-4000，m=20-8000）进行了算法的实证研究[3]-[9]，都证明该算法是在一般图中构造哈密顿圈的实用有效算法。进一步的研究表明，把这种算法推广应用在构造多源点多哈密顿圈上是完全可行的。这种推广应用的关键技术是把多源点多哈密顿圈问题转换为一般图中的经典单哈密顿圈问题。它包括下面几个基本方法： 1，将有向图中构造哈密顿轨的S—O算法应用于构造一般无向图中的哈密顿圈问题的方法 （1）给定一般图，G（V，E）；V={v1, v2, …, vn} （2）取G中的任一顶点为原点v0，并将原点分为始点和终点两个顶点s、t，并使其具有与v0相同的关联关系。 （3）用S-O算法构造从s到t 的无环最小支撑流。 2，将单源点K-回路哈密顿圈问题转化为单哈密顿圈问题的方法： 将给定网络的始点s和终点t，分别分为K个顶点si，ti , i=1,2…k，并让每一个分顶点都有与s，t相同的关联关系,且始点只有出弧，终点只有入弧。然后令s1为总始点，tk为总终点。同时，增加有向边（ti，si+1）(i=1,2…k-1)。这样形成一个新的二端点s1,tk的有向网络。 很显然如果存在K-哈密顿轨的话，那么在这个网络中构造一条由s1→tk的哈密顿轨，就相当于在原网络中构造了K-哈密顿轨。如果始点s和终点t是图中同一个点，那末就相当于在原网络中构造了K-回路哈密顿圈。 如以最简单的2-哈密顿轨为例。见图1，图中原网络始点为s,终点t，现各分为两个顶点s1，s2和t1，t2。很显然，该网络中从s1到t2的哈密顿轨s1 v1 v2 v6 v5 t1 s2 v3 v4 v8 v7 t2即是原网络中由二条子哈密顿轨s v1 v2 v6 v5 t和s v3 v4 v8 v7 t构成的2-哈密顿轨。 图1，方法二示意图 3，将多源单哈密顿圈问题转化为单源单哈密顿圈问题的方法： 假设指定图中任意的k个顶点为k个源点 （1），构造原图的扩展图，其方法如下：将每个源点各分为两个顶点，并令其中之一为起点，另一个为终点。保持原有边的关联关系不变，但起点只有出弧，终点只有入弧。 （2）