Вопросы с тегом «parameterized-complexity»

Treewidth и pathwidth являются популярными параметрами, измеряющими близость графа к дереву или пути, соответственно. В самом деле, кажется, что древовидная ширина настолько популярна, что во многих статьях, книгах и конспектах лекций, которые (даже очень осторожно) знакомят с алгоритмическими аспектами древовидной структуры (см., Например, книгу Дауни и сотрудников). Как правило, эти …

13 reference-request  graph-algorithms  parameterized-complexity 

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

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

Пусть - формула 2CNF, а k - неотрицательное целое число. В этой статье доказано, что проблема принятия решения о том, можно ли удалить не более k предложений, чтобы сделать φ выполнимой, задается с фиксированным параметром, где k - параметр. Мой вопрос заключается в том, есть ли какие-либо работы, которые обобщают …

12 parameterized-complexity  csp  fixed-parameter-tractable 

Пусть и обозначим через множество всех графов, которые могут быть вложены в поверхность рода , что все вершины расположены на внешней грани . Например, - это множество внешнепланарных графов. Может ли ширина графов в ограничена сверху некоторой функцией от ?G k k G 0 G k kk∈Nk∈Nk\in\mathbb{N}GkGkG_kkkkG0G0G_0GkGkG_kkkk Другое направление, очевидно, …

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

Меня интересует классическая проблема РЕГУЛЯРНОГО ВКЛЮЧЕНИЯ ЯЗЫКА. Для регулярного выражения обозначим через L ( E ) связанный с ним регулярный язык. (Регулярные выражения на фиксированном алфавите Σ с объединением операций, звездой Клини и конкатенацией.)ЕЕEL ( E)L(Е)L(E)ΣΣ\Sigma Входные данные: два регулярных выражения и E 2 Вопрос: Верно ли, что L ( …

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

Знаете ли вы задачи, которые являются W [1] -твердыми даже для ограниченных графов степеней? Метрическое измерение сложно на графах со степенью не более 3, но это W [2] -твердый. Красно-синий неблокатор был 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 из L является L K = L ∩ { ( х , к ) | х ∈ Е * } , множество экземпляров в L , которые имеют параметр K . Класс сложности X P содержит параметризованные языки …

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

После эквивалентных вопросов относительно NP-полноты (см. Вопрос о весе и заданный вопрос ) мне стало интересно, как эти атрибуты влияют на параметризованные проблемы. Какие задачи жесткого графа являются -твердыми на ориентированных графах, но фиксированными параметрами, которые можно отследить на неориентированных графах?NпNпNPW[ 1 ]W[1]W[1] Какие задачи жесткого графа являются -твердыми на …

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

Параметризованная задача k-FLIP SAT определяется как: Вход: формула 3-CNFφφ\varphi с nnn переменные и присвоение правды σ:[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 

Позволять FFF быть семьей dddподмножества конечной вселенной UUUобъектов. СемьяHHH из kkkподмножества UUU, с 1≤k&lt;d1≤k&lt;d1 \le k < d, это (k,d)(k,d)(k,d)- наезд набора изFFF если для каждого V∈FV∈FV \in F существует хотя бы один набор W∈HW∈HW \in H такой, что W⊂VW⊂VW \subset V, Учитывая коллекцию FFF как указано выше, (k,d)(k,d)(k,d)- проблема …

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

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

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