Реализация алгоритма достижимости с регулярными ограничениями на графическом ускорителе

Задача достижимости с ограничениями в виде регулярных языков --- одна из ключевых задач анализа графов (в частности, стандарт языка запросов к графам GQL включает поддержку таких ограничений). На кафедре был разработан алгоритм решения этой задачи, основанный на операциях над разреженными булевыми матрицами. Предлагается 1. Расширить библиотеку cuBool необходимыми операциями 2. Реализовать алгоритм с использованием cuBool 3. Провести экспериментальное исследование реализованного алгоритма