BB图的枚举特征
王振宇
武汉数字工程研究所,武汉,430074
摘要：在并发程序复杂性度量研究中,我们曾定义了一种 B 图,用以作为 Ada 并发程序中一种会合关系的模型.我们将B 图推广到BB图.n 节点 BB 图是在 n 个节点的串联树上再添加若干条边,其约束条件是:每个节点的入度不大于二,每个节点的出度也不大于二.给出BB图的若干若干枚举特征,指出同第二类Stirling数的密切关系.
关键词：并发程序复杂性度量B图BB图第二类Stirling数
分类号：TP311(计算技术、计算机技术)
论文发表日期：2006-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：3( 21-23 )
英文信息