国家集训队2004论文集_黄源河.pdfVIP

IOI2004 国家集训队论文 黄河源 浅谈图论模型的建立与应用 广东省中山市第一中学 黄源河 【关键字】 图论模型、建立、转化 【摘要】 在近几年的信息学竞赛中，图论题目层出不穷。图论作为 一个新生的数学分支，相比其他数学分支来说，具有许多自有 的特性。利用图论解题，通常具有高效、简洁的便利。有了这 门工具，并不意味就能很好地解决问题，还在于我们能否熟练 地识别与建立一系列的图论模型。本文通过一些实例，简单地 介绍一下图论建模的方法。 【正文】 引言 应用数学知识解题时，首先要通过对实际问题的分析，研究组建用以描述 这个问题的数学模型。使用数学的理论和方法对模型进行分析从而得到结果， 再返回去解决现实的实际问题。图论模型是一类特殊的数学模型，建立图论模 型，就是要从问题的原型中，抽取对我们有用的信息和要素，把问题抽象为点、 边、权的关系。 经过图论建模之后，杂乱无章的信息变得有规可寻，要素的内在联系体现 在了点、边、权的关系。有不少经典的图论模型可以直接用特定的算法解决， 一些复杂的问题，只要能认清问题的本质，把握问题的关键，建立合适的图论 模型，往往能转化为我们熟悉的经典问题。 本文要写的，正是我在图论建模方面的一点心得与认识。 第 1 页 共 9 页 IOI2004 国家集训队论文 黄河源 例题分析 〖例题 1〗Place the Robots (ZOJ) [问题大意] 有一个 N*M(N,M=50)的棋盘，棋盘的每一 格是三种类型之一：空地、草地、墙。机器人 只能放在空地上。在同一行或同一列的两个机 器人，若它们之间没有墙，则它们可以互相攻 击。问给定的棋盘，最多可以放置多少个机器 人，使它们不能互相攻击。 [分析] 在问题的原型中，草地，墙这些信息不是我们所关心的，我们关心的只是 空地和空地之间的联系。因此，我们很自然想到了下面这种简单的模型： 以空地为顶点，有冲突的空地间连边，我们可以得到下面的这个图： 1 12 34 2 3 8 7 8 6 5 4 5 7 6 那么，问题转化为求图的最大独立集问题。众所周知，这是 NP-完全问题。 看来，建立这样的模型，没有给问题的求解带来任何便利，我们必须建立一个 行之有效的新模型。 我们将每一行，每一列被墙隔开，且包含空地的区域称作“块”。显然，在 每个块之中，最多只能放一个机器人。我们把这些块编上号，如下图所示： 1 1 2 3 3 4 4 2 5 第 2 页 共 9 页 IOI2004 国家集训队论文 黄河源 把横向块作为 X 部的顶点，竖向块作为 Y 部的顶点，如果两个块之间有公 共的空地，就在它们