Запитання з тегом «parameterized-complexity»

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

13 reference-request  graph-algorithms  parameterized-complexity 

Вагадвійкового рядка - кількість одиниць у рядку. Що станеться, якщо нам цікаво обчислити монотонну функцію на входах з кількома?|x||x||x|x∈{0,1}nx∈{0,1}nx\in\{0,1\}^n Ми знаємо, що вирішити, чи має графік -clique, важко для монотонних схем (див. Серед інших Alon Boppana, 1987), але якщо граф має, наприклад, щонайбільше ребер, то можна знайти монотонну обмежену схему …

12 cc.complexity-theory  lower-bounds  circuit-complexity  parameterized-complexity  monotone 

Нехай - формула 2CNF, - негативне ціле число. У цій роботі доведено, що проблема вирішення питання про те, чи можна видалити максимум пунктів, щоб зробити задовільним, є tractable-tractable, де - параметр. Моє запитання: чи є якась робота, яка б узагальнила цей результат на іншій бінарній бульній CSP? (Тобто вирішити, чи …

12 parameterized-complexity  csp  fixed-parameter-tractable 

Нехай і позначає через множину всіх графіків, які можна вбудувати на поверхню роду так, що всі вершини розташовані на зовнішній грані . Наприклад, - це набір зовнішніх площинних графіків. Чи може ширина графіків у бути верхньо обмеженою деякою функцією ?k ∈ Nk∈Nk\in\mathbb{N}ГкGkG_kкkkГ0G0G_0ГкGkG_kкkk Інший напрямок, очевидно, не дотримується, оскільки постійна ширина …

12 graph-theory  co.combinatorics  parameterized-complexity  graph-classes 

Мене цікавить класична проблема РЕГУЛЯЦІЙНЕ ВКЛЮЧЕННЯ МОВИ. Давши регулярний вираз EЕE , позначимо через L(E)L(E)L(E) звичайну мову, пов'язану з ним. (Регулярні вирази знаходяться на фіксованому алфавіті ΣΣ\Sigma , з об'єднанням операцій, зіркою Kleene та конкатенацією.) Введення: Два регулярні вирази і E 2 Питання: Чи правда, що L ( E 1 …

11 cc.complexity-theory  reference-request  regular-language  parameterized-complexity  regular-expressions 

Чи знаєте ви проблеми, які W [1] є твердими навіть для обмежених графів ступенів? Метричний розмір є важким для графіків зі ступенем максимум 3, але він є W [2] -твердим. Червоно-синій Nonblocker раніше був W [1] -твердий на обмежених градусних графах, але в доведенні була помилка (книга Downey Fellows 2013), …

11 reference-request  parameterized-complexity 

У параметризованій складності люди використовують скорочення з фіксованим параметром (FPT), щоб довести W [t] -твердість. Теоретично зменшення FPT не є скороченням поліноміального часу, оскільки може працювати експоненціально в параметрі k. Але на практиці всі скорочення FPT, які я бачив, є скороченнями p-часу, а це означає, що докази твердості W [t] …

11 cc.complexity-theory  np-hardness  reductions  parameterized-complexity 

Припустимо, є параметризованою мовою відносно деякого алфавіту . -slice з є , безліч екземплярів в , які мають параметр . Клас складності містить параметризовані мови такі, що для кожного , можливо, з різним алгоритмом та обмеженим часом виконання поліномів для кожного . Кожна мова, що відстежується з фіксованим параметром, є …

10 cc.complexity-theory  reference-request  parameterized-complexity 

Після еквівалентних запитань щодо NP-повноти (див. Питання ваги та спрямоване запитання ), мені було цікаво, як на ці параметри параметризовані проблеми впливають. Які задачі твердого графа є -Хард на спрямованих графах, але фіксований параметр, який можна відстежувати на непрямих графіках?W [ 1 ]NПNPNPW[ 1 ]W[1]W[1] Які задачі твердого графа є …

10 cc.complexity-theory  graph-algorithms  parameterized-complexity  fixed-parameter-tractable 

Параметризована задача k-FLIP SAT визначається як: Вхідні дані: формула 3-CNF з змінними та присвоєнням істини Параметр: Питання: чи можемо ми перетворити призначення в задаюче завдання для гортаючи значення істинності не більше змінних?φφ\varphinnnσ:[n]→{0,1}σ:[n]→{0,1}\sigma : [n] \to \{0,1\} kkk σσ\sigmaσ′σ′\sigma'φφ\varphi kkk Проблема чітко в FPT ( Stefan Szeider: Параметризована складність локального пошуку …

10 parameterized-complexity  fixed-parameter-tractable 

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

9 soft-question  parameterized-complexity 

Дозволяє ЖFF бути сім'єю гdd-елементи підмножини кінцевої Всесвіту UUUоб'єктів. РодинаНHH з кkk-елементи підмножини UUU, с 1 ≤ k &lt; d1≤k&lt;d1 \le k < d, є ( к , д)(k,d)(k,d)- наїзд набору зЖFF якщо для кожного V∈ FV∈FV \in F існує хоча б один набір W∈ HW∈HW \in H такий як …

9 cc.complexity-theory  reference-request  approximation-hardness  parameterized-complexity 

У попередньому запитанні Параметризований алгоритм пошуку бікліків я запитав, чи існують швидкі параметризовані алгоритми для знаходження -biclique в вершинному графіку і дізнався, що він відкритий, якщо це FPT wrt . Те ж саме вірно і для підрахунку в -bicliques, або відомо , що це # -Жорсткий WRT (або який -небудь …

9 cc.complexity-theory  graph-theory  counting-complexity  parameterized-complexity