集合论与复杂度问题的数学证明

1、证明对于h ∈HF，每个表示公式ϕ{h}都是可满足的，并且满足忠实性条件。

通过对 $ h \in HF $ 的阿克曼编码 $ N(h) $ 进行归纳，可以容易地证明每个 MLSP-公式 $ \phi{h} $ 是可满足的，并且也满足上述忠实性条件（FC）。即对于所有在 $ \phi{h} $ 中出现 $ x{h’} $ 的遗传有限集 $ h $ 和 $ h’ $，有 $ \models \phi{h} \rightarrow x{h’} = {h’} $。

2、证明对于任意遗传有穷集（HF）上的全序关系 ≺，若对于所有的 h, h′ ∈ HF 满足条件 1. rk h′ < rk h 推出 h′ ≺ h，以及条件 2. [(rk h′ = rk h) 且 (h′ 真包含于 h)] 推出 h′ ≺ h，则该全序关系满足以下性质：性质 (P1)：对于任意的 h 和其元素 h′，有 h′ ≺ h；性质 (P2)：对于任意的 h 和真包含于 h 的 h′′，有 h′′ ≺ h。

对于性质 (P1)，任取 $ h’ \in h $。根据集合的秩的性质，有 $ \mathrm{rk}\, h’ < \mathrm{rk}\, h $。由条件 1 可知，$ h’ \prec h $，所以性质 (P1) 成立。

对于性质 (P2)，任取 $ h’’ $ 真包含于 $ h $。若 $ \mathrm{rk}\, h’’ < \mathrm{rk}\, h $，根据条件 1 可得 $ h’’ \prec h $；若 $ \mathrm{rk}\, h’’ = \mathrm{rk}\, h $，结合 $ h’’ $ 真包含于 $ h $ 以及条件 2，也可得到 $ h’’ \prec h $。所以性质 (P2) 成立。

综上，满足给定条件的全序关系 $ \prec $ 满足性质 (P1) 和 (P2)。

3、证明由以下三种类型文字的合取构成的 BST 子理论 B0 的可满足性问题是 NP 完全的：x = y ∪ z，x ∩ y = ∅，x ≠ y。

可通过以下思路证明：