Генерация таблицы префиксов Кнута-Морриса-Пратта с подстановочными знаками

Я реализую поиск шаблона байтов KMP с поддержкой подстановочных знаков. Ниже приведен алгоритм генерации таблицы префиксов. БЕЗ подстановочные:

    vector<int> PrefixFunction(string S)
{
vector<int> p(S.size());
int j = 0;
for (int i = 1; i < (int)S.size(); i++)
{
while (j > 0 && S[j] != S[i])
j = p[j-1];

if (S[j] == S[i])
j++;
p[i] = j;
}
return p;
}

Проблема с алгоритмом выше заключается в том, что он не работает с подстановочными знаками. Короче говоря, рассмотрим следующее математический уравнения:

1. ∵a = b
2. ∵b = c
3. ∴a = c

Эти уравнения на 100% верны, когда не используются подстановочные знаки. Однако они не применяются к групповым символам. EX: a = 1, b = ?? (подстановочный знак) и c = 2, a equals b а также b equals c, но a does not equal to c

Из-за этого странного свойства групповых символов алгоритм, упомянутый выше, не будет работать! Следовательно, я должен реализовать специальный алгоритм для подстановочных знаков.
Моя текущая реализация выглядит следующим образом:

vector<int> GeneratePrefixTable(vector<int> bytes, vector<unsigned char> flags)
{
vector<int> prefixTable(bytes.size());
prefixTable[0] = 0;
for (int j = 1, m = bytes.size(); j < m; j++)
{
int largest = 0;
for (int i = 1; i < j; i++)
{
bool match = true;
for (int k = 0; k < i; k++)
{
if (bytes[k] != bytes[j - i + k + 1] && !flags[k] && !flags[j - i + k + 1])
{
//if the bytes do not match and neither of them is a wildcard
match = false;
break;
}
}
if (!match)
{
continue;
}
largest = i;
}

prefixTable[j] = largest;
}
return prefixTable;
}

определения переменных:

1. vector<int> bytes шаблон. иначе игла.
2. vector<unsigned char> flags массив флагов, чтобы указать, является ли байт в определенном месте подстановочным знаком
3. j индекс шаблона, который мы смотрим на генерацию префикса #
4. largestOne длина наибольшего префикса, найденного до сих пор
5. i длина префикса, который мы тестируем

Обратите внимание, что я не остановил поиск, как только нашел неработающую длину префикса. Это также связано со странным свойством подстановочного знака.
Например, рассмотрим шаблон 01 02 ?? 02 00:

1. с длиной 1: префикс: 1 суффикс:0, несоответствие
2. с длиной 2: префикс: 1 2 суффикс:2 0 несоответствие
3. с длиной 3: префикс 1 2 ?? суффикс: ?? 2 0 матч!

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