Вопросы с тегом «linear-programming»

Математический и вычислительный метод для нахождения наилучшего результата в данной математической модели, где список требований представлен в виде линейных отношений.

52
Комбинаторная версия полиномиальной гипотезы Гирша

Рассмотрим непересекающихся семейств подмножеств {1,2,…, n}, F 1 , F 2 , … F t .TttF1, F2, … FTF1,F2,…Ft{\cal F}_1,{\cal F_2},\dots {\cal F_t} Предположим, что (*) Для каждого , и каждый R ∈ F я и Т ∈ F к , существует S ∈ F J , который содержит R ∩ T .я < J < Ki<j<ki \lt j \lt kR ∈...

44
Важность разрыва целостности

У меня всегда были проблемы с пониманием важности разрыва целостности (IG) и ограничений на него. IG - это отношение (качества) оптимального целочисленного ответа к (качеству) оптимального реального решения релаксации задачи. Давайте рассмотрим покрытие вершин (VC) в качестве примера. VC можно...

36
Сложность симплексного алгоритма

Какова верхняя граница симплексного алгоритма для поиска решения линейной программы? Как мне найти доказательства для такого случая? Кажется, что наихудший случай - посещение каждой вершины, то есть . Однако на практике симплексный алгоритм будет работать значительно быстрее, чем этот, для более...

31
Последствия существования сильно полиномиального алгоритма для линейного программирования?

Одним из основных принципов разработки алгоритма является нахождение сильно полиномиального алгоритма для линейного программирования, т. Е. Алгоритма, время выполнения которого ограничено полиномом по числу переменных и ограничений и не зависит от размера представления параметров (при условии...

31
Какие классы математических программ могут быть решены точно или приблизительно за полиномиальное время?

Меня довольно смущает литература по непрерывной оптимизации и литература TCS о том, какие типы (непрерывных) математических программ (МП) могут быть эффективно решены, а какие нет. Сообщество непрерывной оптимизации, кажется, утверждает, что все выпуклые программы могут быть решены эффективно, но я...

30
Существует ли алгоритм полиномиального времени, чтобы определить, содержит ли диапазон набора матриц матрицу перестановок?

Я хотел бы найти алгоритм полиномиального времени, который определяет, содержит ли диапазон данного набора матриц матрицу перестановок. Если кто-нибудь знает, относится ли эта проблема к другому классу сложности, это было бы так же полезно. РЕДАКТИРОВАТЬ: я пометил этот вопрос с помощью линейного...

25
Является ли кубическая сложность все еще современным для LP?

Согласно D. den Hertog, «Подход с внутренней точки к линейному, квадратичному и выпуклому программированию», 1994 , линейная программа с переменными, n ограничениями и точностью L разрешима за O ( n 3 L ) времени. Это было улучшено?NNnNNnLLLO ( n3Л...

23
Задачи оптимизации с хорошей характеристикой, но без алгоритма полиномиального времени

Рассмотрим задачи оптимизации следующего вида. Пусть f(x)f(x)f(x) - вычислимая функция полиномиального времени, которая отображает строку xxx в рациональное число. Задача оптимизации заключается в следующем: что максимальное значение f(x)f(x)f(x) над nnn -битовый строки xxx ?...

21
Являются ли реберно-вершинные графы многогранников (приличных) экспандерами?

Этот вопрос вдохновлен полиномиальной гипотезой Хирша (PHC). Учитывая гранный многогранник в , ограничена ли спектральная щель графа вершин и вершин (назовем его ) снизу ? Обратите внимание, что граф циклов на вершинах показывает, что даже при спектральная щель может быть такой маленькой, как ; так...

21
Как быстро мы можем решить полностью унимодулярную целочисленную линейную программу?

(Это продолжение этого вопроса и его ответа .) У меня есть следующая полностью унимодулярная (TU) целочисленная линейная программа (ILP). Здесь - все натуральные числа, заданные как часть входных данных. Указанное подмножество переменных x i j устанавливается в ноль, а остальные могут принимать...

19
Интуитивное / неформальное доказательство LP Duality?

Что было бы хорошим неофициальным / интуитивно понятным доказательством того, что «удар по теме» о дуальности ЛП? Как лучше всего показать, что минимизированная целевая функция действительно является минимальной с интуитивным способом понимания границ? То, как меня учили, дуальность привела только...

19
Каковы наилучшие возможные временные / ошибочные компромиссы для приближенного решения линейных программ?

Для конкретности рассмотрим LP для решения игры с нулевой суммой для двух игроков, где у каждого игрока есть действий. Предположим, что каждая запись матрицы выплат имеет самое большее 1 в абсолютном значении. Для простоты давайте не будем делать предположений об ограниченности.nnnAAA Предположим,...

18
Можно ли проверить, является ли вычислимое число рациональным или целым?

Можно ли алгоритмически проверить, является ли вычисляемое число рациональным или целым? Другими словами, возможно ли для библиотеки, которая реализует вычислимые числа, предоставлять функции isIntegerили isRational? Я предполагаю, что это невозможно, и что это как-то связано с тем, что невозможно...

18
Интегральный разрыв и коэффициент аппроксимации

Когда мы рассматриваем алгоритм аппроксимации для задачи минимизации, разрыв интегральности IP-формулировки для этой задачи дает нижнюю границу отношения аппроксимации для определенного класса алгоритмов (таких как алгоритм округления или простой двойственный алгоритм). На самом деле существует...

17
Решение полуопределенных программ за полиномиальное время

Мы знаем, что линейные программы (ЛП) могут быть решены точно за полиномиальное время с помощью метода эллипсоидов или метода внутренних точек, таких как алгоритм Кармаркара. Некоторые ЛП с суперполиномиальным (экспоненциальным) числом переменных / ограничений также могут быть решены за...

17
Структура патологических случаев для симплексных алгоритмов

Насколько я понимаю, все известные детерминированные сводные правила для симплексных алгоритмов имеют конкретные входные данные, для которых алгоритму требуется экспоненциальное время (или, по крайней мере, не полиномиальное), чтобы найти оптимальный. Давайте назовем эти случаи «патологическими»,...

17
Как не вычислить наименьший круг, заключающий в себе конечный набор кругов

Предположим , что мы имеем конечное множество дисков в , и мы хотим вычислить наименьший диск , для которых . Стандартный способ сделать это состоит в использовании алгоритма Matoušek, Шарир и Welzl [1] , чтобы найти базис из , и пусть , самый маленький диск , содержащий . Диск может быть вычислен...

15
Эквивалентность технико-экономического обоснования и оптимизации для линейных систем

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

15
Можно ли эффективно равномерно выбрать соседа вершины в графе многогранника?

У меня есть многогранник определенный как .PPP{x:Ax≤b,x≥0}{x:Ax≤b,x≥0}\{ x : Ax \leq b, x \geq 0\} Вопрос: Учитывая вершину из P , есть ли алгоритм полиномиального времени для равномерной выборки из соседей v в графе P ? (Многочлен в измерении, число уравнений и представление б . Я могу...

14
Обобщение венгерского алгоритма на общие неориентированные графы?

Венгерский алгоритм - это комбинаторный алгоритм оптимизации, который решает проблему согласования двудольных с максимальным весом за полиномиальное время и предвосхищает дальнейшее развитие важного первично-двойственного метода . Алгоритм был разработан и опубликован Гарольдом Куном в 1955 году,...