OBDD(有序二元决策图)是一个有根的有向无环图 [22] 。可以用布尔函数表示。
基于57个网页-相关网页
在第1阶段,采用有序二元决策图(ordered binary decision diagram,OBDD)表示法来降低解空间;在第2阶段,利用安全分析等工具在收缩后的解空间内计算最优的分区方案。
基于10个网页-相关网页
简化有序二元决策图 ROBDD
归约有序二元决策图 reduced ordered binary decision diagram
有序二元决策图
Ordered binary decision graph
以上为机器翻译结果,长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动