Poštovní korespondenční problém

Poštovní korespondenční problém je undecidable problém rozhodnutí to bylo představeno Emil pošta. Protože to je jednodušší než Váhavý problém a Entscheidungsproblem to je často používáno v důkazech undecidability.

Informally problém může být popisován takto. Daný slovník, který obsahuje páry frází, i. e., seznam slov, to zlý stejný, se rozhodnout jestliže tam je věta, která míní stejný v obou jazycích.

Definice problému

Vstup problému sestává ze dvou konečných seznamů:

u₁,..., u_n a v₁,..., v_n

slov přes nějakou abecedu & Sigma s u nejméně dvou symbolů. Řešení tohoto problému je sled indexů i₁,..., i_k, 1 = i_j = n, takový to

u_i1... u_ik = v_i1... v_ik.

Problém rozhodnutí pak je se rozhodnout zda takový řešení existuje nebo ne.

Příklad příkladu problému

Zvážit to následovat dva seznamy:

                      u1             u2             u3             u4                v1             v2                v3                v4
      
      " aba " " bbb " " aab " " bb "      " " " aaa " " abab " " babba "

Řešení tohoto problému by bylo sekvence 1, 4, 3, 1 protože

u₁u₄u₃u₁ = " ababbaababa " = v₁v₄v₃v₁

Jestliže dva seznamy by měly sestával z, pro příklad, jediný u₁, u₂, u₃ a v₁, v₂, v₃ pak tam odkázaný byli žádné řešení.