完全三部图K2,2,r,r=4,5,6,7,不是U3LC图

M.Ghebleh和E.S.Mahmoodian在其开放问题中提出了完全三部图K2,2,r,r=4,5,6,7,是U3LC图还是具有M(3)性质这样一个问题。在这篇文章中我们叙述并证明了图K2,2,7具有M(3)性质这样一个主定理,进一步证明了图K2,2,r,r=4,5,6,也具有M(3)性质。     

唯一3-列表可染图Kr,s,t和K1*r,s的若干性质

2001年Ghebleh M和Mahmoodian E S针对完全多部图这一重要图类（除了其中9个图）,特征化了U3LC图。同时他们对这9个图提出了开放问题：查证图K（2,2,r）,r=4,5,6,7,8,K（2,3,4）.K（1＊4,4）,K（1＊4,5）和K（1＊5,4）不是U3LC图。鉴于此开放问题中待查证的图或是完全三部图K（r,s,t）或是完全多部图K（1＊r,s）,笔者从反面入手研究U3LC完全三部图K（r,s,t）和完全多部图K（1＊r,s）的性质,以期实现最终利用这些性质彻底解决如上开放问题,完善Ghebleh M和Mahmoodian E S的结果。     

3r阶循环群的最小图

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

K1＊4，5，K1＊4，4，K2，2，4和K2,2,5不是U3LC图

笔者针对M.Ghebleh和E.S.Mahmoodian的一个关于列表染色图的猜想做了部分解决,证明了K1*4,5,K1*4,4,K2,2,4和K2,2,5不是U3LC图,而且它们的m数都是3.     

两类2pq阶3度Cayley图的正规性

有限群G的一个Cayley图X=Cay(G,S)称为正规的,如果右乘变换群R(G)在图X的全自同构群Aut(X)中正规.决定Cayley图Cay(G,S)是否正规,对于确定它的自同构群的结构有重要意义.设p,q为奇素数,q相似文献   

2循环图的同构

设n>1是整数,K(?)N={1,…,n-1}.以V={V_0,V_1,…,v_(n-1)}为点集E={V_iV_j|j-i∈K}为有向边集的图称为循环图,记作G_n(K).证明了当K,H(?)N|K|=|H|=2时,G_n(K)≌G_n(H)蕴含存在自然数r∈N,满足(r,n)=1,使得rK=H.     

三部图K(m,n,r)-A(|A|=2)的色唯一性

设G是简单图,用P(G,λ)表示图G的色多项式,令K(m,n,r)表示完全三部图.证明了1)当3≤m≤n≤r时,令s=1/√6√(n-m)2 (r-n)2 (r-m)2 12,若m n r＞2√3s 3s2,则K(m,n,r)-A(|A|=2)是色唯一图;2)当m≥4时,K(m,m,m)-A,K(m,m,m 1)-A,K(m,m 1,m 1)-A,(|A|=2)都是色唯一图;3)设n,k为非负整数,则当n＞k2 2√k2 6 k 2时,K(n-k,n,n)-A;当n＞k2 2√k2 6-k/3 2时,K(n,n,n k)-A;当n＞2√3k2 6 k2 2时,K(n-k,n,n k)-A(|A|=2)均为色唯一图.     

(K1,4;2)-图的闭包

定义一个新的图类(K1,p;q)-图(p≥3,q≥1),它是无爪图的推广.证明了(K1,p;q)-图的一个重要性质;(K1,p;q)-图必为(K1,p 1;q 1)-图,并给出了以下结论:设G是T3-free或K1∨P4-free的(K1,4;2)-图,则1)cl(G)仍为(K1,4;2)-图;2)cl(G)是唯一确定的.     

几乎正则多部竞赛图的Hamilton性

讨论了部数为3和4的几乎正则多部竞赛图的Hamilton性质,证明了如下结论:(1)几乎正则非平衡4部竞赛图T,如果r≥8(其中r=max{|Vi‖i=1,2,3,4}),并且T有一个圈因子,则T是Hamilton的;(2)几乎正则平衡3部竞赛图T,如果r≥10,r≠11(其中r=max{|Vi‖i=1,2,3}),并且T有一个圈因子,则T是Hamilton的;(3)几乎正则非平衡3部竞赛图T,如果r≥18,r≠19,并且T有一个圈因子,则T是Hamilton的.     

关于完全s部整图

F.Harary和A.J.Schwenk(Lecture Notes in Mathematics.Berlin:Springer-Verlag,1974,406:46-51.)提出了整图的概念,即当无向图G的邻接矩阵A的特征值都是整数时,G称为整图.目前,人们已经研究了n类简单整图的性质,并得到了一些有趣的结果.运用线性代数方法证明了两个结论:设r,r1,r2,s是正整数,那么:1)完全s部图K(r,r,…,r)是整图;2)完全2部图K(r1,r2)是整图的充要条件是r1r2为完全平方数.     

最大外可平面图的树图

通过对最大外可平面图和Ｋ临界图的研究给出三个主要结论（１）最大外可平面图的生成树有２＾ｐ－３＊３棵。（２）最大外可平面图的树图ＧＴ,β（ＴＧ）≥ｐ＋１。（３）临界图Ｇ,当Ｋ（Ｇ）＝１时,树图ＧＴ是平凡图,当Ｋ（Ｇ）＝２时,对图ＧＴ是ｐ图。     

（g，f，k）临界图的一个充分必要条件

设G是-个简单图,g和f是两个定义在V（G）上的整数值函数,且对所有的x∈V（G）都满足g（x）≤f（X）．如果删除G的任何k个顶点后,图G的其余部分含有-个（g,f）因子,那么称图G为一个（g,f,k）-临界图．本文给出了-个图是（g,f,k）-临界图的-个充要条件,并对这些奈件的应用作了讨论。进-步,本文研究了（g,f,k）-临界图的性质．     

有限图的约化及其连通性

通过复杂图的邻接矩阵的变换,给出了有限图的约化图的邻接矩阵的概念,并在此基础上证明了有限图与其约化图的连通性是一致的,同时给出了任意有限图连通性判定的约化算法。      

有限图的约化及其连通性

通过复杂图的邻接矩阵的变换，给出了有限图的约化图的邻接矩阵的概念，并在此基础上证明了有限图与其约化图的连通性是一致的，同时给出了任意有限图连通性判定的约化算法。     

完全偶图的定向图

完全偶图是具有二分类（X,Y）的简单偶图，其中X的每个顶点与Y的每个顶点相连，若｜X｜=m,｜Y｜=n，则这样的图记为K_m,n。本文主要研究了Kn,n的定向图。证明了如下结论：对于非负整数a和b，若存在满足每个顶点的入度是a或者是b的一个Kn,n的定向图，则存在非负整数s和t满足方程s+t=2n和as+bt=n2。进一步，对于满足特定条件的非负整数a，b和n，存在K_n,n的定向图使得每个顶点的入度非a即b。     

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…     

基于四元数图神经网络的知识图谱嵌入

针对当前大多数知识图谱嵌入方法对实体和关系的表示能力低、难以处理复杂关系的问题,提出一种基于四元数图神经网络的知识图谱嵌入方法,用于解决知识图谱的链路预测问题。该方法为了包含更丰富的关系信息,将四元数引入到知识图谱嵌入中对实体和关系建模,并考虑两者之间的共现关系。模型利用勒维图变换将知识图谱中的实体和关系转换为图网络中的节点,采用两者的共现关系构建图中的边;将四元数图神经网络(quaternion graph neural networks, QGNN)作为编码器模块,学习图节点的四元数嵌入;利用四元数空间内的哈密顿乘积构造评分函数对生成三元组进行排序。实验结果表明,所提模型能够很好地捕捉到实体与关系之间潜在的相互依赖关系,在知识图谱嵌入方面优于现有的嵌入模型。     

关于奇优美图及奇强协调图的一点注记

讨论了奇优美图及奇强协调图的必要条件,证明了完全偶图Km,n是奇优美图及奇强协调图。     

关于简单图是Hamilton图的若干判定定理

寻找一个图是Hamilton图的充要条件一直是图论中不断探索的重要课题,本文对Hamilton问题进行了较深入的研究和讨论,给出了简单图是Hamilton图的若于判定定理及其证明。