图论在单词接龙中的应用.docxVIP

图论在单词接龙中的应用 图论在单词接龙中的应用 2021年9月 第19卷第3期总61期北京联合大学学报(自然科学版) Journal of Beijing Union University (Natural Sciences ) Sep . 2021 Vol . 19No . 3Sum No . 61 图论在单词接龙中的应用 (华中师范大学信息技术系, 武汉　430079) [摘　要]　讨论了“单词接龙”的求解问题。运用图论中的欧拉定理建立了数学模型, 并且设计 了比较优化的算法, 编制了程序。对任意一组单词, 该程序可以判断出它们能否完成接龙。经测试, 该算法较之传统的穷举法明显地降低了复杂度。 [关键词]　图论; 欧拉路; 单词接龙; 图算法[中图分类号]　O 157. 5　　[文献标识码]　A 　　[文章编号]　1005-0310(2021) 03-0030-04　　有这样一个古老的数学问题。假设有许多张卡片, 每张卡片上都写着一个英文单词, 现在要把这些卡片按照一定的顺序连成串。这个顺序要求每张卡片(第一张卡片可以除外) 上的单词的首字母恰好是前一张卡片上的单词的尾字母, 并且要求每张卡片只能用一次, 简单地说就是“单词接[1] 龙”。有一些单词组通过适当的组合是可以完成接龙的, 例如, “teach ”,“teeth ”, “yet ”,“happy ”。但是某些单词组却不具备这样的性质, 比如“ok ”, “old ”, “deep ”, “king ”。问题的关键是能否找出一种科学的方法快速、准确地判断一组单词是否可以按照上述规则完成接龙呢? 笔者运用图论中的欧拉定理建立了数学模型, 并且设计了比较优化的算法, 编制了程序来求解该问题。对任意一组单词, 该程序可以判断出它们能否完成接龙。 2) 定理1　无向连通图G 是欧拉图 G 不含奇数度的结点(即G 的所有结点的度均为偶数) 。 3) 定理2　一个连通(弱连通) 有向图具有欧拉回路的充要条件是G 的每一个结点的入度和出度相等。具有欧拉路的充要条件是除两个结点外, 每个结点的入度等于出度。对于这两个结点, 一个结点的出度比入度多1, 另一个结点的出度比入度少1。 运用这些定理, 可以判断如图1所示的4个图形中, 右边的2个图形是可以一笔画出的, 因为这2个图形分别存在着欧拉回路和欧拉路, 而左边的2个图形则不行, 因为它们不满足上述任何一条定理的条件。 1　相关图论知识 图论是离散数学的一个分支, 它以图为研究对象, 研究节点和边组成的图形的数学理论和方法。 关于欧拉回路和欧拉路, 简单地说欧拉回路要求边不能重复, 结点可以重复。笔不离开纸, 不重复地走完所有的边, 回到原处, 就是所谓的一笔画。欧拉路与欧拉回路不同之处是它不要求回到原处。这些名字中的“欧拉”是因为欧拉解决了七桥问题, 并发现了一笔画所需的性质。 下面列出一些定义和定理:1) 定义　通过图G 的每条边一次且仅一次的回路称为欧拉回路。存在欧拉回路的图, 称为欧拉 [收稿日期]　2021-04-06 [作者简介]　孙君意(1984—), 男, 湖北十堰人, 华中师范大学电子信息工程专业、华中科技大学计算机科学专业(双学 位) 在读学生, 软件设计师, 研究方向为数据通信与移动开发。 图1　这4个图形可否一笔划出 第19卷第3期孙君意:图论在单词接龙中的应用 2　数学模型的建立 对于单词接龙的求解, 最易想出的方法莫过于穷举法, 在这些单词的全排列中若能找出一组满足接龙条件的组合即有解。然而, 如果用穷举法, N 个单词全排列共有N ! 种情况, 算法复杂度O (N ! ) , 显然穷举法是行不通的。笔者的思路是建立这样一个数学模型, 假设不区分字母的大小写, 可以把所有的英文字母看成是26个节点, 把每一个单词看作是一条有向边, 即弧。这样, 弧头就是单词的首字母, 弧尾就是单词的尾字母, 且弧头、弧尾必然都在A ～Z 这26个点当中。一组单词就可以构成一个节点数有限的有向图, 模型建立起来了, 而判断单词能否完成接龙的问题也就转化成了一个图论问题, 即判断一个有向图中是否存在欧拉回路或者欧拉路。而且由于图的点数最多为26个, 若经过合理地设计, 算法的复杂度可降到常数级。 可以对定理做一个简单地应用。“teeth ”, “teach ”,“happy ”, “yet ”这4个单词可以完成接龙, 即teeth —happy —yet —teach , 它们构成的有向图如图2所示。“old