[論文レビュー] (Generalized) Post Correspondence Problem and semi-Thue systems

François Nicolas|ArXiv.org|Feb 6, 2008

semigroups and automata theory参考文献 8被引用数 4

ひとこと要約

この論文は、半代謝系における到達可能性問題の決定不能性とポスト対応問題（PCP）を結びつけるクラウスの定理について、洗練された詳細な証明を提供している。Accessibility(k) が決定不能であるならば、GPCP(k+2) そしてその後続して PCP(k+4) も決定不能であることが示され、一般化されたPCP（GPCP）経由の二段階の還元によって達成される。主な貢献は、既知の半代謝系に関する結果を基に、PCP(7) の鋭い決定不能性の境界を厳密に導出したことにある。

ABSTRACT

Let PCP(k) denote the Post Correspondence Problem for k input pairs of strings. Let ACCESSIBILITY(k) denote the the word problem for k-rule semi-Thue systems. In 1980, Claus showed that if ACCESSIBILITY(k) is undecidable then PCP(k + 4) is also undecidable. The aim of the paper is to present a clean, detailed proof of the statement. We proceed in two steps, using the Generalized Post Correspondence Problem as an auxiliary. First, we prove that if ACCESSIBILITY(k) is undecidable then GPCP(k + 2) is also undecidable. Then, we prove that if GPCP(k) is undecidable then PCP(k + 2) is also undecidable. (The latter result has also been shown by Harju and Karhumaki.) To date, the sharpest undecidability bounds for both PCP and GPCP have been deduced from Claus's result: since Matiyasevich and Senizergues showed that ACCESSIBILITY(3) is undecidable, GPCP(5) and PCP(7) are undecidable.

研究の動機と目的

• 半代謝系の到達可能性問題の決定不能性と一般化および標準的なポスト対応問題（GPCP, PCP）を結びつけるクラウスの結果について、明確かつ詳細な証明を提供すること。
• Accessibility(k) が決定不能であるならば、PCP(k+4) も決定不能であることを示すことによって、PCP のタイトな決定不能性の境界を確立すること。
• 一般化されたポスト対応問題（GPCP）を介した中間還元を通じて、半代謝系とPCPの間のギャップを埋めること。
• 半代謝系における Accessibility(3) の既知の決定不能性を活用して、PCP(7) が決定不能であることを確認すること。

提案手法

• 特定の形の単語の変換を保証するように構築されたモルフィズムを用いて、k規則の半代謝系における到達可能性問題を GPCP(k+2) に還元する。
• 二段階の還元を用いる：まず Accessibility(k) から GPCP(k+2) へ、次に GPCP(k) から PCP(k+2) へ。
• 語の導出とモルフィズム出力の構造的制約を強制するために、特別なマーカー（例：'b', 'd', 'e'）を含む修正されたアルファベットを用いる。
• 接頭辞および接尾辞の不変性に関する補題（補題11および12）を適用し、モルフィズムによる等しい出力が、制限された形での等しい入力語を意味することを保証する。
• 最小反例の議論を用いて、中間語が特定のマーカー（例：'e', 'b'）を避ける必要があることを示し、それにより元のアルファベット内に制限されることを強制する。
• モルフィズムが単一文字への作用によって完全に決定されることに依存しており、これにより有限な符号化と効果的な還元が可能になる。

実験結果

リサーチクエスチョン

• RQ1 k規則の半代謝系における到達可能性問題の決定不能性が、GPCP(k+2) の決定不能性をどのように示すか。
• RQ2 一般化PCPを中間ステップとして用いることで、到達可能性問題を標準PCPに還元する方法は何か。
• RQ3 GPCP の解が PCP の解を意味するようにするため、モルフィズム出力および入力語に必要な構造的制約は何か。
• RQ4 標準ポスト対応問題の既知で最もタイトな決定不能性の境界は何か。

主な発見

• Accessibility(k) が決定不能であるならば、モルフィズム符号化とマーカー文字を用いた構成的還元によって、GPCP(k+2) も決定不能である。
• GPCP(k) が決定不能であるならば、PCP(k+2) も決定不能である。これにより還元の鎖が完成する。
• PCP の鋭い決定不能性の境界は PCP(7) であり、これは既知の Accessibility(3) の決定不能性から導出される。
• 証明は、PCP(7) が消去不能インスタンスに対しても決定不能であることを確認しており、これにより先行研究が強化される。
• 還元は最小性を保ち、モルフィズム出力におけるマーカーの位置を一意に制御することで、誤った解の発生を回避する。