关于图的同构不动边

图G的一条边e称为G的同构不动边,如果G—e+e’≌G当且仅当e’=e.若e=uv是G的同构不动边,那么对G—e的任意自同构映射π有π({u,v})={u,v}.图的同构不动边反映了二元关系系统中的定性关系,改变这种关系将改变系统的结构.这种关系的存在对系统的重构有重要的意义.本文中猜想:几乎所有的图含同构不动边.为支持这个猜想,列出了所有不含同构不动边的树形图和单圈图.     

极大3等周边连通图的充分条件

k等周边连通度是一个比边连通度更可靠的网络可靠性参数。 连通图G的k等周边连通度定义为γk(G)=min{［X,X-］:XV(G),X≥k,X-≥k},其中X-=V(G)＼X。令βk(G)=min{［X,X-］:XV(G),X=k}。图G是极大k等周边连通的如果γk(G)=βk(G)。令G是一个阶至少为6的连通图。本文证明了如果对于G中任意一对不相邻的顶点u,v,当u和v都不在三角形中时满足N(u)∩N(v)≥2;当u和v中至少有一个在三角形中时满足N(u)∩N(v)≥5,那么G是极大3等周边连通的。     

图是极大3限制边联通的充分条件

设S是连通图G中的一个边子集。若G S不连通且它的每个连通分支的阶至少为k,则称S是G的一个k限制边割。图G的最小k限制边割的边数称为G的k限制边连通度,记为λκ(G)。定义ξκ(G)=min{|［X,X］|:|X|=k,G［X］连通},其中X=V(G)＼X。若λk (G)=ξk(G),则称G是极大k限制边连通的。设G是一个围长至少为5的λ3 连通图。本文证明了若G中不存在5个点u1,u2,v1,v2,v3使得d(ui,vj)≥3(i=1,2;j=1,2,3),则G是极大3限制边连通的。     

关于强边着色猜想的最优图问题

著名图论专家Erd(o)s和Ne(s)et(r)il对图的强边着色数上界提出了一个猜想:当△为偶数时,x's(G)≤5/4△2;当△为奇数时,x's(G)≤1/4(5△2-2△+1),他们给出了当△=4的时的最优图.此处构造了一族图,并以此证明了当△为偶数时,如果Erd(o)s和Ne(s)et(r)il提出的强边着色猜想成立,则猜想中的上界是最优的.     

图中顶点子集的边连通度与最优分级边连通图的构造问题

G =(V ,E)是无向连通图 ,无环允许有重边 .S是V的至少包含两个顶点的子集 ,S的边连通度λG(S)被定义为使S中的顶点不属于同一连通分支所需去掉的最少边数 .给定集合V和V的一个划分V =V1∪V2 ∪…∪Vr(|r|≥ 1,|V1|≥ 2 )以及正整数序列k1>k2 >… >kr≥ 2 .记Si=V1∪V2 ∪…∪Vi,1≤i≤r.构造一个连通图G =(V ,E)满足 :λG(Si)≥ki(1≤i≤r)且边数 |E|最小 .这种图G称为与所给划分和正整数序列相对应的最优分级边连通图 .在给出顶点子集的边连通度概念的基础上 ,本文提出并讨论了有关最优分级边连通图的构造问题     

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.     

关于图及其主子图的自同构群的注记

目的证明Stephen G.Hartke和Hannah Kolb在2009年提出的2个有限群删减关系的相关结论。方法根据有限群与代数图论的相关理论用演绎法证明的方法。结果完全严格地证明了有限群删减关系的相关结论。结论不仅证明了相关结论,而且对Stephen G.Hartke和Hannah Kolb给出的构图方法进行优化,使构造出的图阶数相对较小。     

图的谱与边独立数的一点注记

讨论图的谱与边独立数的关系问题 .利用矩阵特征值的Cauchy插入定理和相关方法 ,得到了由图的谱所确定的关于图的边独立数的紧的下界     

完全图和星的合成的点可区别正常边染色(英文)

首先,给出了完全图K_p和星S_q的合成的点可区别正常边色数的一个上界:当p≥2,q≥4时,上界是pq+1.再利用正多边形的对称性以及组合分析的方法来构造染色,分别得到了当p=2,q≥4;p≥3,q=4;p是偶数且p≥4,q=5;pq是奇数且p≥3,q≥5时,完全图K_p和星S_q的合成的点可区别正常边色数.     

图的集合边色数

给出了集合边色数的定义。运用结构图论的方法,给出了集合边色数的下界以及图与其顶点删除子图、边删除子图的集合边色数的关系。     

关于半二面体群边传递的图

运用图的自同构理论,获得了关于半二面体群边传递的图Г的完全分类.     

一类结合代数商模的同构

刻划一类商模序列的结构:每个商模M(n1,…,nλ)/M(n1,…,nλ)+都同构于不可约模M2,每个商模的自同构群AutM(n1,…,nλ)/M(n1,…,nλ)+均与C*同构,其中(n1,…,nλ)∈Zλ≥0.     

完全图K_n中边不重的3圈数

设完全图Kn 中边不重的 3圈数的最大值为c(n ,3) ,证明了 { (n - 1) (n - 2 )6 }≤c(n ,3)≤ [n[n - 12 ]3 ],当n≡ 1,2 ,3(mod　 6 )时 ,c(n ,3) =[n[n - 12 ]3 ],并给出了一个得到Kn 中 { (n - 1) (n - 2 )6 }个边不重的 3圈的方法 ,其中n∈ { 3,4,5 ,… } .     

一类变换图的同构问题

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

自补图的性质

主要讨论了自补图的结构性质,利用度序列概念及Erdǒs和Gallai得到的度序列的一个结果,得到了自补图的若干新结果,为进一步构造自补图奠定了基础.     

3r阶循环群的最小图

设α(n)是自同构群与n阶循环群C(n)同构的图的最小顶点数,该文构造出群为C(3r)的具有α(3r)个顶点的边数最少的图,并证明了这样的图是唯一的.     

群自同构的不动点

引入群自同构不动点的概念,对群自同构不动点的性质,非单位元不动点的存在性等做了初步的探讨,得到了若干结果。     

若干图的Mycielski图的点可区别均匀边色数

简单图G的正常边染色f,若对于任意u,v∈V（G）,有C（u）≠C（v）,称,是图G的点可区别边染色,其中C（u）={f（uv）│uv∈E（G）}。若满足││Ei│—│Ej││≤1（i,j=1,2,…,k）,其中任意e∈Ei,f（e）=i（i=1,2,…,k）,称f是图G的点可区别均匀边染色。讨论了若干图的Mycielski图的点可区别均匀边染色。     

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.