Вирішіть наявність струнного гомоморфізму

Розглянемо наступну проблему:

Давши два рядки x, y, вирішіть, чи існує гомоморфізм рядків f таким, що f (x) = y.

Неважко показати, що ця проблема в . Чи можна сказати про цю проблему інші речі? наприклад, це в або навіть ?c o N P $NP$$coNP$$P$

Ця проблема здається дуже природною, тому я не дивуюсь, якщо вона була ретельно вивчена. Однак я не зміг знайти цю проблему в літературі.

Це обговорюється в одній з перших робіт про рядки та складності, а саме: Dana Angluin, Пошук шаблонів, загальних для набору струн, Дж. Comput. Система Sci. 21 (1980), 46–62. Подивіться на теорему 3.6. Проблема неповна.

Це також у А. Еренфеухта, Г. Розенберга, Пошук гомоморфізму між двома словами є NP-завершеним, Інформ. Процес. Лет. 9 (1979) 86–88.