О свойстве грубости функционала разбиения последовательности символов в заданном словаре опорных фрагментов

Рассматривается задача об изменении функционала разбиения последовательности символов в заданном словаре опорных фрагментов при удалении или добавлении одного символа в конце изучаемой последовательности. Доказывается теорема, позволяющая определить для функционала разбиения оценки снизу и сверху и тем самым установить его свойство грубости.