-
题名一类链状图的枚举特征
- 1
-
-
作者
王振宇
-
机构
武汉数字工程研究所
-
出处
《数学物理学报(A辑)》
CSCD
北大核心
2010年第5期1248-1253,共6页
-
文摘
在并发程序复杂性度量研究中,作者曾定义了所谓B图,用以作为Ada并发程序中一种会合关系的模型.该文研究B图的一种特殊情况—BB图,一类链状图.n节点BB图是在n个节点、高为n-1的有向树上再添加若干条边,其约束条件是:每个节点的入度不大于二,每个节点的出度也不大于二.该文给出BB图图的若干若干枚举特征,并指出这些特征同第二类Stirling数的密切关系.
-
关键词
并发程序复杂性度量
链状图
第二类Stirling数.
-
Keywords
Concurrent program complexity metrics; Chain-like graph; Stirling numbers of second kind;
-
分类号
O157.5
[理学—基础数学]
-
-
题名链状卡塔型苯图的反强迫数
- 2
-
-
作者
蒋晓艳
-
机构
惠州学院数学系
-
出处
《五邑大学学报(自然科学版)》
CAS
2015年第3期1-4,共4页
-
基金
国家自然科学基金资助项目(11226286)
惠州学院博士启动基金资助项目(C5110208)
-
文摘
设G是一个有完美匹配M的图.若G的边集S满足G-S有唯一完美匹配,则称S为反强迫集.包含边数最少的反强迫集叫做极小反强迫集,其边的数目叫做图G的反强迫数.DamirVukiěevi?等曾给出链状卡塔型苯图的反强迫数,但我们发现该结论存在问题,本文修正了并完善了链状卡塔型苯图的反强迫数.
-
关键词
链状卡塔型苯图
完美匹配
反强迫数
-
Keywords
cata-condensed benzenoids
perfect matching
anti-forcing number
-
分类号
O157.5
[理学—基础数学]
-