2-重自补图和有向自补图的几个性质

本文讨论了2-重自补图和有向自补图的连通性以及2-重自补图的直径,同时以自补置换作为工具研究了当2-重自补图或有向自补图被分成两个连通分支后,这两个连通分支之间的边数与顶点数之间的关系.     

自补图同构的必要条件

本文通过对自补图的4阶和5阶自补子图个数的讨论,给出了两类自补图同构的必要条件。在文章的最后讨论了将这些条件扩充成为自补图同构判断的充要条件的可行性。     

8个顶点的所有10个自补图

本文应用度序列的方法及自补置换圈的有关结果,构造出了8个顶点的全部10个自补图。     

自补图的构造理论与构图

提出并证明了几个自补图的构造命题，探讨了自补图的构造方法。完成了９个点以内的所有自补图构图，并对１２个点的自补图的构图进行了初步探讨。     

论自补图的周长(Ⅰ)

本文利用自补图的性质和自补图的构造方法证明了阶数 p=5,8、9的所有自补图的周长最大的为 p,最小的为 p—2,它们完全由自补图的度序列和自补图的构造所确定。     

论自补图的周长(Ⅱ)

本文利用自补图的性质和自补图的构构[1]证明阶数p≌0,1(mod4)>9的自补图其周长最大为 p,最小为 p—2.     

A·Kotzig关于自补图猜想的新结果

主要给出：Ｇ≌ｆＧ,ｆ＝π１π２…πｍ,π１,π２,…,πｍ是ｆ互不相交的轮换,则｜πｉ｜＝１或｜πｉ｜＝０（ｍｏｄ４）。     

自补图的连通度研究

研究了非平凡自补图,给出了自补图的最大度与最小度的关系,提出了自补图连通度的公式.上述两项结论,以4阶图和5阶图为例,进行了分析讨论.     

5个顶点所有136个有向自补图的构造

Ｒｅａｄ在１９６３年就算出５个顶点的有向自补图共有１３６个，但这些图一直未被全部构造出来，本文应用２－重自补图的结果，构造出了１３６个有向自补图．     

一类变换图的同构问题

利用度序列的概念,证明变换图G~(--+)与H_n~(--+)同构,当且仅当G与_n同构.以及在G连通的条件下,G~(--+)与C_n~(--+)同构,当且仅当G与_n同构.     

Algorithm of graph isomorphism with threedimensional DNA graph structures

ResearchonDNAcomputingwasinitializedin1994 ,whenAdleman[1] proposedamethodofsolvingasmallinstanceoftheHamiltonianPathproblembyalaboratoryexperimentinvolvingDNAmolecules .Later,Lipton[2 ] demonstratedhowalargeclassofNP completeproblemscouldbesolvedbyencodingtheprobleminDNAmolecules .Inparticular ,LiptonshowedonefamousNP problem ,theso called“satisfiability”problem (SAT)andsubsequentlytheotherNP problemscouldbeencodedandsolvedusingmolecules .TheadvantagesofDNAcomputingareitsmassivepa…     

Algorithm of graph isomorphism with three dimensional DNA graph structures

An algorithm for solving the graph isomorphism problem with 3-D DNA structures is proposed in this paper. The karmed branched junction molecules are used to code k-degree vertices. Double stranded molecules are used to code edges. Then the molecules are mixed in a tube to be ligated. The result can be detected by gel electrophoresis. The time complexity of the algorithm is O(n2), where n is the number of vertices of the graph.     

关于不含3正则子图图的最大边数

对无自环、无重边的简单图，Ｅｒｄｏｓ和Ｓａｕｃｅｒ在１９７４年提出如下问题：设 ｆ（ｐ） 是ｐ个顶点的不含３正则子图图的最大可能边数，确定ｆ（ｐ）．本文对ｐ ≥４、４≤ｐ≤４０给出了ｆ（ｐ）的下界，对４ｐ刁≤１６给出了ｆ（ｐ）的值，并对４≤ｐ ≤１５得出了所有的极图．     

论自补图的构造(Ⅱ)

通过剖析4n阶和4n+1阶自补图之间的关系,应用度序列的方法,以4n阶自补图为基础,给出了构造4n+1阶自补图的递推方法。     

Almost every graph has a fixed edge

An edge e of a graph G is called a fixed edge if G-e+e′ G implies e′=e, and an isomorphic fixed edge if G-e+e′ G implies that there exists an automorphism of G-e, which maps the ends of e to the ends of e′. It is proved that almost every graph is with all its edges as fixed edges and isomorphic fixed edges, and it is conjectured that all graphs contain isomorphic fixed edges.     

Design Pattern Mining Using Graph Matching

The identification of design pattern instances is important for program understanding and software maintenance. Aiming at the mining of design patterns in existing systems, this paper proposes a subgraph isomorphism approach to discover several design patterns in a legacy system at a time. The attributed relational graph is used to describe design patterns and legacy systems. The sub-graph isomorphism approach consists of decomposition and composition process. During the decomposition process, graphs corresponding to the design patterns are decom-posed into subgraphs, some of which are graphs corresponding to the elemental design patterns. The composition process tries to get sub-graph isomorphism of the matched graph if sub-graph isomorphism of each subgraph is obtained. Due to the common structures between design patterns, the proposed approach can reduce the matching times of entities and relations. Compared with the existing methods, the proposed algorithm is not linearly dependent on the number of design pattern graphs.