文字列準同型の存在を決定する

次の問題を考慮してください。

2つの文字列x、yが与えられた場合、f（x）= yとなるような文字列準同型fが存在するかどうかを判断します。

この問題がにあることを示すのは簡単です。この問題について他に言えることはありますか？たとえば、にあるのか、それともか。$NP$$coNP$$P$

この問題は非常に自然に思えるので、徹底的に研究されていても驚かない。しかし、私はこの問題を文学で見つけることができませんでした。

文字列と複雑さに関する最初の論文の1つ、つまり、Dana Angluin、一連の文字列に共通するパターンの検索、J。Computで説明されています。システム科学。21（1980）、46-62。定理3.6を見てください。問題はNP完全です。

また、A。Ehrenfeucht、G。Rozenbergにもあります。2つの単語間の準同型を見つけることはNP完全、通知です。処理する。レット。9（1979）86–88。