Graph-Based Algorithm for Boolean function Manipulation[笔记]
Graph-Based Algorithm for Boolean function Manipulation[笔记]
使用一种有向无环图(DAG)BDD的数据结构表示布尔函数,同时在该数据结构基础之上,提供一组相应的操作算法。
1. 布尔函数
应用:数字逻辑设计与验证,人工智能模型校验,组合数学。
难点:布尔函数应用在许多问题上需要解决NP-compelte 或者 co NP-complete的问题
方案:采用一种更加聪明的表示方式,同时基于该表示方式的操作算法,避免指数级的计算
一些传统的表示方式:
原创
2021-05-18 09:20:54 ·
974 阅读 ·
3 评论