Вопросы с тегом «optimization»

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

14 optimization  program-analysis 

Рассмотрим мерное пространство , и пусть - линейное ограничение вида , где , и k \ in \ mathbb {R} .nnn{0,1}n{0,1}n\{0,1\}^nccca1Икс1+ а2Икс2+ а3Икс3+ . , , + а n - 1Иксn - 1+ аNИксN≥ ka1x1+a2x2+a3x3+ ... +an−1xn−1+anxn≥ka_1x_1 + a_2x_2 + a_3x_3 +\ ...\ + a_{n-1}x_{n-1} + a_nx_n \geq kaя∈ Rai∈Ra_i …

14 reference-request  co.combinatorics  optimization  linear-programming  convex-optimization 

Мы знаем, что если разрыв между значениями целочисленной программы и ее двойственной («двойственность разрыв») равен нулю, то линейные программные релаксации целочисленной программы и двойственной релаксации, оба допускают интегральные решения (нулевая) интегральность разрыв "). Я хочу знать, верно ли обратное, по крайней мере, в некоторых случаях. AP:max{1Tx:Ax≤1,x∈{0,1}n}P:max{1Tx:Ax≤1,x∈{0,1}n}P: \max\{1^Tx: Ax \leq 1, …

14 ds.algorithms  optimization  linear-programming  integrality-gap 

Какова вычислительная сложность оптимизации различных функций над унитарной группой ?U( н )U(N)\mathcal{U}(n) Типичная задача, возникающая часто в квантовой теории информации, было бы максимизировать количество типа (или выше многочленов порядка в ) по всем унитарные матрицы . Является ли этот тип оптимизации эффективным (возможно, приблизительно) вычислимым или NP-сложным? (возможно, это хорошо …

14 cc.complexity-theory  reference-request  optimization  quantum-information 

Я готовлю некоторые учебные материалы по эвристике для оптимизации и изучаю методы координатного спуска. Здесь настройка представляет собой многовариантную функцию которую вы хотите оптимизировать. f имеет свойство, ограниченное какой-либо одной переменной, его легко оптимизировать. Таким образом, спуск координат происходит путем циклического перемещения по координатам, фиксации всех, кроме выбранной, и минимизации …

14 ds.algorithms  reference-request  optimization  heuristics 

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

14 optimization  compilers 

Что-нибудь известно о втором наименьшем - -резе в сети потока? Или, в общем, об этой проблеме:sssTTt Вход: сеть и число , все в двоичном виде. Выход: наименьшее - вырезать.NNNККkККksssTTt - й наименьший - разреза любые - вырезать, например , что существует ровно - порезы , чьи мощностиККksssTTt( S, Т)(S,T)(S,T)sssTTtк - …

13 cc.complexity-theory  optimization  max-flow-min-cut  flow-problems 

Я немного читал о методе суммы квадратов (SOS) из опроса Barak & Steurer и лекционных заметок Barak . В обоих случаях они охватывают вопросы числовой точности под ковриком. Из моего (по общему признанию ограниченного) понимания метода следует следующее: Для любой системы полиномиальных равенств над вещественными переменными x ∈ R n …

13 optimization  sum-of-squares 

Этот вопрос о задачах квадратичного программирования с коробочными ограничениями (box-QP), т. Е. Задачах оптимизации вида минимизировать учетом x ∈ [ 0 , 1 ] n .f(x)=xTAx+cTxf(x)=xTAx+cTxf(\mathbf{x}) = \mathbf{x}^T A \mathbf{x} + \mathbf{c}^T \mathbf{x}x∈[0,1]nx∈[0,1]n\mathbf{x} \in [0,1]^n Если бы был положительно полудетерминированным, то все было бы хорошо, выпукло и легко, и мы …

13 ds.algorithms  optimization  exp-time-algorithms 

Ветвление и ограничение - эффективная эвристика для задач поиска, и в Википедии перечислен ряд сложных проблем, где использовались ветвление и привязка. Тем не менее, мне не удалось найти ссылки, позволяющие предположить, что это больше, чем просто «один метод» решения этих проблем. Как ни странно, я слышал, что некоторые из лучших …

13 ds.algorithms  reference-request  optimization  heuristics 

Я начинаю исследовать возможность использования решателя SAT для решения интересующей меня проблемы оптимизации, и в настоящее время я ищу опрос, который будет содержать примеры «умных» преобразований в варианты SAT (то есть преобразований, которые приводят к в задаче разумного размера, так как меня интересует не доказательство результатов твердости, а фактическое решение …

13 ds.algorithms  reference-request  sat  optimization 

Существуют ли алгоритмы переупорядочения данных для оптимизации для сжатия? Я понимаю, что это специфично для данных и алгоритма сжатия, но есть ли слово для этой темы? Где я могу найти исследования в этой области? В частности, у меня есть список json с 1,5 миллионами строк, и я хочу изменить порядок …

12 optimization  permutations 

Input вселенная и семейство подмножеств , скажем, . Будем считать , что подмножества можно покрыть , то есть, .U F ⊆ 2 U F U ⋃ E ∈ F E = UUUUUUUF⊆2UF⊆2U{\cal F} \subseteq 2^UFF{\cal F}UUU⋃E∈FE=U⋃E∈FE=U\bigcup_{E\in {\cal F}}E=U Инкрементный последовательность покрытие представляет собой последовательность подмножеств , скажем, , что удовлетворяетA …

12 cc.complexity-theory  ds.algorithms  approximation-algorithms  optimization  set-cover 

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

12 ds.algorithms  reference-request  optimization  linear-programming  na.numerical-analysis 

Линейное программирование, конечно, в настоящее время очень хорошо понято. У нас много работы, которая характеризует структуру возможных решений и структуру оптимальных решений. У нас сильная двойственность, многовременные алгоритмы и т. Д. Но что известно о минимальных максимальных решениях ЛП? Или, что эквивалентно, максимальные минимальные решения? (Это на самом деле не …

12 cc.complexity-theory  ds.algorithms  reference-request  linear-programming  optimization