Provavelmente, isso é bem simples, mas considere o problema padrão de correspondência posterior:
Dado e β 1 , ... , β N , encontrar uma sequência de índices i 1 , ... , i K de tal modo que ácido a i 1 ⋯ α i K = β i 1 ⋯ β i K . Isso é, obviamente, indecidível.
Agora, chamo isso de 'variante', mas não é realmente - essencialmente joga fora 'correspondência'. De qualquer forma, considere a seguinte variante:
Dado e β 1 , … , β N , encontre duas seqüências de índices i 1 , … , i K , j 1 , … , j K de modo que α i 1 ⋯ α i K = β j 1 ⋯ p j K . O que pode ser dito sobre essa variante? Se isso é trivial, minhas desculpas!