Optimisation of the context-free language reachability matrix-based algorithm ; Оптимизация алгоритма контекстно-свободной достижимости, основанного на операциях линейной алгебры

Authors: Муравьев Илья Владимирович, Muravev Ila Vladimirovic

Contributors: Шеметова Екатерина Николаевна, Semetova Ekaterina Nikolaevna, Григорьев Семен Вячеславович, Grigorev Semen Vaceslavovic

Subject Terms: контекстно-свободная достижимость, поиск путей с контекстно-свободными ограничениями, контекстно-свободная грамматика, достижимость с ограничениями, анализ графов, разреженные матрицы, статический анализ кода, графовые базы данных, context-free language reachability, context-free path querying, context-free grammar, constrained reachability, GraphBLAS, CFPQ, graph analysis, sparse matrices, static code analysis, graph databases

Relation: 086862; http://hdl.handle.net/11701/46282

Availability: http://hdl.handle.net/11701/46282

Fine-grained reductions around CFL-reachability ; Условные нижние оценки для задачи поиска путей с контекстно-свободными ограничениями

Authors: Истомина Александра Андреевна, Istomina Aleksandra Andreevna

Contributors: Чистиков Дмитрий Викторович, Cistikov Dmitrij Viktorovic, Григорьев Семен Вячеславович, Grigorev Semen Vaceslavovic

Subject Terms: контекстно-свободная достижимость, мелкозернистая сложность, условные нижние оценки, CFL reachability, fine-grained complexity, conditional lower bounds

Relation: 062510; http://hdl.handle.net/11701/41903

Availability: http://hdl.handle.net/11701/41903