算法合集之《“分层图思想”与其在信息学竞赛中的应用》.pdf

IOI2004 国家集训队论文 肖天 “分层图思想”及其在信息学竞赛中的应用 天津市南开中学 肖天 【摘要】本文通过对几道信息学竞赛题的解决，提出了一种解决问题的建模思想 ——分层图思想。该思想通过挖掘问题性质，将原问题抽象得出的图复 制为若干层并连接形成更大的图，使本来难以用数学语言表达得图论模 型变得简明严谨，为进一步解决问题打下了良好的基础。 【关键字】分层图思想 图论 数学模型 最短 信息学竞赛 【正文】 1 引论 人们在借助计算机解决一个实际问题时，无非就是详细地告诉计算机应该怎 么做，使它能通过人们给定的输入得到人们想要的输出。由于一般的计算机只能 处理数字信号，所以只有把实际问题转化为数学问题，计算机才能帮助我们。这 一步就是建立数学模型。 数学模型的建立在通过计算机解决问题的过程中非常重要。它把计算机无法 理解的问题加以转化，使一切事物量化，最终变为只含数学过程的问题。它是人 脑与计算机沟通的桥梁。不仅如此，数学模型的好坏直接影响着人与计算机之间 的信息交流，影响着计算机对问题的 “理解”。好的数学模型能够抓住问题的本 质，表述简捷明了，易于人们找到有效的解决方法，并通过编制程序的方式将解 决方法告诉计算机；相反，对于同一个问题，如果数学模型不能抓住问题本质， 人们就可能无法解决问题，或者找不到有效的方法，更不用提告诉计算机如何做 了。 由于建立数学模型是为了解决问题，所以人们在做这项工作时往往希望把问 题归结为已经很好解决的经典问题或若干这样问题的有机结合。这样，只要应用 前人的研究成果就可以了。比如，排序、求图的单源最短 、网络流等等都是经 典问题，前人不仅给出一般解法，而且对各种特殊情况和变形作了深入的研究。 但事情并不总像人们希望的那样，有的问题即使可以归结为已有问题，在其中加 入一些干扰因素后，原有性质就会发生改变，原来建立起的数学模型难以再用严 谨的数学语言表达。这样问题中的部分图论问题可以用本文提出的“分层图思想” 解决。 该思想注重对原问题性质的挖掘，通过对原问题数学模型的扩展，将干扰因 素融入新的数学模型之中，恢复了模型的严谨性，进而与已解决问题产生联系， 得到有效算法。 第 1 页 共 19 页 IOI2004 国家集训队论文 肖天 2 提出 分层图思想” 2.1 一个问题的解决 例题1：拯救大兵瑞恩1 问题简述：有一个长方形的迷宫，被分成了 N 行M 列，共N *M 个单元。两个 邻（有公共边）的 单元之间可以互通，或有一扇锁着的门，或者存在一 堵不可逾越的墙。迷宫中一些单元存放着钥 ，且所 有的门被分为 P 类，打开同类门的钥 相同，打开 不同类门的钥 不同。（如右图） 要求从迷宫左上角走到右下角营救大兵瑞恩，每 从一个单元移动到相邻单元记为一步。只有拿到钥 ，才能打开 应的门。试求最少步数。 此题的标准解法是动态规划：以拿到的钥 种类划分阶段，时间复杂度为 P 2 O(2 N ) 。（详见[1]） 其实此算法可以用“分层图思想”做出更简明的解释。 首先忽略钥 和门，那么问题就是在一个给定隐 式图中求一条最短 ，数学模型很简单：已知图G， 其中顶点与地图中的单元一一对应。当且仅当两格 邻且之间无墙时，他们对应的顶点间有一条边（如右 图）。求从左上角对应顶点到右下角对应顶点最短 长度。 加入钥 和门的因素，则所求最短路有了一个限 制因素，即只有先到存在钥 的格子，才能通过 应 的门。换句话说，通过图中某些边是有条件的。所以 不能再简单地求最短 了，而是要考虑何时那些边能通过，何时不能通过。这就 要记录拿到了哪些钥 。 此时，我们需对原模型进行改造：将原图G 复制2P 个，记为G(s ,s , ,s ) ， 1 2 P