拓扑同构的计算机自动判定.pdfVIP

第３０卷第１期　　　 计算机应用与软件 Ｖｏｌ３０Ｎｏ．１ ２０１３年１月　　 ＣｏｍｐｕｔｅｒＡｐｐｌｉｃａｔｉｏｎｓａｎｄＳｏｆｔｗａｒｅ Ｊａｎ．２０１３ 拓扑同构的计算机自动判定 史 晓 影 （渭南师范学院　陕西渭南７１４０００） 摘　要　　拓扑同构问题是周转轮系机构的结构类型综合及优选的重要影响因素。针对现有判定算法的复杂性、局限性，且不能用 计算机自动实现的缺陷，提出可对任意拓扑图实现同构判定的新算法，并成功地开发了一款软件，实现了拓扑的自动判定，最后给出 了软件的开发过程。实例证明该软件实现的自动判定准确、简单、高效。 关键词　　轮系拓扑　同构　自动判定　缩微变换 中图分类号　ＴＰ３　　　　文献标识码　Ａ　　　　ＤＯＩ：１０．３９６９／ｊ．ｉｓｓｎ．１０００３８６ｘ．２０１３．０１．０５３ ＡＵＴＯＭＡＴＩＣＤＥＴＥＲＭＩＮＡＴＩＯＮＯＦＴＯＰＯＬＯＧＹＩＳＯＭＯＲＰＨＩＳＭＷＩＴＨＣＯＭＰＵＴＥＲ ＳｈｉＸｉａｏｙｉｎｇ （ＷｅｉｎａｎＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙ，Ｗｅｉｎａｎ７１４０００，Ｓｈａａｎｘｉ，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ　　Ｔｏｐｏｌｏｇｉｃａｌｉｓｏｍｏｒｐｈｉｓｍｉｓｓｕｅｉｓａｎｉｍｐｏｒｔａｎｔｆａｃｔｏｒｆｏｒｉｎｔｅｇｒａｔｉｏｎａｎｄｏｐｔｉｍｉｓａｔｉｏｎｏｆｓｔｒｕｃｔｕｒａｌｔｙｐｅｓｏｆｅｐｉｃｙｃｌｉｃｇｅａｒｔｒａｉｎｓ． Ｔｈｅｐａｐｅｒｐｒｅｓｅｎｔｓａｎｅｗｉｓｏｍｏｒｐｈｉｓｍｄｅｔｅｒｍｉｎａｔｉｏｎａｌｇｏｒｉｔｈｍｆｏｒａｒｂｉｔｒａｒｙｔｏｐｏｌｏｇｉｃａｌｍａｐｉｎｌｉｇｈｔｏｆｔｈｅｄｒａｗｂａｃｋｓｏｆｅｘｉｓｔｉｎｇａｌｇｏｒｉｔｈｍｓ ｗｈｉｃｈａｒｅｃｏｍｐｌｅｘａｎｄｌｉｍｉｔｅｄａｎｄｅｖｅｎｃａｎｎｏｔｕｓｅｃｏｍｐｕｔｅｒｔｏａｕｔｏｍａｔｉｃａｌｌｙｉｍｐｌｅｍｅｎｔ．Ｗｅｈａｖｅｄｅｖｅｌｏｐｅｄａｋｉｎｄｏｆｓｏｆｔｗａｒｅ，ｉｔａｃｈｅｉｖｅｓ ａｕｔｏｍａｔｉｃｄｅｔｅｒｍｉｎａｔｉｏｎｏｆｔｈｅｉｓｏｍｏｒｐｈｉｃｔｏｐｏｌｏｇｙ．Ｉｎｅｎｄｏｆｔｈｅａｒｔｉｃｌｅ，ｗｅｓｈｏｗｔｈｅｓｏｆｔｗａｒｅｄｅｖｅｌｏｐｍｅｎｔｐｒｏｃｅｓｓａｓｗｅｌｌ．Ｐｒａｃｔｉｃａｌ ｅｘａｍｐｌｅｓｐｒｏｖｅｔｈａｔｔｈｅｓｏｆｔｗａｒｅｈａｖｅｔｈｅｓｕｐｅｒｉｏｒｉｔｙｏｆｃｏｒｒｅｃｔｎｅｓｓ，ｓｉｍｐｌｉｃｉｔｙａｎｄｅｆｆｉｃｉｅｎｃｙ． Ｋｅｙｗｏｒｄｓ　　Ｗｈｅｅｌｓｙｓｔｅｍｔｏｐｏｌｏｇｙ　Ｉｓｏｍｏｒｐｈｉｓｍ　Ａｕｔｏｍａｔｉｃｄｅｔｅｒｍｉｎａｔｉｏｎ　Ｍｉｃｒｏｆｉｌｍｆｒａｎｓｆｏｒｍ 论模型的建立过程及拓扑模型请参见文献［１］）按一定规律进 ０　引　言 行简化，使简化之后的拓扑仍保持原有要素。 １．１　拓扑缩微变换原则 图的同构判定问题是拓扑学研究中一个十分重要的议题。 拓扑同构指的是两个拓扑图机构完全相同，文献中现有的几种 缩微变换依据以下两个原则进行： ［２］ 太阳层微缩变换：在不同的行星单元体中，若相同编号的点 针对轮系拓扑同构的识别方法如下：Ｍａｄａｎ 提出了用最大代 码法解决同构判定问题，此方法规定一套系统的构件和构件之 表示同一性质构件，则将这些相同编号的点微缩为一点，且按行 间关系的代码，由代码构成的最小距离矩阵做为同构判定的依 星单元体从左到右的顺序将点从右向左微缩；若相同编号的点 据。其优点是可快速搜索所有可能的周转轮系，但其同构判定 表示不同性质构件，其间则以虚线相连