通用离散物体的定义与其同构判定研究.pdfVIP

自动化理论、技术与应用 通用离散物体的定义及其同构判定研究’ 王敏 (广东外语外贸大学信息学院，广州510006) 摘要：对于离散物体给出一个通用定义．使得人量存在的再种不同娄型的离散物体有r统一的描述方式；并进而 提ifj用标准型作为解决通用离散物体的同构判定、数据库存锗等问题的一种可行方案。 关键词：通用离散物体，H构，标准型 andcanonical ResearchOn discrete forms general objects WANGMin Studies,School GuangdongUniversityoJ‘Foreign oflnformatics, P足China 510006 Guangzhou Abstract：Adefinitionhasbeen todefineenoilllOUSdiscrete ofdifferentCanonicalforms general presented objects types to for hasbeen to discrete selweas∞indexdatabase．。 presenteddistinguishisomorphismofgeneralobjects，and discrete form words：Geneml Key objects，isomorphism，canonical 1引言 图同构(graph 的应用价值。而且【程应川上的许多闯题，都可以简化为闰同均的判定问题。幽同构问题尚无多项式时间 复杂度的算法【5l，但有许多经验性的算法，能够在普遍的情况卜|，有效率地解决图同构问题。澳丈利Ⅱ的 Brendan D．McKay提出的nauty算法16儿7JMJ，就是其中非常经典的一例。 除图外，还有数量庞大的其它类型的离散物体有待进行同构判别。如，组台数学和编码论中广泛应用 的组台设计就是典型的一类[9100lI“I；化学和生命科学中用的分子结构也可抽象成离散物体进行定义f”II”I。 这些离散物体有一些共同的特点：它们通常具有人量的同构体，并且没有通用的命名方式。即：当研 究者对某一个离散物体进行研究时，不能对其准确进行命名。这导致我们无法使用数据库对通用离散物体 进行管理，多个研究者可能对丁同一个离散物体(或其同构体)进行重复的研究，却不能共享研究成果。 而人量同构体使得人们很难判断任意两个离散物体是否同构，也就无法知道它们是否具有相同的届性。 因此，要进一步解决通用离散物体的同构判定、数据库存储等问题，首先需要一种通Hj定义，使得人 量不同类型的离散物体能够_}{j同一种方式进行定义。因此，作者提山了如F的通_l}J离散物体定义方法。 2通用离散物体的定义 首先我们扶最简单的无向图开始进行定义。在下面的描述中．为方便起见。用{a’b}表示一个包含a 和b两个元素的集合，用(a，b)表示一个包含a和b两个元素的序列，用s。表示一个对称群。c。表示一 个循环群。{idl表示一个平凡群，G表示任意置换群。 2．1无向图的定义 定义1：无向圈 (1)点集V：={v1。v2…，)为点v1，v2等的集合，且V≠NULL ·广东外语外贸大学引进人才科磅怕动基金