回溯法解决飞机场停机位分配问题

@回溯法解决飞机场停机位分配问题
算法设计与分析 课程论文

摘要

航班停机位分配是机场指挥中心日常工作的一项重要内容。为此，根据航班停机分配需要的物理和时间资源等条件，基于回溯法的算法思想，把停机位的分配转化为图着色，建立航班停机位分配问题的图着色模型，根据先到先服务的原则，给出了一个可行算法，并用此算法解决了一个算例。

1 前言

机场的停机位是机场运营的重要资源之一,给进场航班分配一个合适的停机位,是机位分配工作的主要任务。停机位的分配是指在考虑机型大小、停机位类型、航班时刻等因素的情况下,对未来一个时间段内的到港航班指定合适的停机位,为旅客上下飞机提供登机门。对停机位进行合理的分配对整个航班的管理起着非常重要的实际意义。为了解决不同计算领域的多种实际问题，算法设计技术作为设计算法的一般性方法的学科便得到了飞速发展。
算法设计的主要任务时描述问题的解决方案。利用计算机解决问题的最重要一步是描述算法，即给出形式化，机械化的操作步骤，告诉计算机需要做哪些事，按什么步骤去做，然后再对照现实生活中的某些情况，对算法进行调整和修改，使其达到更好的解决效果。
回溯法以深度优先策略搜索问题的解空间树，在搜索过程中，每次只构造可能解的一部分，然后评估这个部分解，如果这个部分解有可能导致一个完整解，则对其进一步构造，否则，就不必继续构造这个部分解了。

2 基本概念

2.1 回溯法的含义

回溯法在包含问题的所有可能解的解空间树中，从根结点出发，按照深度优先策略进行搜索，对于解空间树的某个结点，如果该结点满足问题的约束条件，则进入该子树继续进行搜索，否则将以该结点为根结点的子树进行剪枝。回溯法常常可以避免搜索所以的可能解，所以，适用于求解组合数较大的问题。

2.2回溯法的设计思想

回溯法是一种试探求解的方法：通过读问题的归 纳分析，找出求解问题的一个线索，沿着这一线索往前试探，若试探成功，即得到解；若失败，就逐步往回退，换其他的路线继续试探。

第一步：为问题定义一个状态空间,这个空间必须至少包含问题的一个解
第二步：组织状态空间便它能被容易地搜索。典型的组织方法是图或树
第三步：按深度优先的方法从开始结点进行搜索
——开始结点是一个活结点（也是E-结点：expansion node)
——如果能从当前的E-结点移动到一个新结点，那么这个新结点将变成一个活结点和新的E-结点，旧的E-结点仍是一个活结点。
——如果不能移到一个新结点，当前的E-结点就“死"了， 那么便只能返回到最近被考察的活结点（回溯)，这个活结点变成了新的E-结点。
——当我们已经找到了答案或者回溯尽了所有的活结点时，搜索过程结朿。

3 机场停机位分配问题

3.1 问题描述

机场停机位分配是指根据航班和机型等属性，为每个航班指定一个具体的停机位。具体分配停机位时，必须满足下列约束条件：
（1） 每个航班必须被分配且仅能被分配一个停机位；
（2） 同一时刻同一停机位不能分配一个以上的航班；
（3） 应满足航站衔接以及过站时间衔接要求；
（4） 机位与所使用机位的航班应该相互匹配。
对飞机进行停机位分配时，假设班机时刻表为已知，并且按照“先到先服务”的原则对航班进行机位分配，这样就可以将停机位分配转化为图着色问题。

3.2 机场停机位分配图着色模型

图着色模型由G=（V,E）二元组构成，其中：V={vi}为图着色模型所以的顶点，E={(vi,vj)} 为图着色模型中各顶点的边。回溯法求解图着色问题，首先把所有顶点的颜色初始化为0，然后依次为每个顶