title: Fine-grained reductions around CFL-reachability
metadata.name: dc.contributor.advisor
metadata.value: Чистиков Дмитрий Викторович
metadata.lang: ru_RU
metadata.name: dc.contributor.advisor
metadata.value: Cistikov Dmitrij Viktorovic
metadata.lang: en_GB
metadata.name: dc.contributor.author
metadata.value: Истомина Александра Андреевна
metadata.lang: ru_RU
metadata.name: dc.contributor.author
metadata.value: Istomina Aleksandra Andreevna
metadata.lang: en_GB
metadata.name: dc.contributor.editor
metadata.value: Григорьев Семен Вячеславович
metadata.lang: ru_RU
metadata.name: dc.contributor.editor
metadata.value: Grigorev Semen Vaceslavovic
metadata.lang: en_GB
metadata.name: dc.date.accessioned
metadata.value: 2023-07-26T12:02:09Z
metadata.lang: -
metadata.name: dc.date.available
metadata.value: 2023-07-26T12:02:09Z
metadata.lang: -
metadata.name: dc.date.issued
metadata.value: 2023
metadata.name: dc.identifier.other
metadata.value: 062510
metadata.lang: en_GB
metadata.name: dc.identifier.uri
metadata.value: http://hdl.handle.net/11701/41903
metadata.lang: -
metadata.name: dc.description.abstract
metadata.value: Данная работа посвящена изучению точных оценок на сложность задачи контекстно-свободной достижимости в графах. В работе приведен существующий алгоритм для решения задачи и обзор условных нижних оценок, верных при истинности считаемых верными гипотез. С помощью существующих техник получены новые условные нижние оценки на задачу контекстно-свободной достижимости и связанные с ней задачи. Кроме того представлено улучшение алгоритма в случае поиска путей ограниченной длины и новая техника, которая может упростить получение новых условных нижних оценок.
metadata.lang: ru_RU
metadata.name: dc.description.abstract
metadata.value: 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.
metadata.lang: en_GB
metadata.name: dc.language.iso
metadata.value: ru
metadata.name: dc.subject
metadata.value: контекстно-свободная достижимость
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: мелкозернистая сложность
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: условные нижние оценки
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: CFL reachability
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: fine-grained complexity
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: conditional lower bounds
metadata.lang: en_GB
metadata.name: dc.title
metadata.value: Fine-grained reductions around CFL-reachability
metadata.lang: en_GB
metadata.name: dc.title.alternative
metadata.value: Условные нижние оценки для задачи поиска путей с контекстно-свободными ограничениями
metadata.lang: ru_RU
resources.filename: VKR_Istomina.A.A.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/41903/2/VKR_Istomina.A.A.pdf
resources.format: Adobe PDF
resources.description: Article
resources.size: 995,31 kB
resources.filename: reviewSV_Aleksandra_Istomina._Otzyv_naucnogo_rukovoditela_na_VKR_magistra.sgn.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/41903/3/reviewSV_Aleksandra_Istomina._Otzyv_naucnogo_rukovoditela_na_VKR_magistra.sgn.pdf
resources.format: Adobe PDF
resources.description: ReviewSV
resources.size: 69,51 kB
resources.filename: reviewSV_st062510_Istomina_Aleksandra_Andreevna_(supervisor)(Ru).txt
resources.url: https://dspace.spbu.ru/bitstream/11701/41903/4/reviewSV_st062510_Istomina_Aleksandra_Andreevna_%28supervisor%29%28Ru%29.txt
resources.format: Text
resources.description: ReviewSV
resources.size: 5,9 kB