利用OBDD编码的快速二值图算法

• 作者: 吕关锋 徐旭东 苏开乐 陈清亮
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: 有序二元判定图 二值图 集合运算
• 年，卷（期）: 2009,（3）
• 所属期刊栏目: 学术研究
• 页码范围: 303-308
• 页数: 6页
• 分类号: TP301.6
• 字数: 824字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.2009.03.008

摘要

对利用有序二元判定图OBDD编码二值图像进行了研究,该方法可以节约大量的空间,并在此基础上,提出了各种二值图的算法,包括解码和集合运算(并、交、差、对称差、包含和互补.实验结果表明这种基于OBDD编码的方法比现有的二值图编码方法效率更高.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	苏开乐	北京大学高可信软件技术教育部重点实验室	8	82	5.0	8.0
2	陈清亮	暨南大学计算机科学系	10	50	5.0	7.0
3	吕关锋	北京工业大学计算机学院	7	113	4.0	7.0
4	徐旭东	北京工业大学计算机学院	21	165	7.0	12.0