本页使用了标题或全文手工转换

二元决策图

维基百科,自由的百科全书
跳到导航 跳到搜索

计算机科学中,二元决策图(英語:binary decision diagram, BDD),或译为二元判定图,是被用来表达一个布尔函数的一种数据结构

延伸阅读[编辑]

外部链接[编辑]

Available OBDD Packages