共查询到19条相似文献,搜索用时 50 毫秒
1.
2.
3.
4.
5.
本文不使用“块次矩阵”的方法,获得一个强正则图是17阶强正则自补图的充要条件:1)p=17,k=8,λ=3,=4;2)对于u∈V(G),u的邻点导出子图为8阶3度正则图,且u的不邻点导出子图为8阶4度的正则图.由此证明17阶强正则自补图是唯一的,从而将文献[2]中的结论k≥4改进为k≥6. 相似文献
6.
7.
对于给定的图H,若存在可图序列π=(d1,d2,…,dn)的一个实现包含H作为子图,则称π为蕴含H-可图的.本文给出了可图序列π=(d1,d2,…,dn)蕴含K3∪K4可图的一个充分条件,其中K3∪K4是恰好有一个公共顶点的K3和K4的并图. 相似文献
8.
尹建华 《黑龙江大学自然科学学报》2009,26(1)
设p≥1,pK2是p个K2的不相交的并,π=(d1,d2,…,dn)是一个可图序列且n≥2p.如果π有一个实现包含pK2作为子图(即π有一个实现包含一个p条边的匹配),则π称为是蕴含pK2-可图的.给出了蕴含pK2-可图序列π的一个刻划. 相似文献
9.
本文刻划了当n≥6时,蕴含图K_3.3-e的可图序列,其中K_3.3-e为完全二部图K_3.3删去一条边e所得到的图. 相似文献
10.
对于给定图Г,称可图序列π=(d1,d2,…,dn)是蕴含Г-可图的,若存在π的一个实现以Г为其子图.本文刻划了蕴含H的可图序列,其中H为剖分完全图K4的相邻两条边所得到的剖分图. 相似文献
11.
一个排课问题对应一个顶点加权偶图G(XUY,E),每个顶点V∈XUY都具有一个正整数权m(v),令ε=|E|,△_m=max{[d(v)/m(v)]|v∈XUY}。本文将证明:一张课表的最少课时数为△_m;任一节课中同时上课的班级数(即一个课时内所需教室数)可使其介于[ε/△_m]和[ε/△_m]之间。 相似文献
12.
本文给出一种求图的全部生成树的新方法,这种方法较迄今的方法更加简便易行,更加易于上机求解,是一种与计算机代数发展相适应的好方法. 相似文献
14.
针对目前体系结构描述语言对体系结构动态行为描述方面的不足而难以生成测试路径问题,提出一种基于超边图文法的软件体系结构测试技术,首先用超边图文法表示软件体系结构,同时用实体语言EL描述体系结构,然后根据EL描述导出接口互联图IIG,再根据测试覆盖准则,生成测试路径,最后以Client/Server为例验证该方法的有效性. 相似文献
15.
16.
提出了一种求连通图全部树的方法,通过对Wang-代数的改进,在生成连通图的全部树时,无需进行环和运算,从而减少算法的时间复杂度;同时能求得图的全部树,并且能保证同一个树不会重复产生,克服了传统Wang-代数法求连通图的全部树时产生的冗余项问题.算例表明方法的正确性和可行性,可有效地应用于复杂电网络的拓扑分析. 相似文献
17.
“■”运算在逻辑代数和图论中定义形式不同,运算性质却类似,原因是对于“■”,逻辑函数集合与某个图的集合同构. 相似文献
18.
一个简单图G=(V,E)是k-优美的(k≥1为整数),如果存在单射f:V(G)→{0,1,2,…,|E|+k-1}使得对所有的边uv∈E(G),由f*(uv)=|f(u)-f(v)|导出的映射f*:E(G)→{k,k+1,…,|E|+k-1}是双射.若G是简单图,且在G的所有相邻的两个顶点之间都加入一个顶点,则所得到的图称为G的细分图,该文证明了当λ≥2,n≡0(mod2)时,Cλ(Pn)的细分图Cλ(Pn)是k-优美图. 相似文献