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

Нещодавно я зацікавився загальною проблемою оптимізації використання пам’яті в ситуації, коли доступно більше одного виду пам’яті, і існує компроміс між ємністю певного сегмента пам’яті та швидкістю доступу до неї. Знайомий приклад - програма, яка вирішує, коли читати з / запису в кеш процесора, оперативної пам’яті та жорсткого диска (через віртуальну …

14 optimization  program-analysis 

Розглянемо ннn розмірний простір {0,1}n{0,1}н\{0,1\}^n , і нехай ccc є лінійним обмеженням виду a1x1+a2x2+a3х3+ ... +an−1xn−1+anxn≥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 k , де , іx i ∈ { 0 , 1 } k ∈ Rai∈Rai∈Ra_i \in \mathbb{R}xi∈{0,1}xi∈{0,1}x_i \in \{0,1\}k∈Rk∈Rk \in \mathbb{R}. …

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

Ми знаємо, що якщо розрив між значеннями цілої програми та її двоїстою ("розрив подвійності") дорівнює нулю, то лінійні релаксації програмування цілочисельної програми та подвійні релаксації обидва допускають цілісні рішення (нульова "цілісність розрив »). Хочеться знати, чи має місце зворот, хоча б у деяких випадках. P:max{1Tx : A x ≤ 1 …

14 ds.algorithms  optimization  linear-programming  integrality-gap 

Яка обчислювальна складність оптимізації різних функцій над унітарною групою ?U( n )U(н)\mathcal{U}(n) Типова задача, яка виникає часто в квантової теорії інформації, було б максимізувати кількість типу (або вище многочленів порядку в U ) за всіма унітарні матриці U . Чи ефективно цей метод (можливо, приблизно) обчислювальний тип оптимізації, чи це …

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

Я готував деякий навчальний матеріал з евристики для оптимізації і розглядав методи координатного спуску. Тут встановлено багатофакторну функцію fff яку ви хочете оптимізувати. fff має властивість, яка обмежена будь-якою єдиною змінною, її легко оптимізувати. Таким чином, координування спуску триває, проїжджаючи по координатах, фіксуючи все, крім обраного, і мінімізуючи уздовж цієї …

14 ds.algorithms  reference-request  optimization  heuristics 

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

14 optimization  compilers 

Чи відомо про друге найменше - t- cut у потоковій мережі? Або, загальніше, про цю проблему:сssтtt Вхід: мережа та число k , все у двійковій формі . Вихід: A k- й найменший s - t зріз.NNNкkkкkkсssтtt A найменший s - t розріз ( S , T ) - це будь-який …

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

Я читав трохи про метод збору квадратів (SOS) з опитування Barak & Steurer та лекційних записок Барака . В обох випадках вони підмітали питання чисельної точності під килимом. З мого (правда, обмеженого) розуміння методу має бути правдою наступне: Враховуючи будь-яку систему поліноміальних рівностей над реально оціненими змінними , де всі …

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 

Відгалуження і прив'язка є ефективним евристичним для пошукових проблем, і Вікіпедія перераховує ряд важких проблем, де використовуються гілки та зв'язані. Однак мені не вдалося знайти посилання, щоб припустити, що це не просто "один метод" для вирішення цих проблем. Анекдотично я чув, що одні з найкращих евристик для програмування SAT та …

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 

Лінійне програмування, звичайно, сьогодні дуже добре зрозуміло. У нас багато роботи, яка характеризує структуру можливих рішень та структуру оптимальних рішень. Ми маємо сильну подвійність, багаточастові алгоритми тощо. Але що відомо про мінімальні максимальні рішення LP? Або, що рівно, максимально мінімальні рішення? (Це насправді не дослідницьке запитання, але, можливо, у нас …

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