모든 프로그램들을 문자열이라 생각하자.첫 번째 문자열에서 길이 k인 부분문자열은 M1 - K + 1 개가 존재한다.
이 부분 문자열에 대해서 KMP failure function을 찾는다. 그 다음 나머지 n-1개의 문자열에서, 혹은 뒤집힌 문자열에서 위의 부분문자열이 존재하는지 찾는다. 모든 n-1개의 문자열에서 부분문자열이 찾아진다면 YES를 출력한다.
이에 해당하는 부분문자열을 찾을 수 없으면 NO를 출력한다.
부분문자열의 개수는 M1 - k + 1 이고, 나머지 n-1개의 문자열에 대해 KMP 알고리즘을 수행하는데 O(Mi) 시간이 소요되므로, 총 시간복잡도는 O(NM^2)이다.