编程者的思考.docVIP

编程者的思考――数学模型的建立 G的平面图性质可以发现结论1:一条对角线将凸多边形分成了两部分,每部分都至少含有一个除对角线外顶点,而且这两部分分居在对角线的两侧。由此可知,在图G中只存在惟一的一条哈密顿回路。因为对角线会将多边形分成不相关连的两部分,所以,对角线不可能存于哈密顿回路上。因此,哈密顿回路上的边都是由多边形上的边组成,而多边形的边只有n条,可知哈密顿回路也就只有一条。不妨设这条哈密顿回路为H?1,H?2,H?3……Hn。问题的目标就是要找到这个哈密顿回路。下面讨论如何利用这些性质来设计算法。 　　我们利用边的连通性。 　　由结论1可知,如果一条边是对角线,那么,将对角线的两个端点从图G中删除,图G一定会变成两个互不可达的连通分块;而如果一条边是多边形上的边,那么,将这条边的两个端点删除,图G将仍然是连通的。也就是说,能够根据图G中边的连通性,来判断一条边是对角线还是边。因此,得到算法: 　　1.枚举图中的每条边(u, v),进行如下判断:将u和v两个顶点从图G中删除得到新图G’。在新图G’任选一点a,然后从a开始对图G’进行遍历。如果a能够到达图G’中的其它点,那么,就说明图G’是连通的,(u, v)是多边形的边;否则,图G’不连通,(u, v)是多边形的对角线。 　　2.将图G中所有对角线删除,得到新图C。这时的新图C便是图G中的哈密顿回路,因此,只要对其进行一次遍历就可以得到多边形顶点的标号序列了。 　　分析一下算法的复杂度:步骤1中,要枚举的边最多为2n条,每判断一次图的连通性为O(n),所以复杂度为O(n?2);步骤2中,删除边和遍历新图的复杂度都为O(n)。所以总的复杂度为O(n?2)。 　　“模型”一词曾在无数论文中被提及,它是图论基本思想的精华,是解决图论问题的关键。建立模型要求我们熟悉经典模型,同时又要求我们能够勇于探索,大胆创新,敢于跳出经典模型的框框。利用模型的特性需要我们独具慧眼,能够抓住问题的本质,击中问题的要害。 　　同时,文章中还介绍了三种解决问题的方法:定义法、分析法和综合法。这些方法和“模型”一样,具有解决信息学奥赛问题的普适性。它们不仅仅是一种方法,更是一种思维的方式和思考的角度。灵活地运用和掌握它们,有利于我们研究算法、探索科学。 　　例题的解析过程,体现了图论的基本思想,算法与数据结构的结合是优秀程序设计的必然要求,是知识融会贯通的体现。 1