Добавил:
Upload
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:SAOD-2.docx
X
- •Алгоритмы на графах
- •Представление графов
- •Матрица смежности
- •Матрица инцидентности
- •Алгоритм Уоршелла. Построение матрицы транзитивного замыкания.
- •Алгоритм Флойда
- •Центр орграфа
- •Обходы графов
- •Дерево выражений. Примеры использования синтаксических структур
- •Топологическая сортировка
- •Алгоритм сильной связности
- •Неориентированные графы.
- •Остовное дерево минимальной стоимости
- •Алгоритм Прима. Алгоритм Крускала.
- •Алгоритм Прима
- •Алгоритм Крускала
- •Паросочетания и покрытия графов.
- •Раскраска графов
- •Алгоритмы раскраски графов
- •Задачи сводимые к задачи раскраски
- •Задача составления расписания
- •Задача распределения ресурсов
- •Задача экономии памяти
- •Потоки в сетях
- •Алгоритм нахождения максимального потока
- •Дерево двоичного поиска
- •Классификация задач
- •Формальные языки
- •Сложностной класс np
- •Сводимость
- •Сводимости используемые при доказательстве np-полноты
Сводимости используемые при доказательстве np-полноты
SAT – задача о выполнимости логической функции;
3CNF – трёх конъюнктивно нормальная форма;
CLIQUE – задача о нахождении максимальной клики на графе;
VERTEX-COVER – задача о минимально возможном вершинном покрытии;
SUBSET-SUM – известная нам уже задача о монетах;
HAM-CYCLE – гамильтонов цикл;
TSP – travel sensement problem – задача коммивояжёра.
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]