20130301 np algorithms_kulikov_lecture02-03_tsp

Алгоритмы для NP-трудных задачЛекции 2–3: Алгоритмы для задачи

коммивояжёра

Александр Куликов

Петербургское отделение Математического института им. В. А. СтекловаРоссийская академия наук

Computer Science клуб в Екатеринбурге1–2 марта 2013

А. Куликов (ПОМИ РАН) Алгоритмы для задачи коммивояжёра 1–2 марта 2013 1 / 62

1 Введение

2 ЭвристикиМетод ветвей и границМетод локального поиска

3 Приближённые алгоритмы1.5-приближение для Metric-TSPНеприближаемость общего случая1/2-приближение для максимизационной версии

4 Точные алгоритмыДинамическое программированиеФормула включений-исключенийМатрица Татта и перманент

Содержание

1 Введение

Формулировка задачи

Задача о гамильтоновом цикле: проверить, есть ли в графецикл, проходящий по каждой вершине ровно один раз.

Задача коммивояжёра: найти в данном полном взвешенномграфе гамильтонов цикл минимального веса.Периодически мы будем искать не цикл, а путь.Применения: проектирование схем, планирование, сборкагенома.Сложность полного перебора: O(n!).

Задача о гамильтоновом цикле: проверить, есть ли в графецикл, проходящий по каждой вершине ровно один раз.Задача коммивояжёра: найти в данном полном взвешенномграфе гамильтонов цикл минимального веса.

Периодически мы будем искать не цикл, а путь.Применения: проектирование схем, планирование, сборкагенома.Сложность полного перебора: O(n!).

Задача о гамильтоновом цикле: проверить, есть ли в графецикл, проходящий по каждой вершине ровно один раз.Задача коммивояжёра: найти в данном полном взвешенномграфе гамильтонов цикл минимального веса.Периодически мы будем искать не цикл, а путь.

Применения: проектирование схем, планирование, сборкагенома.Сложность полного перебора: O(n!).

Задача о гамильтоновом цикле: проверить, есть ли в графецикл, проходящий по каждой вершине ровно один раз.Задача коммивояжёра: найти в данном полном взвешенномграфе гамильтонов цикл минимального веса.Периодически мы будем искать не цикл, а путь.Применения: проектирование схем, планирование, сборкагенома.

Сложность полного перебора: O(n!).

Задача о гамильтоновом цикле: проверить, есть ли в графецикл, проходящий по каждой вершине ровно один раз.Задача коммивояжёра: найти в данном полном взвешенномграфе гамильтонов цикл минимального веса.Периодически мы будем искать не цикл, а путь.Применения: проектирование схем, планирование, сборкагенома.Сложность полного перебора: O(n!).

Цикл по 15 городам Германии

Оптимальный маршрут коммивояжёра че-рез 15 крупнейших городов Германии. Ука-занный маршрут является самым короткимиз всех возможных 43 589 145 600.

http://en.wikipedia.org/wiki/Travelling_salesman_problem

Цикл по 13 509 городам США

David Applegate, Robert Bixby, Vasek Chvatal and William Cook.The Traveling Salesman Problem: A Computational Study.

Оптимальный путь лазера85 900 «городов»

David Applegate, Robert Bixby, Vasek Chvatal and William Cook.The Traveling Salesman Problem: A Computational Study.

Ещё интересное

http://www.tsp.gatech.edu/

книги, статьимировые рекордыдатасетыпрограммыигрытриллер

1 Введение

Пример графа

Дерево поиска

E G G G C

D H D F B D

C E E G C G

∞ 14 14

10 10 8

13 14 8

10 8 8

Стоимость: 11 Стоимость: 8

Дерево поиска

E G G G C

D H D F B D

C E E G C G

∞ 14 14

10 10 8

13 14 8

10 8 8

Стоимость: 11 Стоимость: 8

Подзадачи и нижняя граница

подзадача: [a, S , b] — достроение простого пути из a в b,проходящего по всем вершинам из S ∋ a, b (то естькратчайший путь из b в a, проходящий по V ∖ S)

начальная задача: [a, {a}, a]

нижняя граница — сумма из

самого лёгкого ребра из a в V ∖ S ,самого лёгкого ребра из b в V ∖ S иминимального покрывающего дерева графа на вершинахV ∖ S .

подзадача: [a, S , b] — достроение простого пути из a в b,проходящего по всем вершинам из S ∋ a, b (то естькратчайший путь из b в a, проходящий по V ∖ S)начальная задача: [a, {a}, a]

нижняя граница — сумма изсамого лёгкого ребра из a в V ∖ S ,

самого лёгкого ребра из b в V ∖ S иминимального покрывающего дерева графа на вершинахV ∖ S .

нижняя граница — сумма изсамого лёгкого ребра из a в V ∖ S ,самого лёгкого ребра из b в V ∖ S и

минимального покрывающего дерева графа на вершинахV ∖ S .

нижняя граница — сумма изсамого лёгкого ребра из a в V ∖ S ,самого лёгкого ребра из b в V ∖ S иминимального покрывающего дерева графа на вершинахV ∖ S .

1 Введение

Локальный поиск

1 s ← какое-нибудь начальное решение2 while в окрестности s есть решение s ′ большей стоимости3 do заменить s на s ′

4 return s

2-окружение

Узкое место

3-окружение

Пример локального поиска (с 3-окружением)

Локальный поиск абстрактно

стоимость

локальный оптимум

Метод имитации отжига

1 s ← какое-нибудь начальное решение2 repeat3 выбрать случайное решение s ′ из окружения s4 ∆← cost(s ′)− cost(s)5 if ∆ < 06 then заменить s на s ′

7 else заменить s на s ′ с вероятностью e−Δ/T

Метод имитации отжига абстрактно

1 Введение

Задача коммивояжёра в метрическомпространстве

Задача коммивояжёра в метрическом пространстве (Metric TSP):частный случай для графов, веса рёбер которых удовлетворяютнеравенству треугольника (w(i , j) ≤ w(i , k) + w(k , j)).

2-приближённый алгоритм

1 построить минимальное покрывающее дерево T2 продублировать каждое ребро дерева T и

в полученном графе найти эйлеров цикл3 выкинуть из этого цикла все повторения вершин и

вернуть полученный цикл

Пример

910 11

Пример

910 11

Пример

Доказательство

пусть WT — вес минимального остовного дерева, а Wopt —вес оптимального гамильтонова цикла

WT ≤ Wopt, поскольку при выкидывании ребра изгамильтонва цикла получается остовное деревокаждое ребро построенного гамильтонова цикла заменяеткакой-то путь эйлерова цикла, длина которого понеравенству треугольника не менее длины этого ребразначит, длина найденного пути не превосходит 2WT ,а следовательно, и 2Wopt

пусть WT — вес минимального остовного дерева, а Wopt —вес оптимального гамильтонова циклаWT ≤ Wopt, поскольку при выкидывании ребра изгамильтонва цикла получается остовное дерево

каждое ребро построенного гамильтонова цикла заменяеткакой-то путь эйлерова цикла, длина которого понеравенству треугольника не менее длины этого ребразначит, длина найденного пути не превосходит 2WT ,а следовательно, и 2Wopt

пусть WT — вес минимального остовного дерева, а Wopt —вес оптимального гамильтонова циклаWT ≤ Wopt, поскольку при выкидывании ребра изгамильтонва цикла получается остовное деревокаждое ребро построенного гамильтонова цикла заменяеткакой-то путь эйлерова цикла, длина которого понеравенству треугольника не менее длины этого ребра

значит, длина найденного пути не превосходит 2WT ,а следовательно, и 2Wopt

пусть WT — вес минимального остовного дерева, а Wopt —вес оптимального гамильтонова циклаWT ≤ Wopt, поскольку при выкидывании ребра изгамильтонва цикла получается остовное деревокаждое ребро построенного гамильтонова цикла заменяеткакой-то путь эйлерова цикла, длина которого понеравенству треугольника не менее длины этого ребразначит, длина найденного пути не превосходит 2WT ,а следовательно, и 2Wopt

1.5-приближённый алгоритм

1 построить минимальное покрывающее дерево T2 найти минимальное полное паросочетание

всех вершин дерева T нечетной степени3 добавить найденные рёбра в дерево T

и найти в полученном графе эйлеров цикл4 выкинуть из этого цикла все повторения вершин и

вернуть полученный цикл

как и в предыдущем доказательстве, вес построенного циклане превосходит WT + WP , где WP — вес минимальногопаросочетания вершин нечетной степени дерева T

нужно показать, что WP ≤ Wopt/2

обозначим через A множество всех вершин нечётной степенидерева T

рассмотрим такой гамильтонов цикл на вершинах множестваA: вершины множества A в нём будут встречаться в такойпоследовательности, в какой они идут в оптимальномгамильтоновом цикле графа G

Доказательство (продолжение)

важно отметить, что нам не нужно строить такой цикл; намважен лишь факт его существования

разбив вершины только что построенного цикла на чётные инечётные, мы получим два паросочетаниявес хотя бы одного из них будет не более Wopt/2

значит, и вес минимального паросочетания не превосходитWopt/2

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

вес хотя бы одного из них будет не более Wopt/2

важно отметить, что нам не нужно строить такой цикл; намважен лишь факт его существованияразбив вершины только что построенного цикла на чётные инечётные, мы получим два паросочетаниявес хотя бы одного из них будет не более Wopt/2

1 Введение

Неприближаемость

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

Возьмём тогда произвольный (невзвешенный инеобязательно полный) граф и присвоим всем его рёбрамвес 1.Между любыми двумя не соединёнными ребром вершинамидобавим ребро веса 𝛼n + 1.Заметим теперь, что если в исходном графе существуетгамильтонов цикл, то в новом графе существуетгамильтонов цикл веса n.

Предположим, что существует 𝛼-приближённый алгоритмдля задачи коммивояжёра.Возьмём тогда произвольный (невзвешенный инеобязательно полный) граф и присвоим всем его рёбрамвес 1.

Между любыми двумя не соединёнными ребром вершинамидобавим ребро веса 𝛼n + 1.Заметим теперь, что если в исходном графе существуетгамильтонов цикл, то в новом графе существуетгамильтонов цикл веса n.

Предположим, что существует 𝛼-приближённый алгоритмдля задачи коммивояжёра.Возьмём тогда произвольный (невзвешенный инеобязательно полный) граф и присвоим всем его рёбрамвес 1.Между любыми двумя не соединёнными ребром вершинамидобавим ребро веса 𝛼n + 1.

Заметим теперь, что если в исходном графе существуетгамильтонов цикл, то в новом графе существуетгамильтонов цикл веса n.

Предположим, что существует 𝛼-приближённый алгоритмдля задачи коммивояжёра.Возьмём тогда произвольный (невзвешенный инеобязательно полный) граф и присвоим всем его рёбрамвес 1.Между любыми двумя не соединёнными ребром вершинамидобавим ребро веса 𝛼n + 1.Заметим теперь, что если в исходном графе существуетгамильтонов цикл, то в новом графе существуетгамильтонов цикл веса n.

Неприближаемость (продолжение)

Если же такого цикла в исходном графе нет, то самыйлёгкий цикл в новом графе имеет вес хотя бы(𝛼n + 1) + (n − 1) > 𝛼n.

Таким образом, с помощью 𝛼-приближенного алгоритма длязадачи о коммивояжёре мы можем понять, стоимостьоптимального цикла в построенном графе превосходит n илинет.А это позволит нам понять (за полиномиальное время!),есть в исходном графе гамильтонов цикл или нет.Но тогда P = NP.

Если же такого цикла в исходном графе нет, то самыйлёгкий цикл в новом графе имеет вес хотя бы(𝛼n + 1) + (n − 1) > 𝛼n.Таким образом, с помощью 𝛼-приближенного алгоритма длязадачи о коммивояжёре мы можем понять, стоимостьоптимального цикла в построенном графе превосходит n илинет.

А это позволит нам понять (за полиномиальное время!),есть в исходном графе гамильтонов цикл или нет.Но тогда P = NP.

Если же такого цикла в исходном графе нет, то самыйлёгкий цикл в новом графе имеет вес хотя бы(𝛼n + 1) + (n − 1) > 𝛼n.Таким образом, с помощью 𝛼-приближенного алгоритма длязадачи о коммивояжёре мы можем понять, стоимостьоптимального цикла в построенном графе превосходит n илинет.А это позволит нам понять (за полиномиальное время!),есть в исходном графе гамильтонов цикл или нет.

Но тогда P = NP.

Если же такого цикла в исходном графе нет, то самыйлёгкий цикл в новом графе имеет вес хотя бы(𝛼n + 1) + (n − 1) > 𝛼n.Таким образом, с помощью 𝛼-приближенного алгоритма длязадачи о коммивояжёре мы можем понять, стоимостьоптимального цикла в построенном графе превосходит n илинет.А это позволит нам понять (за полиномиальное время!),есть в исходном графе гамильтонов цикл или нет.Но тогда P = NP.

1 Введение

Покрытие ориентированными циклами

1/2-приближение для максимизационной версии

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

1 Введение

Теория и практика

Camil Demetrescu. Engineering shortest path algorithms

1 Введение

Динамическое программирование

Подзадачи: для подмножества городов S ⊆ {1, 2, . . . , n},включающего 1 и j , обозначим через C [S , j ] длинукратчайшего пути, начинающегося в 1 и заканчивающегосяв j , проходящего через каждый город из множества S ровноодин раз.

Пересчёт: C [S , j ] = mini∈S,i =j

{C [S ∖ {j}, i ] + dij}.

Динамическое программирование

Подзадачи: для подмножества городов S ⊆ {1, 2, . . . , n},включающего 1 и j , обозначим через C [S , j ] длинукратчайшего пути, начинающегося в 1 и заканчивающегосяв j , проходящего через каждый город из множества S ровноодин раз.Пересчёт: C [S , j ] = min

i∈S,i =j{C [S ∖ {j}, i ] + dij}.

Псевдокод

1 C [{1}, 1]← 02 for s ← 2 to n3 do for всех S ⊆ {1, 2, . . . , n} размера s, содержащих 14 do C [S , 1]←∞5 for всех j ∈ S , j = 16 do C [S , j ]← min

i∈S,i =j{C [S ∖ {j}, i ] + dij}

7 return minj

C [{1, . . . , n}, j ] + dj1

Сложность алгоритма

Время работы данного алгоритма есть O(n22n) = O*(2n).

Более того, памяти ему требуется тоже O*(2n), что делаетего совсем непрактичным.

Сложность алгоритма

Время работы данного алгоритма есть O(n22n) = O*(2n).Более того, памяти ему требуется тоже O*(2n), что делаетего совсем непрактичным.

1 Введение

Формула включений-исключений

Пусть A — некоторое множество, f , g : 2A → R, т.ч.f (X ) =

∑Y⊆X g(Y ). Тогда

g(X ) =∑Y⊆X

(−1)|X−Y |f (Y ) .

∑Y⊆X

(−1)|X−Y |f (Y ) =∑Y⊆X

∑Z⊆Y

(−1)|X−Y |g(Z ) =

=∑Z⊆X

g(Z )∑

Z⊆Y⊆X

(−1)|X−Y | = g(X )

(последняя сумма равна 1, если Z = X , и нулю иначе).

Формула включений-исключений

Пусть A — некоторое множество, f , g : 2A → R, т.ч.f (X ) =

∑Y⊆X g(Y ). Тогда

g(X ) =∑Y⊆X

(−1)|X−Y |f (Y ) .

∑Y⊆X

(−1)|X−Y |f (Y ) =∑Y⊆X

∑Z⊆Y

(−1)|X−Y |g(Z ) =

=∑Z⊆X

g(Z )∑

Z⊆Y⊆X

(−1)|X−Y | = g(X )

(последняя сумма равна 1, если Z = X , и нулю иначе).

Задача о гамильтоновом пути

Формулировка задачи: необходимо проверить, есть ли вданном графе простой путь, проходящий через все вершины,начинающийся в заданной вершине s и заканчивающийся взаданной вершине t.

Для {s, t} ⊆ X ⊆ V обозначим через f (X ) количество путей(не обязательно простых! путь может проходить понекоторым вершинам несколько раз, а по некоторым вообщене проходить) длины n − 1 из s в t, проходящих только повершинам множества X .Нетрудно видеть, что значение f (X ) содержится в строке s истолбце t матрицы An−1, где A — матрица смежности графаG [X ].

Формулировка задачи: необходимо проверить, есть ли вданном графе простой путь, проходящий через все вершины,начинающийся в заданной вершине s и заканчивающийся взаданной вершине t.Для {s, t} ⊆ X ⊆ V обозначим через f (X ) количество путей(не обязательно простых! путь может проходить понекоторым вершинам несколько раз, а по некоторым вообщене проходить) длины n − 1 из s в t, проходящих только повершинам множества X .

Нетрудно видеть, что значение f (X ) содержится в строке s истолбце t матрицы An−1, где A — матрица смежности графаG [X ].

Формулировка задачи: необходимо проверить, есть ли вданном графе простой путь, проходящий через все вершины,начинающийся в заданной вершине s и заканчивающийся взаданной вершине t.Для {s, t} ⊆ X ⊆ V обозначим через f (X ) количество путей(не обязательно простых! путь может проходить понекоторым вершинам несколько раз, а по некоторым вообщене проходить) длины n − 1 из s в t, проходящих только повершинам множества X .Нетрудно видеть, что значение f (X ) содержится в строке s истолбце t матрицы An−1, где A — матрица смежности графаG [X ].

Задача о гамильтоновом пути (продолжение)

Пусть теперь g(X ) есть количество путей длины n − 1 из sв t, проходящих по всем вершинам множества X . Вчастности, g(V ) есть количество гамильтоновых путей из sв t.

Тогдаg(V ) =

∑Y⊆V

(−1)|V−Y |f (Y ) .

Таким образом, количество гамильтоновых путей в графеможет быть найдено за время O*(2n) и полиномиальнуюпамять.Интересно отметить, что данный алгоритм переизобреталсятри раза.

Пусть теперь g(X ) есть количество путей длины n − 1 из sв t, проходящих по всем вершинам множества X . Вчастности, g(V ) есть количество гамильтоновых путей из sв t.Тогда

g(V ) =∑Y⊆V

(−1)|V−Y |f (Y ) .

g(V ) =∑Y⊆V

(−1)|V−Y |f (Y ) .

Таким образом, количество гамильтоновых путей в графеможет быть найдено за время O*(2n) и полиномиальнуюпамять.

Интересно отметить, что данный алгоритм переизобреталсятри раза.

g(V ) =∑Y⊆V

(−1)|V−Y |f (Y ) .

1 Введение

Замечание

Далее мы рассмотрим алгоритм Бьорклунда для решения задачио гамильтоновом цикле в двудольном графе за время O*(2n/2).Для общего случая задачи коммивояжёра оценка на времяработы алгоритма Бьорклунда составляет O*(1.657n ·W ) (W —максимальный вес ребра).

Перманент матрицы Татта

x12 x13 x14

x12 x24

x13 x34

x14 x24 x34

x12 x13 x14

x12 x24

x13 x34

x14 x24 x34

perm(M) =

x12 x13 x14

x12 x24

x13 x34

x14 x24 x34

perm(M) = x12x24x43x31 + . . .

x12 x13 x14

x12 x24

x13 x34

x14 x24 x34

perm(M) = x12x24x43x31 + x213x224 + . . .

x12 x13 x14

x12 x24

x13 x34

x14 x24 x34

perm(M) = x12x24x43x31 + x213x224 +

x12x24x43x31 + . . .

Поле характеристики 2

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

Мы хотим исправить следующие два момента: во-первых,чтобы гамильтоновы циклы не сокращались, а во-вторых,чтобы покрытия с циклами длины 2 всё же пропадали.

Поле характеристики 2

Если вычислять перманент над полем характеристики 2, товсе циклы, не полностью состоящие из циклов длины 2,сократятся. Действительно, если в покрытии циклами естьцикл длины не 2, то возьмём первый из них (первыйотносительного какого-нибудь фиксированного порядка навершинах) и обратим в нём все рёбра. Получим другоепокрытие циклами, которому соответствует тот же самыймоном.Мы хотим исправить следующие два момента: во-первых,чтобы гамильтоновы циклы не сокращались, а во-вторых,чтобы покрытия с циклами длины 2 всё же пропадали.

Первая цель: оставить гамильтоновы циклы

Сделаем вершину 1 графа выделенной: TG [1, j ] = x1j , ноTG [j , 1] = xj1 для ребра {1, j} ∈ E . Тогда каждому гамильтоновуциклу будут соответствовать два разных монома.

x12 x13 x14

x21 x24

x31 x34

x41 x24 x34

Вторая цель: сократить всё остальное

CEBECD

Почему же всё сократится?

В новом графе нам нужен помеченный гамильтонов цикл.

В матрице Татта теперь будут помеченные переменные:вместо x24 будет x24,C + x24,E .При вычислении над полем характеристики 2 гамильтоновыциклы по-прежнему не сократятся (из-за специальнойпеременной 1).Всё остальное:

покрытия циклами, в которых используются не всепометки — сократятся по формуле включений-исключений(рассмотрим все 2n/2 подмножеств пометок);негамилтьтоновы покрытия циклами, в которых есть всепометки, разобьются на пары и сократятся (из-за пометок).

В новом графе нам нужен помеченный гамильтонов цикл.В матрице Татта теперь будут помеченные переменные:вместо x24 будет x24,C + x24,E .

При вычислении над полем характеристики 2 гамильтоновыциклы по-прежнему не сократятся (из-за специальнойпеременной 1).Всё остальное:

В новом графе нам нужен помеченный гамильтонов цикл.В матрице Татта теперь будут помеченные переменные:вместо x24 будет x24,C + x24,E .При вычислении над полем характеристики 2 гамильтоновыциклы по-прежнему не сократятся (из-за специальнойпеременной 1).

Всё остальное:

В новом графе нам нужен помеченный гамильтонов цикл.В матрице Татта теперь будут помеченные переменные:вместо x24 будет x24,C + x24,E .При вычислении над полем характеристики 2 гамильтоновыциклы по-прежнему не сократятся (из-за специальнойпеременной 1).Всё остальное:

покрытия циклами, в которых используются не всепометки — сократятся по формуле включений-исключений(рассмотрим все 2n/2 подмножеств пометок);

негамилтьтоновы покрытия циклами, в которых есть всепометки, разобьются на пары и сократятся (из-за пометок).

Получившийся алгоритм

Рассмотрим многочлен

P(x) =∑S⊆L

perm(MS).

Как мы уже выяснили, этот многочлен не равен нулю тогдаи только тогда, когда в графе есть гамильтонов цикл.Проверять, равен он нулю или нет, мы будем вероятностно:подставим случайные значения всем переменным; еслиполучился не ноль, то и многочлен точно не равен нулю; впротивном случае мы могли попасть в корень.

P(x) =∑S⊆L

perm(MS).

Как мы уже выяснили, этот многочлен не равен нулю тогдаи только тогда, когда в графе есть гамильтонов цикл.

Проверять, равен он нулю или нет, мы будем вероятностно:подставим случайные значения всем переменным; еслиполучился не ноль, то и многочлен точно не равен нулю; впротивном случае мы могли попасть в корень.

P(x) =∑S⊆L

perm(MS).

Как мы уже выяснили, этот многочлен не равен нулю тогдаи только тогда, когда в графе есть гамильтонов цикл.Проверять, равен он нулю или нет, мы будем вероятностно:подставим случайные значения всем переменным; еслиполучился не ноль, то и многочлен точно не равен нулю; впротивном случае мы могли попасть в корень.

Проверка равенства нулю многочлена

ЛеммаПусть P — ненулевой многочлен полной степени d над полем F ипусть S ⊆ F. Тогда

Prr1,...,rn∈S{P(r1, . . . , rn) = 0} ≤ d/|S | .

ДоказательствоИндукция по n. При n = 1 утверждение верно, поскольку умногочлена степени d от одной переменной может быть не болееd корней.

Проверка равенства нулю многочлена

ЛеммаПусть P — ненулевой многочлен полной степени d над полем F ипусть S ⊆ F. Тогда

Prr1,...,rn∈S{P(r1, . . . , rn) = 0} ≤ d/|S | .

ДоказательствоИндукция по n. При n = 1 утверждение верно, поскольку умногочлена степени d от одной переменной может быть не болееd корней.

ПереходРазложим многочлен P по степеням переменной xn:

P(x1, . . . , xn) =k∑

x inPi(x1, . . . , xn−1) ,

где deg(Pi) ≤ d − i , k ≤ d и Pk ≡ 0. Распишем теперь поформуле полной вероятности:

Pr{P(r1, . . . , rn) = 0} =

Pr{P(r1, . . . , rn) = 0 ∧ Pk(r1, . . . , rn−1) = 0}+Pr{P(r1, . . . , rn) = 0 ∧ Pk(r1, . . . , rn−1) = 0} ≤

(d − k)/|S |+ Pr{P(r1, . . . , rn) = 0 | Pk(r1, . . . , rn−1) = 0}(d − k)/|S |+ k/|S | = d/|S |

Открытые задачи

Открытые задачиТочный алгоритм для задачи о гамильтоновом цикле вориентированных графах за O*(1.99n).

Какое-нибудь константное приближение для metric TSP вориентированных графах.Приближение лучше 1.5 для metric TSP внеориентированных графах.Приближение лучше 2/3 для максимального циклакоммивояжёра.

Открытые задачиТочный алгоритм для задачи о гамильтоновом цикле вориентированных графах за O*(1.99n).Какое-нибудь константное приближение для metric TSP вориентированных графах.

Приближение лучше 1.5 для metric TSP внеориентированных графах.Приближение лучше 2/3 для максимального циклакоммивояжёра.

Открытые задачиТочный алгоритм для задачи о гамильтоновом цикле вориентированных графах за O*(1.99n).Какое-нибудь константное приближение для metric TSP вориентированных графах.Приближение лучше 1.5 для metric TSP внеориентированных графах.

Приближение лучше 2/3 для максимального циклакоммивояжёра.

Открытые задачиТочный алгоритм для задачи о гамильтоновом цикле вориентированных графах за O*(1.99n).Какое-нибудь константное приближение для metric TSP вориентированных графах.Приближение лучше 1.5 для metric TSP внеориентированных графах.Приближение лучше 2/3 для максимального циклакоммивояжёра.

Литература I

Held, M., Karp, R. M.A dynamic programming approach to sequencing problems. 1962.Lin, Shen; Kernighan, B. W.An Effective Heuristic Algorithm for the Traveling-SalesmanProblem. 1973.Christofides, N.Worst-case analysis of a new heuristic for the travelling salesmanproblem. 1973.Kohn, S., Gottlieb, A., Kohn, M.A generating function approach to the traveling salesmanproblem. 1977.

Литература II

Lawler, E. L.; Lenstra, J. K.; Rinnooy Kan, A. H. G.; Shmoys,D. B.The Traveling Salesman Problem: A Guided Tour ofCombinatorial Optimization. 1985.Goldberg, D. E. Genetic Algorithms in Search, Optimization andMachine Learning. 1989.Arora, S.Polynomial time approximation schemes for Euclidean travelingsalesman and other geometric problems. 1998.Applegate, D. L.; Bixby, R. E.; Chvatal, V.; Cook, W. J.The Traveling Salesman Problem: A Computational Study. 2006.Bjorklund, A.Determinant Sums for Undirected Hamiltonicity. 2010.

Литература III

Cook, W.In Pursuit of the Travelling Salesman: Mathematics at the Limitsof Computation. 2011.Paluch, K., Elbassioni, K., Zuylen, A. van.Simpler Approximation of the Maximum Asymmetric TravelingSalesman Problem. 2012.Cygan, M., Kratsch, S., Nederlof, J.Fast Hamiltonicity checking via bases of perfect matchings.2013.

Спасибо!

Спасибо за внимание!

20130301 np algorithms_kulikov_lecture02-03_tsp

Documents

CAPACITACIÓN PARA INSTALACIÓN DE TUBERIA ADS …proyectos.sustam.com/.../20130301-45aeb_FORMATO_PARA_CAPACI… · lubricante necesario para el proceso de inserción. ... para alojar

20130301 np algorithms_kulikov_lecture01_np

Die Welt auf entdecken · 2019. 7. 23. · ABEL TASMAN NP AORAKI / MT. COOK NP WESTLAND NP TONGARIRO NP WHANGANUI NP GLACIER NP NELSON LAKES NP ARTHURS PASS NP FIORD-LAND NP MT. ASPIRING

20130301 - Cursus Digitaal Historisch Onderzoek 2013: College 2 - Historische context

Presentación de PowerPoint...17 UCAYALI 65% 18 ANCASH NP 19 HUANCAVELICA NP 20 LORETO NP 21 MADRE DE DIOS NP 22 MOQUEGUA NP 23 PASCO NP 24 PIURA NP 25 PUNO NP 26 SAN MARTIN NP 27

NP-31/NP-11 Owner's Manual

· PDF file2013- np-006 2013- np-032 2013- np-033 2013 -np-060 2013- np-069 2013 -np-073 2013 _np_076 2013- np-078 2013 -np-085 2013- -087 2013- -102 2013

Publicação oficial do IPQ, enquanto Organismo Nacional de ... · ISO, NP IEC, NP ISO/IEC, NP EN ISO/IEC, NP HD ou NP ENV, número, parte e data), o preço, ... NP EN 13670:2011

· a-aso l.uz CIO CCD CCD u.lZ tuz w9 CIC]3 dN np W!orpv np np W!orpy np êUlOW!ned np np W!orpv np np np W!orpv W!0fpv an b!uqoal 101 tua,p a.lpeo 91.10 el wunp 91.pneqwa e uone30A

madina 20130301

Öffnungsmelder (Magnetkontakte) · Anhang A (normativ) – Maße und Anforderungen der genormten Prüfmagnete ... C M NP NP Einschaltabstand unterschritten A, B, C NP NP NP

ARKOTE G1 2010 · 2010. 8. 21. · Lugar: 230 P Fecha: Trainera: 1076 976 225 P 246 NP 652 P 221 P 1893 NP 1461 NP 1348 NP 439 NP 704 NP 1884 NP 239 NP 1609 P 1610 P 292 NP 693 NP

PREBENJAMIN MASCULINO (50 ML) - Delegación Soriana de ... Provincial 2017-20170603... · 69 DARÍO JIMÉNEZ MARTÍNEZ ESCUELAS TRILEMA NP NP NP NP NP Delegación Soria de Atletismo

Zion np en bryce np 22 07

Iugonet 20130301

싱실연 조선일보 20130301

Home | Hipódromo de la Zarzuela - 12:20 · 2020. 7. 24. · 1 12,9,11,np,10,10 2 8,10,8,9,11,11 3 1,2,2,5,4,7 4 10,7,6,10,12,5 5 5,6,np,np,np,np 6 7,np,10,4,np,3 7 9,11,5,2,8,4 8

CAMPEONATO DE RALLYES 2017 CAMPEONATO … · (noemi garrido lopez) ... (pedro moreno mateu) r.c.costa azahar (np-np-ret-np-np-np) ... victor manuel hernandez vegara 140 140 no puntua

alpha Value Line - NP Dimensionamento e dados técnicos · PDF fileDimensionamento da alpha Value Line – NP 4 NP 005S 6 NP 015S 8 NP 025S 10 NP 035S 12 ... aplicação – em eixos

maw3300nc/np maw3147nc/np maw3073nc/np hard disk - Fujitsu