Ремонт принтеров, сканнеров, факсов и остальной офисной техники


назад Оглавление вперед




[281]

(т.е. его размер ограничен полиномом от размера формулы р>), и что построение графа G по формуле р> проводится за полиномиальное время. Таким образом, задача 3-CNF-SAT сводится за полиномиальное время к задаче HAM-CYCLE, что и требовалось доказать.

36.4.4. Задача коммивояжёра

С задачей о гамильтоновом цикле тесно связана задача коммивояжёра (traveling salesman problem, TSP). В этой задаче требуется найти оптимальный маршрут посещения га городов.

Коммивояжёр хочет объехать все города, побывав в каждом ровно по одному разу и вернуться в город, из которого начато путешествие. Известно, что перелёт из города г в город j стоит c(i,j) рублей (считаем цены целыми числами). В терминах теории графов задачу можно сформулировать так: требуется найти в данном графе гамильтонов цикл с наименьшей стоимостью (стоимость цикла есть сумма стоимостей всех его рёбер). Соответствующий язык формально определяется так:

TSP = {(G, с,k) : G = (V, Е) - полный граф,с : V X V -> Z - функция стоимости, к G Z и в G есть гамильтонов цикл стоимости не более к}.

Теорема 36.15

Задача коммивояжера является NP-полной. Доказательство

Очевидно, задача TSP принадлежит классу NP (в качестве сертификата можно взять гамильтонов цикл стоимости не выше к).

Чтобы убедиться, что задача коммивояжёра является NP-трудной, сведём к ней задачу HAM-CYCLE. Чтобы узнать, есть ли в графе G гамильтонов цикл, построим полный граф G с теми же вершинами; рёбра из G будут иметь цену 0, а все остальные рёбра - цену 1. Очевидно, что в графе G существует путь коммивояжёра стоимости 0 в том и только в том случае, когда граф G имел гамильтонов цикл.

Упражнения

36.5-1

Задача изоморфизма с подграфом subgraph-isomorphism problem требует выяснить для пары графов G\ и G2, изоморфен ли граф G\ некоторому подграфу графа G2. Докажите, что эта задача NP-полна.

36.5-2

Дана целочисленная матрица А размера т X п и то-мерный вектор Ь. Задача 0-1 целочисленного линейного программирования (01 integer-progeamming problem) требует выяснить, существует ли такой га-мерный вектор х с элементами из множества {0,1}, что Ах Ь. Докажите, что данная задача NP-полна. (Указание: сведи-


те к ней задачу 3-CNF-SAT.) 36.5-3

Докажите, что задача о сумме подмножества становится полиномиальной, если величину требуемой суммы (t) записывать в унарной системе счисления (как последовательность из t единиц).

36.5-4

Задача о разбиении на равные части (set-partition problem) состоит в следующем: дано множество целых чисел S; выяснить, можно ли разбить его на две части с равными суммами, то есть найти множество ACS, для которого YlxeA х = 2xes\Ax- Покажите, что эта задача является NP-полной.

36.5-5

Докажите NP-полноту задачи о гамильтоновом пути (упр. 36.26). 36.5-6

Задача о самом длинном простом цикле состоит в отыскании в данном графе простого (без повторяющихся вершин) цикла наибольшей длины. Сформулируйте соответствующую задачу разрешения и докажите её NP-полноту.

36.5-7

Профессор утверждает, что конструкцию А-блока в доказательстве теоремы 36.14 можно упростить, исключив вершины z3 и z4, а также вершины под над ними. Прав ли он - или такое упрощение создаст не предвиденные им проблемы?

Задачи

36-1 Независимое множество

Множество вершин V С V графа G = (V, Е) называется независимым (independent), если никакие две его вершины не соединены ребром. Задача о независимом множестве (independent-set problem) состоит в отыскании в данном графе независимого множества максимального размера.

a.Сформулируйте соответствующую задачу разрешения и докажите ее NP-полноту.

b.Предположим, мы имеем «чёрный ящик», с помощью которого можем решать задачу из пункта (а) за единичное время. Как с его помощью находить независимое множество максимального размера (а не только этот размер) за полиномиальное (от \V\ и \Е\) время?

Хотя задача о независимом множестве в общей постановке NP-полна, некоторые её частные случаи могут быть решены за полиномиальное время.

c.Постройте полиномиальный алгоритм, решающий задачу о независимом множестве для графов степени 2. Докажите правильность вашего алгоритма и оцените время его работы.

d.Постройте полиномиальный алгоритм, решающий задачу о независимом множестве для двудольных графов. Докажите правиль-


ность вашего алгоритма и оцените время его работы. (Указание: используйте результаты раздела 27.3.) 36-2 Раскраска графа

Назовём к-раскраской (/г-coloring) неориентированного графа G = (V, Е) функцию с : V -> {1, 2,... , к}, для которой с(и) ф с[у) для всех рёбер (и, v) £ Е. Если считать, что числа 1,2,... , к обозначают к различных цветов, a c(v) есть цвет вершины v, то условие на раскраску состоит в том, что концы любого ребра имеют разные цвета. Задача о раскраске графа (graph-coloring problem) состоит в нахождении минимального количества цветов, необходимого для раскраски данного графа G с соблюдением этого условия.

a.Постройте эффективный алгоритм, находящий 2-раскраску данного графа (если таковая существует).

b.Сформулируйте задачу разрешения, соответствующую задаче о раскраске графа. Докажите, что сформулированная вами задача разрешима за полиномиальное время в том и только том случае, если задача о раскраске графа разрешима за полиномиальное время.

c.Рассмотрим язык 3-COLOR, состоящий из графов, для которых существует 3-раскраска. Покажите, что если язык 3-COLOR является NP-полным, то и задача пункта (Ь) является NP-полной.

Чтобы установить NP-полноту языка 3-COLOR, сведём к нему язык 3-CNF-SAT. Пусть имеется формула р> из класса 3-CNF, состоящая из т дизъюнкций и содержащая переменные х\, х2, • • • , хп. Построим по ней граф G = (V,E), который можно раскрасить в три цвета в том и только том случае, когда формула р> выполнима.

Для каждой переменной жг- формулы р> мы добавим в граф две вершины (одна будет обозначаться жг-, другая - -*Xi). Кроме того, для каждой дизъюнкции мы добавим по 5 вершин. Наконец, нам понадобятся три специальные вершины, которые мы будем условно называть true, false и red.

Теперь опишем рёбра графа G. Они делятся на два типа, которые мы условно назовём «литеральные» и «дизъюнктивные». Три литеральных ребра соединяют между собой вершины true, false и red (тем самым гарантируя, что каждая из трёх вершин будет окрашена в свой цвет). Кроме того, для каждой переменной жг- имеется треугольник из литеральных рёбер, включающий в себя вершины жг-, -1Жг- и red. (К дизъюнктивным рёбрам мы ещё вернёмся.)

d.Рассмотрим произвольную 3-раскраску графа G с описанными литеральными ребрами. Докажите, что из каждой пары вершин жг-, -1Жг- одна покрашена в цвет c(true), то есть в тот же цвет, что вершина true, а другая - в цвет c(false). Покажите, что есть естественное соответствие между 3-раскрасками такого графа и наборами значений переменных.

Остается описать дизъюнктивные рёбра; они нужны, чтобы наложить на 3-раскраску условия, соответствующие истинности



[стр.Начало] [стр.1] [стр.2] [стр.3] [стр.4] [стр.5] [стр.6] [стр.7] [стр.8] [стр.9] [стр.10] [стр.11] [стр.12] [стр.13] [стр.14] [стр.15] [стр.16] [стр.17] [стр.18] [стр.19] [стр.20] [стр.21] [стр.22] [стр.23] [стр.24] [стр.25] [стр.26] [стр.27] [стр.28] [стр.29] [стр.30] [стр.31] [стр.32] [стр.33] [стр.34] [стр.35] [стр.36] [стр.37] [стр.38] [стр.39] [стр.40] [стр.41] [стр.42] [стр.43] [стр.44] [стр.45] [стр.46] [стр.47] [стр.48] [стр.49] [стр.50] [стр.51] [стр.52] [стр.53] [стр.54] [стр.55] [стр.56] [стр.57] [стр.58] [стр.59] [стр.60] [стр.61] [стр.62] [стр.63] [стр.64] [стр.65] [стр.66] [стр.67] [стр.68] [стр.69] [стр.70] [стр.71] [стр.72] [стр.73] [стр.74] [стр.75] [стр.76] [стр.77] [стр.78] [стр.79] [стр.80] [стр.81] [стр.82] [стр.83] [стр.84] [стр.85] [стр.86] [стр.87] [стр.88] [стр.89] [стр.90] [стр.91] [стр.92] [стр.93] [стр.94] [стр.95] [стр.96] [стр.97] [стр.98] [стр.99] [стр.100] [стр.101] [стр.102] [стр.103] [стр.104] [стр.105] [стр.106] [стр.107] [стр.108] [стр.109] [стр.110] [стр.111] [стр.112] [стр.113] [стр.114] [стр.115] [стр.116] [стр.117] [стр.118] [стр.119] [стр.120] [стр.121] [стр.122] [стр.123] [стр.124] [стр.125] [стр.126] [стр.127] [стр.128] [стр.129] [стр.130] [стр.131] [стр.132] [стр.133] [стр.134] [стр.135] [стр.136] [стр.137] [стр.138] [стр.139] [стр.140] [стр.141] [стр.142] [стр.143] [стр.144] [стр.145] [стр.146] [стр.147] [стр.148] [стр.149] [стр.150] [стр.151] [стр.152] [стр.153] [стр.154] [стр.155] [стр.156] [стр.157] [стр.158] [стр.159] [стр.160] [стр.161] [стр.162] [стр.163] [стр.164] [стр.165] [стр.166] [стр.167] [стр.168] [стр.169] [стр.170] [стр.171] [стр.172] [стр.173] [стр.174] [стр.175] [стр.176] [стр.177] [стр.178] [стр.179] [стр.180] [стр.181] [стр.182] [стр.183] [стр.184] [стр.185] [стр.186] [стр.187] [стр.188] [стр.189] [стр.190] [стр.191] [стр.192] [стр.193] [стр.194] [стр.195] [стр.196] [стр.197] [стр.198] [стр.199] [стр.200] [стр.201] [стр.202] [стр.203] [стр.204] [стр.205] [стр.206] [стр.207] [стр.208] [стр.209] [стр.210] [стр.211] [стр.212] [стр.213] [стр.214] [стр.215] [стр.216] [стр.217] [стр.218] [стр.219] [стр.220] [стр.221] [стр.222] [стр.223] [стр.224] [стр.225] [стр.226] [стр.227] [стр.228] [стр.229] [стр.230] [стр.231] [стр.232] [стр.233] [стр.234] [стр.235] [стр.236] [стр.237] [стр.238] [стр.239] [стр.240] [стр.241] [стр.242] [стр.243] [стр.244] [стр.245] [стр.246] [стр.247] [стр.248] [стр.249] [стр.250] [стр.251] [стр.252] [стр.253] [стр.254] [стр.255] [стр.256] [стр.257] [стр.258] [стр.259] [стр.260] [стр.261] [стр.262] [стр.263] [стр.264] [стр.265] [стр.266] [стр.267] [стр.268] [стр.269] [стр.270] [стр.271] [стр.272] [стр.273] [стр.274] [стр.275] [стр.276] [стр.277] [стр.278] [стр.279] [стр.280] [стр.281] [стр.282] [стр.283] [стр.284] [стр.285] [стр.286] [стр.287] [стр.288] [стр.289] [стр.290] [стр.291] [стр.292] [стр.293] [стр.294]