Запитання з тегом «optimization»

Мене досить бентежить література безперервної оптимізації та література ТКС щодо того, які типи (безперервних) математичних програм (МП) можна ефективно вирішити, а які - не. Спільнота безперервної оптимізації, схоже, стверджує, що всі опуклі програми можна вирішити ефективно, але я вважаю, що їх визначення "ефективного" не збігається з визначенням TCS. Це питання …

31 ds.algorithms  optimization  linear-programming  semidefinite-programming  polynomial-time 

В моїй освіті з інформатики я все частіше помічаю, що більшість дискретних проблем є повними NP (принаймні), тоді як оптимізація безперервних проблем майже завжди легко досяжна, як правило, градієнтними методами. Чи є з цього винятки?

27 cc.complexity-theory  co.combinatorics  optimization 

Що відомо про складність наступної проблеми: Дано: раціональні числа .x1&lt;x2&lt;…&lt;xnx1&lt;x2&lt;…&lt;xnx_1 < x_2 < \dotso < x_n Вихід: цілі числа .y1≤y2≤…≤yny1≤y2≤…≤yny_1 \le y_2 \le \dotso \le y_n Мета: мінімізувати де∑1≤i&lt;j≤ne(i,j),∑1≤i&lt;j≤ne(i,j),\sum_{1 \le i < j \le n} e(i,j),e(i,j)=|(yj−yi)−(xj−xi)|.e(i,j)=|(yj−yi)−(xj−xi)|.e(i,j) = | (y_j-y_i) - (x_j-x_i)|. Тобто, ми б хотіли округлити раціональні числа до цілих …

25 ds.algorithms  reference-request  optimization 

Розглянемо проблеми оптимізації наступної форми. Нехай f(x)f(x)f(x) - поліномальна обчислювальна функція, яка відображає рядок в раціональне число. Завдання оптимізації полягає в наступному: що максимальне значення над -бітовий рядки ?xxxf(x)f(x)f(x)nnnxxx Скажемо, що така задача має характеристику мінімаксу , якщо є інша обчислювана багаточленна функція , така, що . Тут x працює …

23 cc.complexity-theory  graph-algorithms  complexity-classes  optimization  linear-programming 

Квантові комп'ютери дуже хороші для вибірки розподілів, які ми не знаємо, як відібрати за допомогою класичних комп'ютерів. Наприклад, якщо f - булева функція (від до - 1 , 1 ), яку можна обчислити в поліноміальний час, то за допомогою квантових комп'ютерів ми можемо ефективно відібрати вибірку відповідно до розподілу, описаного …

23 quantum-computing  cg.comp-geom  optimization 

Мене цікавить проблема упаковки однакових копій (2-х мірних) прямокутників у опуклий (двовимірний) багатокутник без перекриттів. У моїй проблемі вам заборонено обертати прямокутники, і ви можете вважати, що вони орієнтовані паралельно осям. Ви щойно давали розміри прямокутника та вершини багатокутника і запитували, скільки однакових копій прямокутника можна упакувати в багатокутник. Якщо …

23 reference-request  np-hardness  cg.comp-geom  optimization  packing 

Як ми знаємо, функція -clique C L I Q U E ( n , k ) приймає ( розтягується ) підграф G ⊆ K n повного n -верхового графіка K n , а результати 1 iff G містять k -clique . Змінні в цьому випадку відповідають краях з До п …

21 cc.complexity-theory  optimization  circuit-complexity 

Код Хаффмана для розподілу ймовірностей - код префікса з мінімально зваженою середньою довжиною кодового слова , де - довжина го кодового слова. Загальновідома теорема, що середня довжина на символ коду Хаффмана становить між та , де - ентропія Шеннона розподілу ймовірностейppp∑piℓi∑piℓi\sum p_i \ell_iℓiℓi\ell_iiiiH(p)H(p)H(p)H(p)+1H(p)+1H(p)+1H(p)=−∑ipilog2piH(p)=−∑ipilog2⁡piH(p) = -\sum_i \, p_i \log_2 p_i Канонічний …

21 optimization  it.information-theory  coding-theory 

Вам дається графік з вершинами. Якщо ви хочете, це може бути двостороннім. Існує наборів ребер (скажіть, що перебувають у розриві). Мене цікавить проблема пошуку підмножини , якомога меншої (або навіть меншої), щоб індукований графік мав принаймні один край від кожного класу , для .G = ( V, Е)Г=(V,Е)G = (V,E)ннnммmЕ1, …

19 ds.algorithms  graph-theory  optimization 

Чи можливо алгоритмічно перевірити, чи є обчислюване число раціональним чи цілим? Іншими словами, чи можливо бібліотеці, яка реалізує обчислювані числа, надавати функції isIntegerабо isRational? Я здогадуюсь, що це неможливо, і що це якимось чином пов'язане з тим, що неможливо перевірити, чи є два числа рівними, але я не бачу, як …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Моїм 8-річним набридло, створюючи звичайні лабіринти, і він взявся за створення таких варіантів: Ідея полягає в тому, щоб почати з x і досягти o через звичайні правила. Крім того, ви можете " перейти " з будь-якого цілого числа на будь-яке інше ціле число b , але ви повинні сплатити | …

18 ds.algorithms  optimization  puzzles 

Розглянемо цю проблему: Враховуючи список кінцевих наборів, знайдіть замовлення що мінімізує .s1,s2,s3,…s1,s2,s3,…s_1, s_2, s_3, \ldots|s1|+|s1∪s2|+|s1∪s2∪s3|+…|s1|+|s1∪s2|+|s1∪s2∪s3|+…|s_1| + |s_1 \cup s_2| + |s_1 \cup s_2 \cup s_3| + \ldots Чи існують відомі алгоритми цього? У чому полягає її складність? Я ще не міг придумати ефективний оптимальний алгоритм, але це очевидно і в …

17 cc.complexity-theory  ds.algorithms  optimization 

Багато років тому я чув, що обчислення мінімальної NFA (недетермінований кінцевий автомат) від DFA (детермінованої) було відкритим питанням, на відміну від навпаки напрямку, яке було відоме десятиліттями і добре досліджене з ефективним алгоритм. Хтось придумав алгоритм?О ( п лгn )О(нlg⁡н)O(n \lg n) Швидкий пошук дав мені цей документ, який доводить, …

17 ds.algorithms  reference-request  fl.formal-languages  automata-theory  optimization 

Розглянемо наступну проблему: Вхід : гіперплощина H = { y ∈ R n : a T y = b }H={y∈Rn:aTy=b}H = \{ \mathbf{y} \in \mathbb{R}^n: \mathbf{a}^T\mathbf{y} = {b}\} , задана векторами a ∈ Z na∈Zn\mathbf{a} \in \mathbb{Z}^n і b ∈ Zb∈Zb \in \mathbb{Z} у стандартному бінарному поданні. x ∈ Z …

15 cc.complexity-theory  optimization  linear-algebra  integer-lattice 

Я задавав це питання на Stack Overflow деякий час тому: Проблема: продаж Боба . Хтось запропонував розмістити це питання і тут. Хтось уже задав тут питання, пов’язане з цією проблемою - Мінімальна вага лісу даної кардинальності - але, наскільки я розумію, це не допомагає мені в моїй проблемі. Відповідь на …

15 ds.algorithms  np-hardness  tree  optimization  application-of-theory