如何理解约束偏序
How to understand the partial ordering by constraints
约束偏序规则定义为：
[temp.constr.order#1]
A constraint P subsumes a constraint Q if and only if, for every disjunctive clause Pi in the disjunctive normal form of P, Pi subsumes every conjunctive clause Qj in the conjunctive normal form of Q, where
- a disjunctive clause Pi subsumes a conjunctive clause Qj if and only if there exists an atomic constraint Pia in Pi for which there exists an atomic constraint Qjb in Qj such that Pia subsumes Qjb, and
- an atomic constraint A subsumes another atomic constraint B if and only if A and B are identical using the rules described in [temp.constr.atomic].
我不知道如何获得给定约束的析取和联合范式。此外，我对第二个项目符号有些困惑。
问题 1：
给定一个名为 P 且格式为 A ∧ B 的约束和另一个名为 Q 且格式为 A 的约束，其中 A 和 B 都是原子约束。对于约束 P 它的析取范式是什么？然而，Q 的合取和析取范式是什么？
问题 2：
Pi和Qj是否取自其选/连范式对应位置的从句？特别是，当且仅当存在原子约束 Pia in Pi 时如何理解句子，其中存在原子约束 Qjb 在 Qj 中使得 Pia 包含 Qjb ？如何解释 Qi 具有 Pi 没有的额外原子约束的情况？ P 包含 Q 吗？你能给出一个阐述过程来解释为什么A ∧ B包含A吗？
A ∧ B和A都已经是析取范式和合取范式
在这种情况下，P中有一个分离从句，Q中有一个连接从句。
然后您检查 P0 (A ∧ B) 的任何子条款是否包含 Q0 (A) 的任何子条款，它包含 (A包含 A).
约束偏序规则定义为：
[temp.constr.order#1]
A constraint P subsumes a constraint Q if and only if, for every disjunctive clause Pi in the disjunctive normal form of P, Pi subsumes every conjunctive clause Qj in the conjunctive normal form of Q, where
- a disjunctive clause Pi subsumes a conjunctive clause Qj if and only if there exists an atomic constraint Pia in Pi for which there exists an atomic constraint Qjb in Qj such that Pia subsumes Qjb, and
- an atomic constraint A subsumes another atomic constraint B if and only if A and B are identical using the rules described in [temp.constr.atomic].
我不知道如何获得给定约束的析取和联合范式。此外，我对第二个项目符号有些困惑。
问题 1：
给定一个名为 P 且格式为 A ∧ B 的约束和另一个名为 Q 且格式为 A 的约束，其中 A 和 B 都是原子约束。对于约束 P 它的析取范式是什么？然而，Q 的合取和析取范式是什么？
问题 2：
Pi和Qj是否取自其选/连范式对应位置的从句？特别是，当且仅当存在原子约束 Pia in Pi 时如何理解句子，其中存在原子约束 Qjb 在 Qj 中使得 Pia 包含 Qjb ？如何解释 Qi 具有 Pi 没有的额外原子约束的情况？ P 包含 Q 吗？你能给出一个阐述过程来解释为什么A ∧ B包含A吗？
A ∧ B和A都已经是析取范式和合取范式
在这种情况下，P中有一个分离从句，Q中有一个连接从句。
然后您检查 P0 (A ∧ B) 的任何子条款是否包含 Q0 (A) 的任何子条款，它包含 (A包含 A).