1.simple-conjunction vs. decomposability.
• similarities:都作用在or-node上,规定每个and-node的变元不相交(重复).
• difference:simple-conjunction规定DAG中的and-node的孩子结点都是叶子结点,满足simple-conjunction的表达式都满足flatness性质,即height<=2.decomposability则不规定and-node的孩子结点都是叶子结点.可以说simple-conjunction是更加严格的decomposability.
2.DNNF vs. DNF.
• properties
DNNF is decomposability.
DNF is flatness and simple-conjunction, and obtain decomopsability from simple-conjunction.
其实可以说 DNF ⊆ DNNF,DNF是更为严格的DNNF,即DNF是对height进行规定的DNNF.
• succinctness
DNF < DNNF
• queries
DNF and DNNF are satisfy the same queries: CO, CE, ME.
3.CE vs. SE vs. IM.
• CE: For formula Σ and cluse α,to test whether Σ╞α.
• SE: For two formulas Σ and Γ ,to test whether Σ╞Γ or Γ╞Σ.
• IM: For term βand formula Σ, to test whether β╞Σ.
4.P vs. NP
P problem: polynomial time turing machine,确定性图灵机问题
NP problem: non-deterministic plynomial time turing machine, 不确定性图灵机问题
一般NP问题指不存在多项式时间算法的问题。
5.Definition of succinctness, queries and transformations.
• succinctness: the ability of a language to represent information using little space.
• queries: operations returning information from a compiled form without changing it.
• transformations: operations modifying the compiled form.
6.P20.T12.(succinctness)为什么 DNNF !<=* CNF 可以推出 DNNF !<=* NNF? 和 d-DNNF, sd-DNNF又有什么关系?
结论:若一个语言 L !<=* L',则 L !<=* L'的父类语言;若一个语言 L !<=* L',则 L 的子集语言 !<=* L;
因为 CNF ⊆ NNF,所以 DNNF !<=* NNF。
又因为 sd-DNNF ⊆ d-DNNF ⊆ DNNF,所以 sd-DNNF !<=* CNF,sd-DNNF !<=* NNF; d-DNNF !<=* CNF,d-DNNF !<=* NNF.
7.P22.T14怎么推出 DNF !<= sd-DNNF, CNF !<= sd-DNNF… ?
因为 DNF !<= d-DNNF,CNF !<= d-DNNF,PI !<= d-DNNF, IP !<= d-DNNF
又因为在简洁性的关系中 sd-DNNF = d-DNNF,所以sd-DNNF与其他语言的简洁性关系应该与 d-DNNF一致
8.为什么 SE → EQ,不同 EQ !→ SE ?
Lemma A.10 Sentences Σ1 and Σ2 are equivalent iff Σ1 ╞ Σ2 and Σ2 ╞ Σ1.
例如:Sentences Σ1 and Σ2
(1)SE → EQ
测试 Σ1 ╞ Σ2 ,即执行SE操作,结果是true;并且测试Σ2 ╞ Σ1,结果也为true.
这是我们可以通过以上两个 SE操作的结果得出Σ1 ≡Σ2 的结论。
(2)!SE → !EQ
再测试Σ1 ╞ Σ2 ,这时结果是false,马上可以得出Σ1 !≡ Σ2
只要有一个句子不蕴含另一个句子,则相等关系就不成立。
(3)EQ → SE
由Lemma A.10可知只要两个句子相等则它们互相蕴含,即这时 EQ 可以推出 SE。
(4)!EQ !→ !SE
由Lemma A.10可知只要有任意一个句子不蕴含另外一个句子,则句子不等价。
比如此时Σ1 !╞ Σ2 ,则马上可得Σ1 !≡ Σ2 ,但是Σ2 ╞ Σ1
于是此时 EQ 不成立不能推出 SE。
9.P22.T16为什么 DNNF不满足VA ?
结论:
• 如果 L ⊆ L', L does not satisfy operation P, then L' also does not satisfy P.
• 如果 L ⊇ L',L satisfy operation P, then L' also satisfy P.
注:包含⊇ ;包含于⊆
因为 DNF 不支持VA操作,并且 DNF ⊆ DNNF,所以DNNF也不支持VA操作
10.MODS是否是命题的model集合?
目前讨论的结果认为MODS是命题公式的主析取范式。
model是命题公式的成真赋值集合。
11.P20.T20为什么 OBDD< 支持 SE ?
P12.
• If a language L satisfifies CO and is closed under negation and conjunction, then it must satisfy SE (to test whether ∆ ╞ Γ, all we have to do, by the Refutation Theorem, is test whether ∆ ∧ ¬Γ is inconsistent).
• If a language satisfifies VA and is closed under negation and disjunction, it must satisfy SE by the Deduction Theorem.
因为 OBDD< satisfies CO, ¬C and ∧BC,by the Refutation Theorem, OBDD< satisfies SE.
12.P24.T24为什么 PI 和 IP 都满足 SE ?
For sentences Σ and Γ:
因为 PI 满足 CE,若Σ和Γ都使用 PI 进行表示,则可对每个子句都是用CE 操作进行蕴涵测试,如果每个子句的蕴涵测试都为真,则Σ╞Γ。
IP同理。
综上 PI 和 IP 都满足 SE。
13.P27.T27 为什么 FBDD 不满足 SE ?
It is known that determining whether the conjunction of two FBDD formulas α1 and α2 is consistent is NP-complete (Gergov & Meinel, 1994b) Moreover, FBDD satisfifies ¬C. Since α1 ∧ α2 is inconsistent iff
α1 ╞ ¬α2, we can reduce the consistency test into an entailment test.
因为测试两个 FBDD 句子的合取项是否可满足是NP完全问题,而测试两个FBDD合取项是否可满足的测试与α1 ╞ ¬α2是否为真是充分必要条件,所以FBDD不能满足句子蕴涵测试,即不满足SE。