NUDT-计算理论-2023期末
100 = 4 × 15 + 2 × 2 100 = 4 \times 15 + 2 \times 2 100=4×15+2×2
-
正则语言构造识别正则语言 0 ∗ 1 0 ∗ 1 0^*10^*1 0∗10∗1 的有限状态机,并证明正确性;
-
构造识别给定的上下文无关文法的下推自动机,并证明正确性;
-
利用递归定理、对角线方法证明 EW TM = { ⟨ M ⟩ ∣ ε ∈ L ( M ) } \text{EW}_{\text{TM}} = \{\lang M \rang \mid \varepsilon \in \mathscr{L}(M) \} EWTM={⟨M⟩∣ε∈L(M)} 是不可判定的;
-
使用归约,利用 A TM \text{A}_{\text{TM}} ATM 的不可判定性,证明 ALL TM \text{ALL}_{\text{TM}} ALLTM 的不可判定性;
-
证明k-独立集问题是NP完全问题:NP + NP 难;
提示:将极大团问题归约到k-独立集问题
-
简要证明萨维奇定理,并说明定理对于 f ( n ) ≥ log n f(n) \geq \log n f(n)≥logn也成立。