Диссертация
Корчагин Никита Павлович
Кандидат наук
Статус диссертации
Кандидат наук
Доктор наук Доцент
Тарасов Алексей Вячеславович
Доктор наук Доцент
Мастихина Анна Антоновна
Кандидат наук
физико-математические науки
Диссертационная работа относится к области сложности алгоритмов и теории графов посвящена исследованию массовой задачи о существовании сюръективного гомоморфизма, в которой по данному графу требуется определить, существует ли сюръективный гомоморфизм из него на фиксированный граф. Изучается случай рефлексивных циклов – графов, которые получаются из неориентированных циклов путем ориентиации некоторых рёбер и в которых каждая вершина содержит петлю. Задача изучается в связи с известной массовой задачей сюръективного удовлетворения ограничениям. Предложены новые инструменты, позволяющие анализировать сложность задачи сюръективного удовлетворения ограничениям с помощью полиморфизмов множеств отношений, сведения. С помощью этих свойств определена сложность задачи о существовании сюръективного гомоморфизма для всех рефлексивных циклов, кроме пяти циклов длины 4, 5, 6.
| # | Название файла | Размер |
|---|---|---|
| 1 | Отзыв научного руководителя (консультанта) | 88 KB |
| 2 | Сведения о научных руководителях (консультантах) | 91 KB |
| 3 | Автореферат | 517 KB |
| 4 | Диссертация | 1 MB |
| 5 | Сведения об официальных оппонентах, включая публикации | 103 KB |
| 6 | Протокол приема диссертации к защите | 60 KB |