Decidi l'esistenza di un omomorfismo di archi

Considera il seguente problema:

Date due stringhe x, y, decidete se esiste un omomorfismo di stringhe f tale che f (x) = y.

È facile dimostrare che questo problema è in . Ci sono altre cose che possiamo dire su questo problema? es. è in , o anche in ?c o N P $NP$$coNP$$P$

Questo problema sembra molto naturale, quindi non mi sorprende se è stato studiato a fondo. Tuttavia non sono riuscito a trovare questo problema in letteratura.

È discusso in uno dei primissimi articoli su stringhe e complessità, ovvero Dana Angluin, Trovare schemi comuni a un insieme di stringhe, J. Comput. System Sci. 21 (1980), 46-62. Guarda il teorema 3.6. Il problema è NP-completo.

È anche in A. Ehrenfeucht, G. Rozenberg, Trovare un omomorfismo tra due parole è NP-completo, Inform. Processi. Lett. 9 (1979) 86–88.