Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://hdl.handle.net/11701/46006
Полная запись метаданных
Поле DC | Значение | Язык |
---|---|---|
dc.contributor.advisor | Белова Татьяна Сергеевна | ru_RU |
dc.contributor.advisor | Belova Tatana Sergeevna | en_GB |
dc.contributor.author | Шарипов Дениль Ильшатович | ru_RU |
dc.contributor.author | Saripov Denil Ilsatovic | en_GB |
dc.contributor.editor | Шалымов Дмитрий Сергеевич | ru_RU |
dc.contributor.editor | Salymov Dmitrij Sergeevic | en_GB |
dc.date.accessioned | 2024-07-25T11:48:34Z | - |
dc.date.available | 2024-07-25T11:48:34Z | - |
dc.date.issued | 2024 | |
dc.identifier.other | 076065 | en_GB |
dc.identifier.uri | http://hdl.handle.net/11701/46006 | - |
dc.description.abstract | Доказательство нижних оценок на время работы является центральным направлением теории сложности алгоритмов. Мощным инструментом для доказательства нижних оценок являются, так называемые, тонкие сведения, в частности, SETH-сведения. В предположении гипотезы SETH выполняются сильные нижние оценки для различных задач, однако для многих задач до сих пор не известно, являются ли они SETH-трудными. Совсем недавно появился результат Беловой и др., который объясняет сложность построения SETH-сведений для некоторых NP-трудных задач: если бы такие сведения существовали, то выполнялись бы сильные нижние оценки на схемную сложность, доказательство которых является открытой проблемой вот уже 40 лет. Авторы используют новый инструмент для доказательства SETH-несводимости - полиномиальные представления. Если для NP-трудной задачи можно построить полиномиальное представление небольшой сложности, то скорее всего она не является SETH-трудной. В данной дипломной работе развивается идея Беловой и др.: мы находим полиномиальные представления для ряда строковых, графовых и других задач, которые не были затронуты в результате выше, как NP-трудных, так и полиномиальных. | ru_RU |
dc.description.abstract | Proving lower bounds on time complexity is a central direction of computational complexity theory. A powerful tool for proving lower bounds is the so-called fine-grained reductions, in particular, SETH-reductions. Under the assumption of the SETH conjecture, strong lower bounds hold for various problems, however, for many problems it is still not known whether they are SETH-hard. Recently, a result by Belova et al. was published, which explains the complexity of constructing SETH-reductions for some NP-hard problems: if such reductions existed, then strong lower bounds on circuit complexity would hold, the proof of which has been an open problem for 40 years. The authors use a new tool to prove SETH-irreducibility - polynomial formulations. If it is possible to construct a polynomial formulation of small complexity for an NP-hard problem, then most likely it is not SETH-hard. In this thesis, we develop the idea of Belova et al.: we find polynomial formulations for a number of string, graph and other problems that were not considered in the result above, both NP-hard and polynomial. | en_GB |
dc.language.iso | ru | |
dc.subject | Теория сложности алгоритмов | ru_RU |
dc.subject | тонкие сведения | ru_RU |
dc.subject | SETH-сведения | ru_RU |
dc.subject | графы | ru_RU |
dc.subject | Computational complexity theory | en_GB |
dc.subject | fine-grained complexity | en_GB |
dc.subject | SETH-reductions | en_GB |
dc.subject | graphs | en_GB |
dc.title | Derivation of polynomial formulations for some computational problems | en_GB |
dc.title.alternative | Вывод полиномиальных представлений для некоторых вычислительных задач | ru_RU |
Располагается в коллекциях: | BACHELOR STUDIES |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
VKR_Saripov.pdf | Article | 370,03 kB | Adobe PDF | Просмотреть/Открыть |
reviewSV_st076065_Saripov_Denil_Ilsatovic_(supervisor)(Ru).txt | ReviewSV | 1,92 kB | Text | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.