before-content-x4
Postsche対応の問題 (エミール・レオン・ポストの後、略されました PKP または英語 PCP )は、理論的なコンピューターサイエンスにおける非公開の問題の例です。
削減を使用して他の問題の決定不能を示すためによく使用されます。
有限のエピソードがあります
カップルから
空ではない言葉から
有限のアルファベットの上。呼ばれています
また1つ 問題 または1つ 実例 。
空ではないエピソード
インデックスから
1つを意味します 解決 問題の場合
、単語の濃度(鎖)の場合
単語の濃度に等しい
は。
対応の問題は、解決策があるかどうかにかかわらず、問題を指定するタスクです。対応の問題は未定です。つまり、問題に対する正しい答えを与えるアルゴリズムはありません。
wortspairs
半分に1つのドミノレンガを想像できる場合の1つの問題
そして残りの半分
スタンド。がある
ドミノストーンの種類と任意の数のドミノストーンが利用可能です。
対応の問題は、次のように理解できます。 ドミノストーンズのエピソードはあります。ドミノストーンの上半分の単語(左から右に読む)は、マージされたドミノストーンの下半分から単語(左から右)の単語と同じ単語をもたらすようになりますか?
与えられた:
解決:
適用されます:
。
問題の解決策もそうです
。
ドミノシーケンスとして:
。
これに関するコメント:
もちろん、2つのソリューションまたはそれ自体のソリューションのすべてのチェーンがソリューションを形成します。そのため、ソリューションがより短いソリューションで構成されているかどうかを尋ねることができます。
ソリューション
より短いソリューションで構成されていません:それは原始的です。
いくつかの原始的なソリューションがあることもありますが、この例ではそうではありません。
例
おそらく、郵便通信の問題はそれほど難しくないという印象です。ただし、非常に長い解決策しかない問題のケースもあります。
これは例です
最短のソリューションは、すでに66のカップルで構成されています。
問題の複雑さは、このソリューションから簡単に見ることができます。
決定性と無期限の境界 [ 編集 | ソーステキストを編集します ]
体系的な試行では、存在する場合は有限時間の後に解決策を見つけることができます。したがって、PKPは半偏見的な問題です。
ただし、解決策がない場合、このアルゴリズムはスケジュールされません。 PKPの決定プロセスがないという証拠は、対応問題のバリアントの保持問題を減らすことで提供できます。
特殊なケース [ 編集 | ソーステキストを編集します ]
アルファベットを制限することにより、問題は「簡単」になります。
敵のアルファベットの上で単語のペアのみを許可する場合、PKPは決定的な問題になります。一方、2つの要素のアルファベットに限定されたPKPは、2つのエレメントアルファベットでエンコードできるため、抱えていないままです。
サイズ、つまりケースのカップルの数を制限することもできます
。のために サイズ1 2 PKPが決定的になります。 [初め] サイズ5では、無期限に十分です。 [2] のために サイズ3または4 PKPは決定的であるかどうかはまだ不明です。
さらに、すべてのカップルで
最初のコンポーネントは、2番目のコンポーネントよりも長または短いです (
)、、 インスタンスは不溶です。シンボルが最初のコンポーネントまたは2番目のコンポーネントでのみ発生する場合、または「すぐに終了する」または「終了」するカップル(プレフィックス、接尾辞)がない場合も同じことが当てはまります。
2011年のSteffen Langeのアイデアによると、Postsche対応の問題は、ドミノのようなゲームファミリーであるいわゆるPCPゲームの出発点として役立ちます。 [3]
- ↑ Andrzej Honor Moisure、G。Rozenberg: 長さ2のリストを備えた(一般化された)ポスト通信の問題について 。の: Proc。 8th int。 coll。オートマトン、言語、およびプログラミング 。 LNCS115。ジャンプ、1981、 S. 219–234 。
- ↑ a b Turlough neary: バイナリタグシステムでの設計不能と5組の単語の対応後の問題 。の: コンピューターサイエンスの理論的側面に関する第32回国際シンポジウム(STACS 2015) (= Leibniz International Proceedings in Informatics(Lipics) )。 バンド 30 。 Castle dagstuhl-leibniz Center for Computer Science、Dagstuhl、ドイツ2015、ISBN 978-3-939897-78-1、 S. 649–661 、doi: 10.4230/lipics.stacs.2015.649 ( dagstuhl.de [2019年2月18日にアクセス])。
- ↑ Klaus Peter Jantke: PCPゲーム 、2016年、テクニカルレポート、Digital Media Technology IdmtのFraunhofer Instituteの子供のメディア部門のレポートシリーズ、PDFファイルとしてResearchGateからオンラインで入手可能
after-content-x4
Recent Comments