Z-функция

Определение

Z-функция от строки [math]S[/math] и позиции [math]x[/math], это длина максимального префикса подстроки, начинающейся с позиции [math]x[/math] в строке [math]S[/math], который одновременно является и префиксом всей строки [math]S[/math].

Алгоритм поиска

• Задача

Дана строка [math]S[/math]. Необходимо построить массив [math]Z[/math], такой что [math]Z[i][/math] является префикс функцией данной строки с позиции [math]i[/math]

• Описание алгоритма

Для работы алгоритма заведём две переменные: [math]left[/math] и [math]right[/math] - начало и конец наибольшего префикса строки [math]S[/math] с максимальным значением [math]right[/math]. Изначально [math]left=0[/math] и [math]right=0[/math].

Это динамический алгоритм. Пусть нам известны значения Z-функции от [math]0[/math] до [math]i-1[/math]. Найдём [math]Z[i][/math]. Есть два случая: [math]i \gt right[/math] и [math]i \leq right[/math].

Пусть [math]i \gt right[/math]. Тогда просто пробегаемся по строке [math]S[/math] и сравниваем символы из начала с символами после позиции [math]i[/math]. ([math]S[i+j] == S[j][/math]) Пусть [math]j[/math] первая позиция в строке [math]S[/math] для которой не выполняется равенство [math]S[i+j] == S[j][/math], тогда [math]j\lt /tx\gt это и Z-функция для позиции \lt tex\gt i[/math]. Тогда [math]left = i, right = i + j - 1[/math].

Если [math]i \leq right[/math] и

• Код алгоритма

 int[] z(String p) {
   int[] ans = new int[p.length()];
   ans[0] = 0;
   int n = p.length();
   int left = 0;
   int right = 0;
   for (int i = 1; i < n; i++) {
     if (i > right) {
       int j = 0;
       while (i + j < n && p.charAt(i+j) == p.charAt(j)) {
         j++;
       }
       ans[i] = j;
       left = i;
       right = i + j - 1;
     } else {
       if (ans[i - left] < right - i + 1) {
         ans[i] = ans[i - left];
       } else {
         int j = 1;
         while (j + right < n && p.charAt(j+right-i) == p.charAt(right + j)) {
           j++;
         }
         ans[i] = right + j - i;
         left = i;
         right = right + j - 1;
       }
     }
   }
   return ans;
}