Изменения

Предложенная реализация имеет оценку по памяти <tex>O(P+T)</tex>. Оценки <tex>O(P)</tex> можно добиться за счет отказа от запоминания значений префикс-функции для позиций в <tex>S</tex>, меньших <tex>p |P| + 1</tex> (т.е. то есть до начала цепочки <tex>T</tex>). Это возможно, так как значение префикс функции не может превысить длину образца, благодаря разделительному символу <tex>\#</tex>.