Аппроксимация достижимости с ограничениями в виде шафла языков Дика с использованием алгоритмов на основе линейной алгебры

Задача о приближении достижимости в графе с ограничениями в виде шафла языков Дика (interleaved Dyck reachability) может решаться через последовательное решение задач поиска путей с контекстно-свободными ограничениями: CFL-based methods for approximating interleaved Dyck reachability Ильёй Муравьёвым предложен высокопроизводительный алгоритм поиска всех путей с контекстно-свободными ограничениями на основе линейной алгебры (Оптимизация алгоритма контекстно-свободной достижимости, основанного на операциях линейной алгебры). Предлагается, во-первых, на его основе реализовать алгоритм, приближённо решающий задачу для шафла языков Дика (как предложено в указанной выше статье), во-вторых, провести эксперименты по оценке производительности, в-третьих, интегрировать решение в коллекцию алгоритмов анализа графов на основе линейной алгебры LAGraph .