Изменения

=== Решение ===

Проверим, правда ли выполняется неравенство <tex>0 \leqslant p[i + 1] \leqslant p[i] + 1</tex> из доказательства выше.

Найдем минимальный алфавит, при котором префикс-функция корректна. Если значение префикс-функции в текущей ячейке больше нуля, буква известна и алфавит не нуждается в добавлении новой буквы. Иначе, необходимо исключить все ранее известные буквы, возвращаясь и проверяя для меньших префиксов.