Задание EGEINFCF38C4: Обработка текстового файла

Решение.
В приложенном файле 10000000 символов данных. Рассматриваем непрерывные фрагменты строки; символы нельзя переставлять или пропускать. Сохраним приложенный текстовый файл под именем data.txt. Конечный перевод строки удаляем, остальные символы сохраняем.
Число без ведущих нулей — это либо отдельный 0, либо ненулевая цифра из набора 2345, за которой идёт любое количество цифр из набора 02345. Поэтому шаблон числа: (?:0|[2345][02345]*).
Корректное выражение состоит из числа, после которого идут ноль или более пар «операция, число». Допустимы только вычитание и умножение. Одиночное число тоже является выражением. Знаки не могут стоять в начале, в конце или подряд. Вычислять значение выражения не требуется.
Получаем шаблон (?:0|[2345][02345]*)(?:[-*](?:0|[2345][02345]*))*. Скобки (?:...) группируют часть выражения, звёздочка после группы разрешает любое количество повторений, в том числе ноль. Звёздочка внутри [-*] означает сам знак умножения.
Поиск выдаёт максимальное корректное выражение с каждого найденного начала. Начало внутри уже найденного корректного выражения может дать только его укороченный суффикс: оно не устраняет причину остановки на правой границе. Поэтому непересекающийся поиск не пропускает более длинный ответ. Если встретились ведущие нули, поиск может начаться с более поздней цифры; весь исходный файл не обязан быть одним корректным выражением.
Программа:

import re

with open("data.txt", encoding="utf-8-sig") as f:
    s = f.read().rstrip("\r\n")
pattern = '(?:0|[2345][02345]*)(?:[-*](?:0|[2345][02345]*))*'
answer = 0
for match in re.finditer(pattern, s):
    answer = max(answer, match.end() - match.start())
print(answer)

Проверка результата. Нумеруем символы исходной строки с единицы. Один из оптимальных фрагментов имеет следующие границы:

Разность границ с учётом обоих концов: 7764911 − 7764343 + 1 = 569.
Найденная подстрока полностью соответствует грамматике: все числа без ведущих нулей, между соседними числами ровно один разрешённый знак. Независимый посимвольный алгоритм с состояниями «ненулевая запись», «отдельный ноль», «операция» дал ту же максимальную длину.
Полный проход по приложенному файлу даёт итоговый ответ. Проверка коротких строк полным перебором всех подстрок подтверждает обработку крайних случаев.
Ответ: 569.