FriedbergとMuchnikによる文 – ウィキペディア
FriedbergとMuchnikの文 は、リチャード・M・フリードバーグとアルバート・ムチニクによって互いに独立して1956/1957年に証明された予測可能性と数学的論理の理論の結果です。それは、間にある再帰的にリスト可能なチューリングの学位があると言います 0 と 0 ‘ 横たわっている。したがって、決定的ではない再帰的にリスト可能な数量がありますが、チューリングのチューリングを減らすという意味では、保持問題よりも簡単です。 FriedbergとMuchnikは、彼らの証拠のための新しい証拠手法を開発しました 優先方法 また 優先議論 知られており、予測可能性理論の重要な手法になりました。
エミル・ポストは、1944年の作業でチューリングの学位を調べ、再帰的にリスト可能なチューリングの学位を尋ねました 0 と 0 ‘ 与えます。この質問は次のとおりでした Postschesの問題 知られています。 Postが定義しました 単純な量 そして、多くの1つの削減の下で、それらはより強力なチューリングの削減のためにこれを示すことができずに、決定的な量と保持問題の間で厳密にあることを示すことができます。 J.C.E. Dekkerは1954年に、これは単純な量であるため不可能であることを示しました 0 ‘ 与えます。 [初め] この問題は、1956/57年に、フリードバーグとムチニクによって、互いに独立して新しく開発された優先方法によって解決されました。 1986年、アントニン・クチェラは、優先順位の議論には必要ない新しいソリューションを公開しました。
アイディア [ 編集 | ソーステキストを編集します ]
次の証拠は、2004年のクーパーの提示に続き、フリードバーグとムチニクの元の証拠に基づいています。
2つの再帰的に登録可能な量が同時にあります
と
構築された、それぞれがチューリングを減らすことはできません:
と
。これらの条件が満たされている場合、文の声明が続きます。 if
また
他の量に減らすことができれば決定的であり、パルプの問題に埋め込まれる可能性のあるすべての量を減らすことができるので、AとBは入ることができません 0 ‘ 横たわっている。
これらの要件は、要件の無限のリストによって保証されます。多分
オラクルそびえ立つ機械の予測可能なリスト。次に、すべてのマシンにあります
2つの要件:
私は落ちる
満たされており、の削減はありません
の上
そしてそれは適用されます
。アナログ金箔
、 私は落ちる
満たされています。
要件は彼らの後です 優先順位 それを注文しました
最優先事項、
2番目に高いなど
有限量の計算可能な結果があります
と
構築されています。 AとBは、これらの結果の無限の関連性です。
と
。結果は予測可能であるため、彼らの関連はそうです
と
再帰的にリスト可能。
そうです
。の中に
– 建設のステップが消えます
と
金額
と
構築されています。建設はからです 戦略 受け入れられました。各要件には1つがあります ストラテジー それはこの要件を満たそうとします。
戦略 [ 編集 | ソーステキストを編集します ]
直感 [ 編集 | ソーステキストを編集します ]
すべての戦略
不平等を強制する必要があります
適用可能です。これには2つのオプションがあります。 目撃者
に
さらに、ではありません
嘘、または彼女はそれを証人に強制する
あきらめます
嘘をつき、決して後にいません
手に入れた。 2つの困難があります。一方ではそうです
常に完全な関数と質問ではありません
したがって、未定です。これは、戦略が
– 最初の構造のみのステップ
の計算の手順
実施した。もしも
後
ステップ、その後、戦略はの価値になります
の中に
– 建設の建設を経験し、それに応じて決定することができます
後
取得するかどうか。保留
そうではありません
全体の機能はなく、したがって、削減は削減されません。そうです
自動的に満たされました。
一方、そうです
の建設中
両方の数量が同時に構築されているため、まだ利用できません。したがって、Oracleマシンが受信します
オラクルのように
– 代わりにステップ
有限量
。それが保持されている場合、Oracle Uringマシンは最終的に最終的に多くのOracleの問い合わせを尋ねることができます。後のすべての量を要求するだけで十分です
すべての数字で
(
の計算における最大のOracle要求です
) と
それを確実にすることに同意します
は。したがって、戦略は設定されます
いつ
-制限 修正された、それは戦略がないことを意味します
将来支払うことがあります
に
追加。
戦略
交換された役割で完全に類似しています
と
。したがって、これらの戦略は類似している可能性があります
-制限 挿入
– 証人の選択における戦略。制限により、既にアクティブな戦略の証人が使用できなくなるようになりました。
は。解決策は、各戦略が、戦略によって優先順番に配置された制限のみを観察することです。彼らが戦略を認識します 怪我した 言い換えれば、彼女が引き起こした制限がより高い優先事項の戦略によって侵害された場合、彼女は新しい証人を選択し、正面から始まります。
今では、次のように、各戦略が最終的に何度も負傷したことを誘導的に示すことができます。つまり、ある時点で最終的に満たされます。そこには
負傷することはありません。それは皆のためだからです
最後に、優先順位が高い要件は多くあり、そのすべてが誘導要件が負傷した後に最終的に侵害されただけで、最終的に侵害されます。
また、優先度が高い戦略によってのみ侵害される可能性があるため、最終的に負傷しました。
形式化 [ 編集 | ソーステキストを編集します ]
フォームのすべての要件
次のように手続き上で提示できる戦略があります。
- 可能性を選択してください 目撃者 バツ ために 、それによって バツ まだ入っていない a 何よりも嘘があります a – 優先度が高い地位は、証人としてまだ選ばれていません。
- すべての後のステップで 、次の条件のいずれかが適用されるかどうかを確認してください。
- バツ 1つ以下にあります a – 優先度が高い照明。この場合はそうでした 負傷して戻ってきます(1)。
- 。この場合、戦略は次のとおりです(3)。ある 最初の結果 の計算の手順 。
- なります 追加した。
- 多分 と 計算される最大のOracleリクエスト 提供されました。その後、B制限はです と 追加した。
- すべての後のステップで チェックされているかどうか バツ aの下 a – 優先度が高い存在。もしそうなら、戦略は戻ってきます(1)。
要求事項
AとBが交換されるアナログ戦略があります。
の戦略
-teアクティビティを要件
– (1)での建設のステップ。すべてのステップで
すべて戦略です
ために
アクティブ。これは、あらゆるステップで多くの戦略を考慮する必要があることを意味します。すべての戦略は予測可能であるため、すべてです
と
それに応じて。
上記のように、すべての戦略が最終的に何度も違反されます。また、要件を示す必要があります
関連する戦略に違反しなくなった場合、それは満たされます。すべての戦略以来
(1)後に最終的に負傷して減少しただけで、2つの可能な結果が残っています(ここに
表示されている、類似
):
同様に、それはすべての人であることを示すことができます
満たされる。
- S. B.クーパー: 計算可能性理論 。 Chapman&Hall/CRC、2004年。ISBN1-58-488237-9
- リチャード・M・フリードバーグ: 比類のない程度の解決策の2つの再帰的に列挙可能なセット(Postの問題の解決策1944) 。の: 国立科学アカデミーの議事録 。 バンド 43 、 S. 236–238 ( pnas.org [PDF])。
- アントニン・クチェラ: Postの問題に対する代替の優先順位のないソリューション 。の: コンピューターサイエンスのスプリンガー講義ノート 。 バンド 233 、1986、 S. 493–500 。
- A. A. Muchnik: アルゴリズムの理論を減らす問題の不正行為について。 (ロシア) 。の: doklady akademii nauk sssr(n.s.) 。 バンド 108 、1956年、 S. 194–197 。
- ↑ J.C.E.Dekker: HyperSimpleセットの定理 。の: アメリカ数学協会の議事録 。 バンド 5 、1954年、 S. 791–796 。
Recent Comments