Вопросы с тегом «treewidth»

Мой вопрос сегодня (как обычно) немного глупый; но я бы попросил вас рассмотреть это. Я хотел знать о происхождении и / или мотивации концепции ширины дерева. Я уверен, что понимаю, что это используется в алгоритмах FPT, но я не думаю, что это было причиной, почему это понятие было определено. Я …

61 graph-theory  co.combinatorics  big-picture  ho.history-overview  treewidth 

ST-связность - это проблема определения, существует ли направленный путь между двумя выделенными вершинами и в ориентированном графе . Может ли эта проблема быть решена в пространстве журналов, является давней открытой проблемой. Это называется проблемой противssstttG(V,E)G(V,E)G(V,E)NLNLNLLLL В чем сложность ST-связности, когда базовый неориентированный граф имеет ограниченную ширину дерева.GGG Известно ли, что …

31 cc.complexity-theory  graph-theory  space-bounded  treewidth  logspace 

Гипотеза реконструкции говорит о том, что графы (по крайней мере, с тремя вершинами) определяются однозначно их вершинами удаленных подграфов. Этой гипотезе пять десятилетий. В поисках соответствующей литературы я обнаружил, что следующие классы графов, как известно, восстанавливаемы: деревья несвязные графы, графы, дополнение которых несвязно регулярные графики Максимальные Внешние Планарные Графики максимальные …

24 reference-request  graph-theory  co.combinatorics  treewidth 

При постоянная , можно определить в линейное время, учитывая входной граф G , является ли его древесной шириной есть ≤ K . Однако, когда оба k и G даны в качестве входных данных, проблема NP-трудна. ( Источник ).k ∈ Nk∈Nk \in \mathbb{N}гGG≤ k≤k\leq kКkkгGG Однако, когда входной граф является плоским …

23 reference-request  graph-theory  np-hardness  open-problem  treewidth 

Я пытаюсь найти, насколько близки и , когда и является константой, не зависящей от n (поэтому ). Моя оценка такова: whp, но я не смог доказать это.E [ t w ( G ) ] G ∈ G ( n , p = c / n ) c > 1 E …

23 graph-theory  co.combinatorics  treewidth  random-graphs 

Ширина дерева показывает, насколько близок график к дереву. NP-трудно вычислить ширину дерева. Наиболее известный алгоритм приближения достигает O ( войдите n----√)O(logn)O(\sqrt{{\log}n}) фактор. Теорема Курселя гласит, что любое свойство графов, определяемых в монадической логике второго порядка (MSO2), может быть определено за линейное время на любом классе графов ограниченной ширины дерева . …

23 cc.complexity-theory  ds.algorithms  graph-theory  space-bounded  treewidth 

Кто-нибудь знает о программе с открытым исходным кодом для вычисления дерева разложения графов для фиксированной "k" (ширина)? Я знаю, что проблема поиска Tree-Decomposition является NP-Hard для переменной «k», но мои входные экземпляры будут очень маленькими (~ 10 узлов), и «k» исправлена.

22 ds.algorithms  graph-theory  graph-algorithms  software  treewidth 

Treewidth играет важную роль в алгоритмах FPT, отчасти потому, что многие проблемы FPT параметризуются с помощью treewidth. Связанное, более ограниченное понятие - это пропускная способность. Если граф имеет ширину пути , он также имеет ширину дерева не более k , в то время как в обратном направлении ширина дерева k …

18 parameterized-complexity  treewidth  graph-minor 

Множество сложных задач о графах разрешимо за полиномиальное время на графах ограниченной длины деревьев . Действительно, учебники обычно используют, например, набор Independet в качестве примера, что является локальной проблемой . Грубо говоря, локальная проблема - это проблема, решение которой можно проверить, исследуя небольшую окрестность каждой вершины. Интересно, что даже проблемы …

18 graph-theory  graph-algorithms  treewidth 

Задача Max-Sat просит вас найти назначение формулы CNF, которое удовлетворяет как можно большему количеству предложений. Для более простой задачи SAT существует много известных частных случаев, которые могут быть решены за полиномиальное время, например, мы можем решить 2-SAT за полиномиальное время. Для Max-Sat ситуация иная, так как Max-Sat является NP-сложным даже …

18 sat  treewidth  max2sat 

Я хотел бы вычислить ширину дерева графика. Есть действительно хорошая эвристика для других задач NP-сложных графов, таких как VF2 для изоморфизма подграфа, например, с кодом, доступным в igraph . Я попробовал их на своих графиках и обнаружил, что они работают очень быстро для моих данных. Существуют ли быстрые алгоритмы для …

18 ds.algorithms  graph-algorithms  treewidth  heuristics 

Известен ли следующий класс графов в литературе? Класс графов параметризуется натуральными числами и и содержит каждый граф такой, что для каждой вершины подграф индуцируется на всех вершинах на расстоянии не более от в имеет длину не более .dddTTtG = ( V, E)граммзнак равно(В,Е)G=(V,E)v ∈ Vv∈Вv\in VграммграммGdddvvvграммграммGTTt Он обобщает концепцию локально …

17 reference-request  graph-theory  treewidth 

Этот вопрос похож на один из моих предыдущих вопросов. Известно, что является запрещенным минором для графов с шириной не более t .Kt+2Kt+2K_{t+2}ttt Существует ли красиво построенное, параметризованное, бесконечное семейство графов (кроме полных графов и сеточных графов), которые являются минимально запрещенными минорами для графов любой длины дерева. Другими словами, существует ли …

17 graph-theory  co.combinatorics  treewidth  graph-minor 

Как известно, древовидная декомпозиция графа состоит из дерева со связанным мешком для каждой вершины , которое удовлетворяет следующим условиям:T T v ⊆ V ( G ) v ∈ V ( T )GGGTTTTv⊆V(G)Tv⊆V(G)T_v \subseteq V(G)v∈V(T)v∈V(T)v \in V(T) Каждая вершина происходит в некотором мешке T .GGGTTT Для каждого края есть сумка, содержащая …

16 ds.algorithms  graph-theory  graph-algorithms  treewidth 

Я ищу проблему, которая принадлежит в общих графах, но находится в в графах с ограниченной шириной дерева. На самом деле я думаю, что эти проблемы сложнее, чем использование нормального динамического программирования в ограниченных графах. -ширины графиков для их решения.ΣP2Σ2п\mathsf{\Sigma^P_2}PP\mathsf{P}

16 cc.complexity-theory  graph-theory  treewidth