計算理論・ラムダ計算の問題

$\Sigma =\{0,1\}$ とし、言語とは ${\Sigma }^{\ast }$（空列を含む $\Sigma$ 上の有限列全体）の部分集合のこととする。言語 $A$ の補集合を $\overline{A}={\Sigma }^{\ast }\setminus A$ と書く。言語 $A,B$ に対し、多項式時間で計算できる全域関数 $f:{\Sigma }^{\ast }\to {\Sigma }^{\ast }$ であって、すべての $x\in {\Sigma }^{\ast }$ について
$$x\in A⟺f(x)\in B$$
をみたすものが存在するとき、$A{\le }_{p}B$（多項式時間多対一帰着可能）と書く。$\mathrm{P}$ は決定性チューリング機械で多項式時間で判定できる言語のクラス、$\mathrm{EXP}$ はある $k$ について時間 $2^{O(n^k)}$ で判定できる言語のクラスとする。

次のア〜カのうち、正しい（証明できる）ものをすべて選べ。ただし、ア〜オでは $A,B,C$ は任意の言語とする。

ア. $A{\le }_{p}B$ かつ $B\in \mathrm{P}$ ならば $A\in \mathrm{P}$ である。

イ. $A{\le }_{p}B$ かつ $A\in \mathrm{P}$ ならば $B\in \mathrm{P}$ である。

ウ. $A{\le }_{p}B$ かつ $B{\le }_{p}C$ ならば $A{\le }_{p}C$ である。

エ. $A{\le }_{p}B$ ならば $\overline{A}{\le }_p\overline{B}$ である。

オ. $A\in \mathrm{P}$ ならば、任意の言語 $B$ について $A{\le }_{p}B$ である。

カ. $\mathrm{P}⊊\mathrm{EXP}$ である。

$\Sigma =\{0,1\}$ とし、言語とは ${\Sigma }^{\ast }$ の部分集合のこととする。チューリング機械 $M$ と入力 $w\in {\Sigma }^{\ast }$ の組の符号化を $⟨M,w⟩\in {\Sigma }^{\ast }$ と書き、停止問題を
$$\mathrm{HALT}=\{⟨M,w⟩\mid M\text{ は入力 }w\text{ に対して停止する}\}$$
と定める（正しい符号化になっていない列は $\mathrm{HALT}$ に属さないものとする）。$\overline{\mathrm{HALT}}={\Sigma }^{\ast }\setminus \mathrm{HALT}$ とする。

言語 $A,B$ について、$A{\le }_{m}B$ とは、計算可能な全域関数 $f:{\Sigma }^{\ast }\to {\Sigma }^{\ast }$ で、すべての $x\in {\Sigma }^{\ast }$ について $x\in A⟺f(x)\in B$ となるものが存在することとする。また、言語 $L$ が帰納的可算であるとは、$L$ のちょうどすべての元に対して停止して受理するチューリング機械（$L$ に属さない入力に対しては受理しない）が存在することとする。

次のア〜カのうち、正しいものをすべて選べ。

ア　$\mathrm{HALT}$ は帰納的可算である。

イ　$\overline{\mathrm{HALT}}$ は帰納的可算である。

ウ　$\mathrm{HALT}$ は決定可能である。

エ　任意の決定可能な言語 $A$ について $A{\le }_m\mathrm{HALT}$ が成り立つ。

オ　ある決定可能な言語 $A$ について $\mathrm{HALT}{\le }_{m}A$ が成り立つ。

カ　$\overline{\mathrm{HALT}}{\le }_m\mathrm{HALT}$ が成り立つ。

$\Sigma =\{0,1\}$ とし、言語とは ${\Sigma }^{\ast }$ の部分集合のこととする。言語 $L$ の補集合を $\overline{L}={\Sigma }^{\ast }\setminus L$ と書く。言語 $X,Y$ について、$X{\le }_{p}Y$ とは、多項式時間で計算できる全域関数 $f:{\Sigma }^{\ast }\to {\Sigma }^{\ast }$ で、すべての $x\in {\Sigma }^{\ast }$ について $x\in X⟺f(x)\in Y$ となるものが存在することとする。

いま、言語 $A,B$ について $A\in \mathrm{P}$、$B\in \mathrm{NP}$ であることだけがわかっている。次のア〜オの言語のうち、それぞれに書かれた条件だけから「$\mathrm{NP}$ に属する」と必ず結論できるものをすべて選べ。

ア　ある言語 $H$ について $C{\le }_{p}H$ かつ $H{\le }_{p}A$ をみたす言語 $C$

イ　$D{\le }_{p}B$ をみたす言語 $D$

ウ　$A{\le }_{p}E$ をみたす言語 $E$

エ　$\overline{F}{\le }_{p}A$ をみたす言語 $F$

オ　$B{\le }_{p}G$ をみたす言語 $G$

$\Sigma =\{0,1\}$ とし、言語とは ${\Sigma }^{\ast }$ の部分集合のこととする。言語 $A,B$ に対し、$A{\le }_{p}B$ は $A$ が $B$ に多項式時間多対一帰着（カープ帰着）可能であること、すなわち多項式時間で計算できる全域関数 $f:{\Sigma }^{\ast }\to {\Sigma }^{\ast }$ で、すべての $x\in {\Sigma }^{\ast }$ について $x\in A⟺f(x)\in B$ となるものが存在することを表す。$\mathrm{NP}$ 完全性はこの ${\le }_p$ に関するものとする。$\mathrm{L}$, $\mathrm{P}$, $\mathrm{NP}$, $\mathrm{PSPACE}$, $\mathrm{NPSPACE}$ は標準的な計算量クラスとする。

次の主張のうち、（未解決問題の答えによらず）正しいと証明されているものをすべて選べ。

• ア　すべての言語 $A,B$ について、$A{\le }_{p}B$ かつ $B\in \mathrm{P}$ ならば $A\in \mathrm{P}$ である。
• イ　すべての言語 $A,B$ について、$A{\le }_{p}B$ かつ $A\in \mathrm{P}$ ならば $B\in \mathrm{P}$ である。
• ウ　すべての言語 $A,B$ について、$A$ が $\mathrm{NP}$ 完全で、$B\in \mathrm{NP}$ かつ $A{\le }_{p}B$ ならば、$B$ は $\mathrm{NP}$ 完全である。
• エ　$\mathrm{L}=\mathrm{PSPACE}$ である。
• オ　$\mathrm{NPSPACE}=\mathrm{PSPACE}$ である。
• カ　すべての言語 $A,B$ について、$A{\le }_{p}B$ ならば $B{\le }_{p}A$ である。

言語はすべてアルファベット $\Sigma =\{0,1\}$ 上の言語（${\Sigma }^{\ast }$ の部分集合）とする。言語 $A,B$ に対し、$A{\le }_{p}B$ は多項式時間多対一帰着（カープ帰着）が存在すること、すなわち多項式時間で計算できる関数 $f:{\Sigma }^{\ast }\to {\Sigma }^{\ast }$ で、すべての $x\in {\Sigma }^{\ast }$ について $x\in A⟺f(x)\in B$ となるものが存在することを表す。NP 完全性はこの ${\le }_p$ に関して定める（$\mathrm{NP}$ に属し、$\mathrm{NP}$ のすべての言語が ${\le }_p$ で帰着されること）。また $\mathrm{EXP}={\bigcup }_{k\ge 1}\mathrm{DTIME}(2^{n^k})$、$\mathrm{NL}$ は非決定性対数領域で判定できる言語のクラス、$\mathrm{PSPACE}$ は決定性多項式領域で判定できる言語のクラスとし、$\mathrm{HALT}$ はチューリング機械の停止問題（決定不能である）を表す言語とする。

次のア〜キのうち、正しい（現在知られている結果から真であることが証明されている）ものをすべて選べ。

ア. 任意の言語 $A,B$ について、$A{\le }_{p}B$ かつ $B\in \mathrm{P}$ ならば $A\in \mathrm{P}$ である。

イ. 任意の言語 $A,B$ について、$A{\le }_{p}B$ かつ $A\in \mathrm{NP}$ ならば $B\in \mathrm{NP}$ である。

ウ. 任意の言語 $B,C$ について、$B$ が NP 完全で、$B{\le }_{p}C$ かつ $C\in \mathrm{NP}$ ならば、$C$ は NP 完全である。

エ. $\mathrm{P}⊊\mathrm{EXP}$ である。

オ. 任意の言語 $A,B$ について、$A{\le }_{p}B$ ならば $B{\le }_{p}A$ である。

カ. $\mathrm{NL}⊊\mathrm{PSPACE}$ である。

キ. $\mathrm{P}$ に属するすべての言語は NP 完全である。