波斯特對應問題

波斯特對應問題(英語:Post correspondence problem)是美國數學家埃米爾·波斯特Emil Post)於1946年提出的一個不可判定問題。[1]

問題

編輯

已知字母表 是包含至少兩個字符的有限集合 上的一個字符串是指由 中字符組成的一個有限序列。假設  是由 上的字符串所組成的兩個相同長度的表。如果存在一個序列  ,且對所有 都有 ),使得

 

成立,那麼就稱 上的這兩個字符串表匹配。判定一個字母表上的任意兩個長度相同的字符串表是否匹配的問題即是波斯特對應問題。

示例

編輯

已知如下兩個字符串表:

序列 (3, 2, 3, 1) 是這一波斯特對應問題的一個解:

 

將上述序列重複任意多次(例如:重複兩次為 (3, 2, 3, 1, 3, 2, 3, 1))得到的序列也都是此問題的解。

但如果兩個字符串表僅由  組成,那此時解便不存在。這是由於  的倒數兩個字符都是不同的,而 則都是由相同的兩個字符組成的。

不可判定性證明思路

編輯

對波斯特對應問題不可判定性的證明,一種最常見的思路是:先證明對一個圖靈機 及輸入 都能構造出波斯特對應問題的一個實例,使得匹配就是  上的接受計算歷史。如果能判定這個波斯特對應問題的實例是否有匹配的話,那圖靈機是否接受輸入的問題也就是可判定的了。由於圖靈機的接受問題是個基本的不可判定問題,於是可以說明波斯特對應問題也同樣是不可判定的。[2]

參考文獻

編輯
  1. ^ E. L. Post. A variant of a recursively unsolvable problem (PDF). Bull. Amer. Math. Soc. 1946, 52. 
  2. ^ Michael Sipser. A Simple Undecidable Problem. Introduction to the Theory of Computation 2nd. Thomson Course Technology. 2005: 199–205. ISBN 0-534-95097-3.