Considere o seguinte problema:
Dadas duas cadeias x, y, decida se existe um homomorfismo da cadeia f tal que f (x) = y.
É fácil mostrar que este problema está em . Há outras coisas que podemos dizer sobre esse problema? É por exemplo em C O N P , ou mesmo P ?
Esse problema parece muito natural, portanto, não me surpreendo se ele tiver sido estudado minuciosamente. No entanto, não pude encontrar esse problema na literatura.