Методы оптимизации, задачи
Материал из eSyr's wiki.
Строка 156: | Строка 156: | ||
<math> = \max\limits_{A(x'_1 - x'_2)^T - x^{'T}_3 = - b, \; x' \geqslant \bar{0}} \langle c, x_2^{'T} - x_1^{'T} \rangle = \max\limits_{x^{'T}_3 = A(x'_1 - x'_2)^T + b, \; x' \geqslant \bar{0}} \langle c, x_2^{'T} - x_1^{'T} \rangle = \max\limits_{A(x'_1 - x'_2)^T \leqslant b, \; x^{'T}_1, x^{'T}_2 \geqslant \bar{0}} \langle c, x_2^{'T} - x_1^{'T} \rangle. \qquad (4)</math> | <math> = \max\limits_{A(x'_1 - x'_2)^T - x^{'T}_3 = - b, \; x' \geqslant \bar{0}} \langle c, x_2^{'T} - x_1^{'T} \rangle = \max\limits_{x^{'T}_3 = A(x'_1 - x'_2)^T + b, \; x' \geqslant \bar{0}} \langle c, x_2^{'T} - x_1^{'T} \rangle = \max\limits_{A(x'_1 - x'_2)^T \leqslant b, \; x^{'T}_1, x^{'T}_2 \geqslant \bar{0}} \langle c, x_2^{'T} - x_1^{'T} \rangle. \qquad (4)</math> | ||
+ | |||
Для любого <math>x: \; Ax \leqslant b</math> положим <math>x_1^{'T} = \frac{|x|-x}{2}, \; x_2^{'T} = \frac{|x|+x}{2}:</math> | Для любого <math>x: \; Ax \leqslant b</math> положим <math>x_1^{'T} = \frac{|x|-x}{2}, \; x_2^{'T} = \frac{|x|+x}{2}:</math> | ||
<math>\max\limits_{Ax \leqslant b} \langle c,x \rangle \leqslant \max\limits_{A(x'_1 - x'_2)^T \leqslant b, \; x^{'T}_1, x^{'T}_2 \geqslant \bar{0}} \langle c, x_2^{'T} - x_1^{'T} \rangle.</math> | <math>\max\limits_{Ax \leqslant b} \langle c,x \rangle \leqslant \max\limits_{A(x'_1 - x'_2)^T \leqslant b, \; x^{'T}_1, x^{'T}_2 \geqslant \bar{0}} \langle c, x_2^{'T} - x_1^{'T} \rangle.</math> | ||
+ | |||
Для любых <math>x_1^{'T}, x_2^{'T} \geqslant \bar{0}</math> положим <math>x = x_2^{'T} - x_1^{'T}:</math> | Для любых <math>x_1^{'T}, x_2^{'T} \geqslant \bar{0}</math> положим <math>x = x_2^{'T} - x_1^{'T}:</math> | ||
<math>\max\limits_{A(x'_1 - x'_2)^T \leqslant b, \; x^{'T}_1, x^{'T}_2 \geqslant \bar{0}} \langle c, x_2^{'T} - x_1^{'T} \rangle \leqslant \max\limits_{Ax \leqslant b} \langle c,x \rangle.</math> | <math>\max\limits_{A(x'_1 - x'_2)^T \leqslant b, \; x^{'T}_1, x^{'T}_2 \geqslant \bar{0}} \langle c, x_2^{'T} - x_1^{'T} \rangle \leqslant \max\limits_{Ax \leqslant b} \langle c,x \rangle.</math> | ||
+ | |||
+ | |||
+ | В итоге получаем, что | ||
+ | |||
+ | <math>\max\limits_{Ax \leqslant b} \langle c,x \rangle \leqslant \max\limits_{A(x'_1 - x'_2)^T = b, \; x^{'T}_1, x^{'T}_2 \geqslant \bar{0}} \langle c, x_2^{'T} - x_1^{'T} \rangle.</math> | ||
+ | |||
Следовательно, задачи <math>(1)</math> и <math>(4)</math> совпадают, ч.т.д. | Следовательно, задачи <math>(1)</math> и <math>(4)</math> совпадают, ч.т.д. | ||
+ | |||
+ | |||
+ | |||
+ | == Задача 8 == | ||
+ | |||
+ | |||
+ | '''Условие.''' Доказать, что задача ЛП эквивалентна задаче <math>\hat{P}y = \hat{q}, \; y \geqslant \bar{0}.</math> | ||
+ | |||
+ | |||
+ | '''Решение.''' Любая задача ЛП может быть представлена в форме озЛП: <math>\max\limits_{Ax \leqslant b, \; x \in \mathbb{R}^n} \langle c,x \rangle.</math> | ||
+ | |||
+ | В свою очередь, в силу утверждения 4 §7 озЛП наряду с двойственной задачей <math>\min\limits_{\lambda A = c, \lambda \geqslant \bar{0}} \langle \lambda, b \rangle.</math> эквивалентна следующей системе ЛН: | ||
+ | |||
+ | <math>\begin{cases} Ax \leqslant b \\ \lambda A = c \\ \lambda \geqslant \bar{0} \\ \langle c,x \rangle = \langle \lambda, b \rangle \end{cases}, \quad (x,\lambda) \in \mathbb{R}^{n+m}.</math> | ||
+ | |||
+ | Представим <math>x</math> в виде <math>x = x_2 - x_1; \; x_1, x_2 \in \mathbb{R}^n, \; x_1, x_2 \geqslant \bar{0}.</math> Получим систему | ||
+ | |||
+ | <math>\begin{cases} A(x_2-x_1) \leqslant b \\ A^T \lambda^T = c^T \\ \langle c,x_2-x_1 \rangle - \langle b^T, \lambda^T \rangle = 0 \\ \lambda \geqslant \bar{0} \\ x_1 \geqslant \bar{0} \\ x_2 \geqslant \bar{0} \end{cases} \Leftrightarrow \begin{cases} A(x_2-x_1) = b - Ez \\ A^T \lambda^T = c^T \\ \langle c,x_2-x_1 \rangle - \langle b^T, \lambda^T \rangle = 0 \\ z \geqslant \bar{0}, \quad z \in \mathbb{R}^m \\ \lambda \geqslant \bar{0}, \quad \lambda \in \mathbb{R}^m \\ x_1 \geqslant \bar{0}, \quad x_1 \in \mathbb{R}^n \\ x_2 \geqslant \bar{0}, \quad x_2 \in \mathbb{R}^n \end{cases} \quad (1)</math> | ||
+ | |||
+ | Положим <math>\begin{pmatrix} x_1 \\ x_2 \\ \lambda^T \\ z \end{pmatrix} = y</math>. Тогда система <math>(1)</math> эквивалентна системе | ||
+ | |||
+ | <math>\hat{P}y = \hat{q}, \; y \geqslant \bar{0}, \; \hat{P} = \begin{pmatrix} | ||
+ | -A & A & \bar{0} & E \\ | ||
+ | \bar{0} & \bar{0} & A^T & \bar{0} \\ | ||
+ | -c & c & -b^T & \bar{0} | ||
+ | \end{pmatrix}, \; \hat{q} = \begin{pmatrix} b \\ c^T \\ \bar{0}\end{pmatrix}, </math> ч.т.д. | ||
+ | |||
+ | |||
+ | |||
{{Курс Методы оптимизации}} | {{Курс Методы оптимизации}} |
Версия 18:24, 8 июня 2009
Содержание |
Задача 1
Условие. Предложить неизбыточную кодировку задачи коммивояжёра. Дать оценку длины входа и сравнить её с .
Решение. Пусть m — число городов, B — максимальная длина маршрута, D = {di,j} — матрица расстояний между городами. Будем кодировать m, B и di,j в двоичном виде. Кроме того, включим в алфавит символ-разделитель #. Таким образом, кодировка будет состоять из двоичных записей чисел m, B и элементов di,j, между которыми находятся разделители #. При этом можно включать в кодировку не все элементы di,j, а только те, которые лежат выше главной диагонали матрицы D (поскольку в силу равенств di,j = dj,i и di,i = 0 матрица D симметрична и имеет нулевую главную диагональ). Кроме того, можно не кодировать и число m, поскольку оно однозначно определяется по числу разделителей между элементами матрицы.
Для того чтобы осуществить двоичное кодирование некоторого числа N, необходимо символов. Таким образом, длина входа задачи коммивояжёра будет равна
Кодировать число B и верхнюю часть матрицы D надо в любом случае; двоичное кодирование неизбыточно; разделителей мы добавили лишь полиномиальное число (порядка ). Поэтому кодировка является неизбыточной.
Оценка лучше предложенной, но вряд ли достижима.
Задача 2
Условие. Дать алгоритм распознавания простоты числа и оценить его временную сложность.
Решение. Будем считать, что исходное число N вводится в двоичном виде. Для того, чтобы проверить его на простоту, будем делить его поочерёдно на 2, 3, ..., N-1 и рассматривать остатки от делений. Если на очередном шаге остаток получился равным нулю, то процесс можно не продолжать — рассматриваемое число не являеся простым; если же мы произвели все деления и не получили ни одного нулевого остатка, то число является простым.
Таким образом, в худшем случае (когда рассматриваемое число — простое) получаем N-2 деления.
Деление будем производить «столбиком». Пусть мы делим некоторое число a на некоторое число b (с соответствующими битовыми длинами ma и mb). Тогда на каждое вычитание двоичных строк потребуется, грубо говоря, 2(mb + 1) битовых операций (непосредственно вычитания плюс проверки); всего же таких итераций будет не больше, чем ma − mb + 1.
Получаем, что
Следовательно, деление «столбиком» имеет сложность O(n2).
Итого, сложность всего алгоритма равна
Задача 3
Условие. Завершить доказательство утверждения 9 (§3 методички) для случая k = 1, 2.
Решение. В том случае, когда дизъюнктивные функции, входящие в КНФ задачи о выполнимости, зависят от одной или двух переменных, их можно представить в виде конъюнкции дизъюнктивных функций трёх переменных следующим образом:
- При k = 1:
- При k = 2:
При этом переменные u являются фиктивными, то есть такая замена является эквивалентной (в отличие от замены для случая k = 3). Таким образом, эти три преобразования позволяют полиномиально свести задачу ВЫП к задаче 3-ВЫП.
Задача 4
Условие. Доказать, что задача ПЧ.
Решение. Согласно определению, задача ПЧ будет принадлежать классу , если дополнительная к ней задача будет принадлежать классу
Дополнительной к задаче ПЧ является задача распознавания того, является ли число (назовём его N, с битовой длиной n) составным. Для проверки этого будем использовать детерминированные машины Тьюринга, которые «столбиком» делят N на числа, соответственно, от 2 до N-1 и находят остатки от этих делений. Если хотя бы одна из ДМТ выдаст нулевой остаток, вся НДМТ останавливается — число N является составным. Если же все остатки отличны от нуля, N — простое число.
Деление «столбиком» имеет сложность порядка O(n2) (см. Задачу 2); длина каждого из слов-подсказок не превышает n, поэтому время их прочтения не больше k*n, где k — некоторый коэффициент. Следовательно, временная сложность всей НДМТ, решающей задачу о том, является ли число составным, также полиномиальна. Таким образом, эта задача принадлежит классу , а задача ПЧ принадлежит классу
Задача 5
Условие. Свести задачу ЛП с ограничениями в канонической форме к основной задаче ЛП.
Решение. Другими словами, необходимо задачу свести к задаче
Применим к ограничениям в канонической форме равносильные преобразования:
Учитывая равносильность условий и , получаем:
Получаем, что , где то есть мы свели задачу ЛП с ограничениями в канонической форме к основной задаче ЛП.
Задача 6
Условие. Оценить по порядку битовую длину L входа озЛП. А именно, доказать, что L > O(ln(nΔ)), где Δ = max | detD' | , D' — квадратная подматрица D, D — симплекс-матрица озЛП.
Решение. Входом озЛП является симплекс-матрица D, имеющая вид
Таким образом, для кодирования входа озЛП в любом случае необходимо закодировать числа , а также само число n для последующего восстановления размерности матрицы. Кроме того, в кодировку необходимо добавить разделители между числами, или указать число бит, выделяемое на кодирование каждого числа, или ещё каким-либо способом предоставить возможность однозначной расшифровки чисел. В свою очередь, при кодировании самих чисел в общем случае необходимо закодировать их знак и дробную часть. Получается, что даже в простейшем случае, когда все числа являются целыми и неотрицательными (а битовая длина целого неотрицательного числа k есть число, не меньшее log2(k + 1)), длину входа озЛП можно оценить снизу следующим образом:
- где di,j — элементы матрицы D.
Далее, , где — некоторая квадратная подматрица D размерности k x k. Получаем, что
- , где — перестановки чисел 1, ..., k, а .
Следовательно,
Эту сумму можно оценить сверху величиной так как если раскрыть в ней скобки, то мы получим все необходимые произведения плюс некоторую неотрицательную часть. Таким образом,
Итак, ч.т.д.
Задача 7
Условие. Доказать, что двойственная задача к двойственной совпадает с прямой задачей для озЛП.
Решение. Пусть дана прямая задача ЛП в основной форме:
Запишем для неё двойственную задачу:
Приведём эту задачу к основной форме.
Далее, .
Получаем, что
где
Запишем задачу, двойственную к (2):
Представим x' в виде Тогда
=
Для любого положим
Для любых положим
В итоге получаем, что
Следовательно, задачи (1) и (4) совпадают, ч.т.д.
Задача 8
Условие. Доказать, что задача ЛП эквивалентна задаче
Решение. Любая задача ЛП может быть представлена в форме озЛП:
В свою очередь, в силу утверждения 4 §7 озЛП наряду с двойственной задачей эквивалентна следующей системе ЛН:
Представим x в виде Получим систему
Положим . Тогда система (1) эквивалентна системе
ч.т.д.