questions about a knowledge compilation map
1.simple-conjunction vs. decomposability.
• similarities:都作用在or-node上,规定每个and-node的变元不相交(重复).
• difference:simple-conjunction规定DAG中的and-node的孩子结点都是叶子结点,满足simple-conjunction的表达式都满足flatness性质,即height<=2.decomposability则不规定and-node的孩子结点都是叶子结点.可以说s...
原创
2020-08-03 20:10:57 ·
1403 阅读 ·
0 评论