AがBに還元可能にマッピングされる場合、Aの補数はBの補数に還元可能にマッピングされます。

10

私は計算理論の最後の勉強をしており、この発言が真実か偽かに答える適切な方法に取り組んでいます。

定義の≤メートル我々は、次のステートメントを構築することができます

w∈あ⟺f（w）∈B→w∉あ⟺f（w）∉B

これは私が行き詰まっているところです、私はそのような計算可能な関数があるので、AからBへのマッピングがあればそれだけを提供し、そうでなければそれを提供しないと言いたいです。f

これを正しく表現する方法がわからない場合や、正しい方向に進んでいるかどうかはわかりません。

complexity-theory  computability  reductions 
— トリゴマン
ソース
これはつまりこと、ロジックに純粋に依存している論理的に等価である ¬ Bあ⟹B。¬B⟹¬あ
— Dave Clarke、
1
あなたはコンテキストを提供し、あなたの表記を定義する必要があります（、→、≤ M）。しかし、一般的な表記法を使用している場合（⇔は論理的に同等であり、→は含意であり、設定は古典的な論理です）、DaveのコメントとKavehの答えは正しいです。⇔→≤メートル⇔→
— Gilles 'SO-悪をやめる'

回答:

18

デイブが言ったように、簡単な論理等価性から、次のとおりです。同じである¬ P ↔ ¬ Q。今置くpは= wは∈ A及びQ = F （ワット）∈ B。p↔q¬p↔¬qp=w∈あq=f（w）∈B

手段合計計算がある FすべてのためのST wは、あ≤メートルBfw

。w∈あ↔f（w）∈B

上記の議論により、これは同じです

。w∉あ↔f（w）∉B

または同等に

。w∈あ¯↔f（w）∈B¯

したがって、同じことを示しているˉ A ≤ M ˉ B。fあ¯≤メートルB¯

— カヴェ
ソース
-1

あ≤メートルBw∈あ↔f（w）∈Bw∈あ↔f（w）∈Bあ≤メートルB

— ガーフィールド
ソース
あ≤MBfw∈あ⟺f（w）∈B
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.