波斯特对应问题

波斯特对应问题（Template:Lang-en）是美国数学家埃米尔·波斯特（Template:Lang）于1946年提出的一个不可判定问题。

问题

已知字母表$A$是包含至少两个字符的有限集合。$A$上的一个字符串是指由$A$中字符组成的一个有限序列。假设${\alpha }_1,\dots ,{\alpha }_N$和${\beta }_1,\dots ,{\beta }_N$是由$A$上的字符串所组成的两个相同长度的表。如果存在一个序列$(i_k{)}_{1\le k\le K}$（$K\ge 1$，且对所有$k$都有$1\le i_k\le N$），使得

${\alpha }_{i_1}\dots {\alpha }_{i_K}={\beta }_{i_1}\dots {\beta }_{i_K}$

成立，那么就称$A$上的这两个字符串表匹配。判定一个字母表上的任意两个长度相同的字符串表是否匹配的问题即是波斯特对应问题。

示例

已知如下两个字符串表： Template:Col-begin Template:Col-break

α1	α2	α3
a	ab	bba

β1	β2	β3
baa	aa	bb

序列 (3, 2, 3, 1) 是这一波斯特对应问题的一个解：

${\alpha }_3{\alpha }_2{\alpha }_3{\alpha }_1=bba+ab+bba+a=bbaabbbaa=bb+aa+bb+baa={\beta }_3{\beta }_2{\beta }_3{\beta }_1.$

bba

bb

i₁ = 3 Template:Col-break

ab

aa

i₂ = 2 Template:Col-break

bba

bb

i₃ = 3 Template:Col-break

a

baa

i₄ = 1 Template:Col-end

将上述序列重复任意多次（例如：重复两次为 (3, 2, 3, 1, 3, 2, 3, 1)）得到的序列也都是此问题的解。

但如果两个字符串表仅由${\alpha }_2,{\alpha }_3$ 和 ${\beta }_2,{\beta }_3$组成，那此时解便不存在。这是由于${\alpha }_2,{\alpha }_3$ 的倒数两个字符都是不同的，而${\beta }_2,{\beta }_3$则都是由相同的两个字符组成的。

不可判定性证明思路

对波斯特对应问题不可判定性的证明，一种最常见的思路是：先证明对一个图灵机$M$及输入$\omega$都能构造出波斯特对应问题的一个实例，使得匹配就是$M$在$\omega$上的接受计算历史。如果能判定这个波斯特对应问题的实例是否有匹配的话，那图灵机是否接受输入的问题也就是可判定的了。由于图灵机的接受问题是个基本的不可判定问题，于是可以说明波斯特对应问题也同样是不可判定的。