Запитання з тегом «fixed-parameter-tractable»

У параметризованій складності ⊆ W [ 2 ] ⊆ … ⊆ W [ P ] . Можна припустити, що кожне з контейнерів є належним.F P T ⊆ W [1]FPT⊆W[1]\mathsf{FPT} \subseteq \mathsf{W}[1] ⊆ W [ 2 ]⊆W[2]\subseteq \mathsf{W}[2] ⊆ … ⊆ W [ P]⊆…⊆W[P]\subseteq \ldots \subseteq \mathsf{W}[P] Якщо то P = …

20 cc.complexity-theory  parameterized-complexity  fixed-parameter-tractable 

В даний час я роблю опитування літератури з проблеми графомічного ізоморфізму (ГІ). Мені хотілося б знати кілька відкритих питань, пов’язаних із наступним Назвіть параметри графіка, для яких фіксований параметр простежуваності ГІ є відкритою проблемою. Що таке параметри графа, фіксуючи їх поліноміальну розв’язність ГІ, невідомо. Складність GI при обмеженні багатьох класів …

18 graph-isomorphism  fixed-parameter-tractable 

Я хотів би дізнатися про параметризовану складність (як на алгоритмічній, так і на стороні твердості). Які книги / конспекти лекцій я можу прочитати на цю тему?

18 reference-request  parameterized-complexity  fixed-parameter-tractable 

Проблема kkk -cycle полягає в наступному: Екземпляр: Непрямий графік GGG з nnn вершинами і до ребра.(n2)(n2)n \choose 2 Питання: Чи існує (правильний) -цикл у ?kkkGGG Передумови: Для будь-якого фіксованого ми можемо вирішити -цикл за .kkk2k2k2kO(n2)O(n2)O(n^2) Рафаель Юстер, Урі Цвік: Шукати навіть цикли ще швидше. SIAM J. Дискретна математика. 10 (2): …

15 graph-theory  graph-algorithms  clique  polynomial-time  fixed-parameter-tractable 

Коли нам дають розклад дерева на графіку з шириною w , існує кілька способів зробити це "приємним". Зокрема, відомо, що можна перетворити його на декомпозицію дерева, де дерево є бінарним, а його висота - O ( log n ) . Цього можна досягти, зберігаючи ширину розкладання не більше 3 мас …

15 treewidth  parameterized-complexity  fixed-parameter-tractable  cliquewidth 

З огляду на графік, , я хочу , щоб знайти оптимальний г -domination для G . Тобто, я хочу підмножина S з V таким чином, що всі вершини в G знаходяться на відстані не більше ніж г від деякої вершини в S , при зведенні до мінімуму розміру S .G …

14 graph-algorithms  np-hardness  treewidth  parameterized-complexity  fixed-parameter-tractable 

У визначенні (сильної) фіксованості параметра фіксації параметрів обмежений час - це вираз форми де вхідним екземпляром є з параметром , - a многочлен, а f - обчислювальна функція.f( к ) . p ( | x | ) ,f(k).p(|x|),f(k).p(|x|),k p f( х , к )(x,k)(x,k)кkkpppfff Можна замінити вимогу обчислюваності для fff …

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

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

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

Вершинна кришка може бути легко зведена до незалежного набору та навпаки. Однак в умовах параметризованої складності незалежний набір важче, ніж Vertex Cover. Ядро з вершин існує для Vertex Cover, але незалежне безліч W 1 жорстких.2k2k2k Як змінюється характер незалежного набору в контексті FPT і чому?

13 cc.complexity-theory  parameterized-complexity  fixed-parameter-tractable 

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

12 parameterized-complexity  csp  fixed-parameter-tractable 

У статті Стівена Кука про проблему Р проти НП [1] він констатує наступне [2]: Теза техніко-економічного обґрунтування: природна проблема має здійсненний алгоритм, якщо вона має алгоритм поліноміального часу. Моє запитання: що саме він (або взагалі взагалі насправді, що означає) означає " природну проблему"? Говорити про природні проблеми, здається, досить часто, …

11 time-complexity  p-vs-np  complexity  fixed-parameter-tractable 

Гіпотеза Бермана – Хартманіса: всі мови, що не завершуються NP, схожі на один одного, в тому сенсі, що вони можуть бути пов’язані між собою поліноміальними ізоморфізмами часу [1]. Мене цікавить більш дрібнозерниста версія "поліноміального часу", тобто якщо ми будемо використовувати параметризовані скорочення. Параметризована задача - це підмножина , де - …

10 complexity-classes  np-complete  fixed-parameter-tractable 

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

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

Wikipedia пише: FPT містить задані простежувані задачі з фіксованим параметром, які можуть бути вирішені за час для деякої обчислюваної функції f . Зазвичай ця функція розглядається як окрема експоненціальна, наприклад 2 O ( k ), але визначення допускає функції, які зростають ще швидше. Це важливо для значної частини ранньої історії …

10 cc.complexity-theory  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