确定是否存在字符串同态

考虑以下问题：

给定两个字符串x，y，请确定是否存在一个字符串同构性f，使得f（x）= y。

很容易证明这个问题在。关于这个问题，我们还有其他事情要说吗？例如，它是在还是？$NP$$coNP$$P$

这个问题看起来很自然，因此如果对其进行了深入研究，我并不感到惊讶。但是我在文学中找不到这个问题。

在有关字符串和复杂性的第一篇论文中对此进行了讨论，即Dana Angluin，《发现一组字符串共有的模式》，J。Comput。系统科学 21（1980），46-62。看定理3.6。问题是NP完全的。

同样在A. Ehrenfeucht，G。Rozenberg中，发现两个单词之间的同态是NP完全的，即Inform。处理。来吧 9（1979）86-88。