[论文解读] (Generalized) Post Correspondence Problem and semi-Thue systems

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

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

一句话总结

本文提供了克劳斯定理的清晰、详尽证明，该定理将半图埃系统中可及性问题的不可判定性与Post对应问题（PCP）联系起来。它表明，若Accessibility(k)不可判定，则GPCP(k+2)以及随后的PCP(k+4)也均不可判定，通过广义PCP实现两步归约。关键贡献在于严格推导出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.

研究动机与目标

• 提供克劳斯结果的清晰且详尽证明，阐明半图埃系统可及性问题的不可判定性与广义PCP及标准PCP之间的联系。
• 通过证明若Accessibility(k)不可判定，则PCP(k+4)也不可判定，建立PCP的紧致不可判定性边界。
• 通过使用广义Post对应问题（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 为确保广义PCP的解可推出标准PCP的解，对映射输出与输入词的结构约束应具备何种必要条件？
• RQ4 目前已知的标准Post对应问题的最紧致不可判定边界是什么？

主要发现

• 若Accessibility(k)不可判定，则通过映射编码与标记符的构造性归约，GPCP(k+2)也不可判定。
• 若GPCP(k)不可判定，则PCP(k+2)也不可判定，完成归约链。
• PCP的紧致不可判定边界为PCP(7)，该结果源自半图埃系统中Accessibility(3)的已知不可判定性。
• 该证明确认，即使在无擦除实例中，PCP(7)仍不可判定，从而强化了先前结果。
• 归约过程保持了最小性，并通过在映射输出中强制唯一标记符位置，避免了虚假解的产生。