Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://hdl.handle.net/11701/41903
Полная запись метаданных
Поле DC | Значение | Язык |
---|---|---|
dc.contributor.advisor | Чистиков Дмитрий Викторович | ru_RU |
dc.contributor.advisor | Cistikov Dmitrij Viktorovic | en_GB |
dc.contributor.author | Истомина Александра Андреевна | ru_RU |
dc.contributor.author | Istomina Aleksandra Andreevna | en_GB |
dc.contributor.editor | Григорьев Семен Вячеславович | ru_RU |
dc.contributor.editor | Grigorev Semen Vaceslavovic | en_GB |
dc.date.accessioned | 2023-07-26T12:02:09Z | - |
dc.date.available | 2023-07-26T12:02:09Z | - |
dc.date.issued | 2023 | |
dc.identifier.other | 062510 | en_GB |
dc.identifier.uri | http://hdl.handle.net/11701/41903 | - |
dc.description.abstract | Данная работа посвящена изучению точных оценок на сложность задачи контекстно-свободной достижимости в графах. В работе приведен существующий алгоритм для решения задачи и обзор условных нижних оценок, верных при истинности считаемых верными гипотез. С помощью существующих техник получены новые условные нижние оценки на задачу контекстно-свободной достижимости и связанные с ней задачи. Кроме того представлено улучшение алгоритма в случае поиска путей ограниченной длины и новая техника, которая может упростить получение новых условных нижних оценок. | ru_RU |
dc.description.abstract | In this thesis we study the fine-grained complexity of the CFL reachability problem. We first present one of the existing algorithms for the problem and an overview of conditional lower bounds based on widely believed hypotheses. We then use the existing reduction techniques to obtain new conditional lower bounds on CFL reachability and related problems. We also devise a faster algorithm for the problem in case of bounded path lengths and a technique that may be useful in finding new conditional lower bounds. | en_GB |
dc.language.iso | ru | |
dc.subject | контекстно-свободная достижимость | ru_RU |
dc.subject | мелкозернистая сложность | ru_RU |
dc.subject | условные нижние оценки | ru_RU |
dc.subject | CFL reachability | en_GB |
dc.subject | fine-grained complexity | en_GB |
dc.subject | conditional lower bounds | en_GB |
dc.title | Fine-grained reductions around CFL-reachability | en_GB |
dc.title.alternative | Условные нижние оценки для задачи поиска путей с контекстно-свободными ограничениями | ru_RU |
Располагается в коллекциях: | MASTER'S STUDIES |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
VKR_Istomina.A.A.pdf | Article | 995,31 kB | Adobe PDF | Просмотреть/Открыть |
reviewSV_Aleksandra_Istomina._Otzyv_naucnogo_rukovoditela_na_VKR_magistra.sgn.pdf | ReviewSV | 69,51 kB | Adobe PDF | Просмотреть/Открыть |
reviewSV_st062510_Istomina_Aleksandra_Andreevna_(supervisor)(Ru).txt | ReviewSV | 5,9 kB | Text | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.