Запитання з тегом «approximation-algorithms»

У коментарі в іншому повідомленні cstheorySE зазначається, що повнота PSPACE передбачає твердість APX. Чи може хто-небудь пояснити / поділитися посиланням на це? Це "тісно"? (тобто, чи є проблеми, повні PSPACE, проблема оптимізації яких передбачає постійне наближення фактора в полі час?) Як щодо повноти для деякого рівня PH? Чи означає це …

14 cc.complexity-theory  approximation-algorithms  approximation-hardness  np  pspace 

Лема: якщо припустити, що у нас є ета-еквівалентність (\x -> ⊥) = ⊥ :: A -> B. Доведення: ⊥ = (\x -> ⊥ x)ета-еквівалентністю та (\x -> ⊥ x) = (\x -> ⊥)зменшенням під лямбда. Звіт Haskell 2010, розділ 6.2, визначає seqфункцію двома рівняннями: seq :: a -> b -> …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

У своїй роботі " Приблизна відстань оракулів , Торпуп та Цвік" показали, що для будь-якого зваженого непрямого графа можна побудувати структуру даних розміром яка може повернути приблизно -приблизну відстань між будь-якою парою вершин на графіку.О ( к н1 + 1 / к)О(кн1+1/к)O(k n^{1+1/k})( 2 к - 1 )(2к-1)(2k-1) На фундаментальному …

14 ds.algorithms  graph-theory  approximation-algorithms  space-complexity 

Чи існує спосіб кодування примірника суми підмножини або проблеми з розділенням чисел, щоб (мале) рішення цілого відношення дало відповідь? Якщо не точно, то в якомусь імовірнісному сенсі? Я знаю, що LLL (і, можливо, PSLQ) використовувались з помірним успіхом у вирішенні завдань Subset Sum у регіоні "низької щільності", де вибраний діапазон …

14 cc.complexity-theory  np-hardness  approximation-algorithms  reductions  subset-sum 

Нещодавно я дізнався про жадібну гіпотезу щодо найкоротшої проблеми з суперструнними . У цій проблемі нам надається набір рядків с1, … , Снs1,…,sns_1,\dots, s_n і ми хочемо знайти найкоротший суперструмент sss тобто такий, що кожний sisis_i з'являється як підрядка sss . Ця проблема є важкою для NP і після довгої …

14 reference-request  approximation-algorithms  greedy-algorithms 

Ми дали спрямований ациклічний граф з номером , пов'язаних з кожною вершиною ( г : V → N ), і цільовим числом Т ∈ N .G = ( V, Е)G=(V,E)G=(V,E)g:V→Ng:V→Ng:V\to \mathbb{N}T∈NT∈NT\in \mathbb{N} Проблема DAG підмножини суми (може існувати під іншим ім'ям, посилання буде великий) запитує , чи є вершини , …

13 ds.algorithms  graph-theory  graph-algorithms  approximation-algorithms  subset-sum 

Відомо, що багато логічних задач (наприклад, проблеми задоволеності декількох модальних логік) не вирішуються. Існує також безліч невирішених проблем в теорії алгоритмів, наприклад, у комбінаторній оптимізації. Але на практиці евристи і приблизні алгоритми добре працюють для практичних алгоритмів. Тож можна очікувати, що приблизні алгоритми для логічних задач також можуть бути придатними. …

13 lo.logic  approximation-algorithms  undecidability 

Функція задавання є монотонною субмодулярною, якщо для всіх A , B , f ( A ) + f ( B ) ≥ f ( A ∪ B ) + f ( A ∩ B ) .fffА , ВA,BA,Bf( А ) + f( B ) ≥ f( A ∪ B ) …

13 ds.algorithms  approximation-algorithms  submodularity 

Фіксований параметр і наближення - це абсолютно різні підходи до вирішення важких проблем. Вони мають різну мотивацію. Наближення шукає швидшого результату з приблизним рішенням. Фіксований параметр шукає точне рішення з часовою складністю з точки зору експоненціальної або деякої функції k і поліноміальної функції n, де n - вхідний розмір, а …

13 cc.complexity-theory  reference-request  approximation-algorithms  fixed-parameter-tractable 

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 

Який взаємозв'язок між та ? Іншими словами, чи є приблизними проблеми, які допускають локальний пошук багаточлена? Чи загальні проблеми оптимізації мають на увазі загальний алгоритм пошуку?PLSPLS\mathsf{PLS}APXAPX\mathsf{APX}

12 cc.complexity-theory  approximation-algorithms 

Згладжений аналіз застосовується багато разів для розуміння часу виконання точних алгоритмів для багатьох проблем, таких як лінійне програмування та k-засоби. У цій царині є досить загальні результати, наприклад, Хайко Рьоглін та Бертольд Векінг, Згладжений аналіз цілого програмування , 2005. Деякі з цих загальних результатів, схоже, покладаються на ізоляційні леми, щоб …

12 cc.complexity-theory  approximation-algorithms  approximation-hardness  smoothed-analysis 

У моїй роботі виникає така проблема: Чи відомий алгоритм, який наближає хроматичне число графа без незалежного набору порядку 65? (Отже, альфа (G) <= 64 відомий, і | V | / 64 - тривіальна нижня, | V | тривіальна верхня межа. Але чи є кращі доведені наближення за цієї особливої ​​умови?) …

12 ds.algorithms  graph-algorithms  approximation-algorithms  graph-colouring 

Що відомо про наступну проблему? Давши колекцію функцій , знайдіть найбільшу підколекцію урахуванням обмеження, яке VC-розмір для деяке ціле .CCCf:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n\rightarrow\{0,1\}S⊆CS⊆CS \subseteq C(S)≤k(S)≤k(S) \leq kkkk Чи є алгоритми наближення або результати твердості для цієї проблеми?

12 reference-request  approximation-algorithms  cg.comp-geom  lg.learning  vc-dimension 

Які проблеми з найвідомішим співвідношенням наближення досягаються алгоритмом, що повертає рівномірно випадкове рішення? Я знаю один з таких прикладів проблеми перекладу потоку перестановки : у статті " Напружені межі для планування потоку перестановок " Вісванат Нагараджан та Максим Свириденко довели, що випадкова послідовність завдань має гарантію ( - кількість машин …

12 ds.algorithms  reference-request  approximation-algorithms