끈 동질의 존재를 결정

다음 문제를 고려하십시오.

두 개의 스트링 x, y가 주어지면, f (x) = y와 같은 스트링 동형이 존재하는지 여부를 결정하십시오.

이 문제가 에 있음을 쉽게 알 수 있습니다. 이 문제에 관해 우리가 말할 수있는 다른 것들이 있습니까? 예를 들어 또는 있습니까?$NP$$coNP$$P$

이 문제는 매우 자연스러워 보이므로 철저히 연구해도 놀라지 않습니다. 그러나 나는 문학에서이 문제를 찾을 수 없었다.

문자열과 복잡성에 관한 첫 번째 논문 중 하나 인 Dana Angluin, 일련의 문자열에 공통적 인 패턴 찾기, J. Comput. 시스템 과학 21 (1980), 46-62. 정리 3.6을보십시오. 문제는 NP 완료입니다.

A. Ehrenfeucht, G. Rozenberg에도 있습니다. 두 단어 사이의 동질성을 찾는 것은 NP-complete, Inform입니다. 방법. 레트 사람. 9 (1979) 86–88.