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

Когда нам дается древовидная декомпозиция графа с шириной w , есть несколько способов сделать его «красивым». В частности, известно, что его можно преобразовать в разложение дерева, где дерево является двоичным, а его высота равна O ( log n ) . Это может быть достигнуто при сохранении ширины разложения не более …

15 treewidth  parameterized-complexity  fixed-parameter-tractable  cliquewidth 

Учитывая график, , я хочу , чтобы найти оптимальный г -domination для G . То есть, я хочу подмножество S из V таким образом, что все вершины в G находятся на расстоянии не более чем г от некоторой вершины в S , при сведении к минимуму размера S .G=(V,E)G=(V,E)G = …

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

Меня интересуют графики по вершинам, которые можно получить с помощью следующего процесса.nnn Начнем с произвольного графа на вершинах. Пометьте все вершины в как неиспользуемые .GGGGk≤nk≤nk\le nGGG Производят новый граф , добавив новую вершину , который соединен с одним или более неиспользованных вершин в , и не соединен ни с какими …

14 ds.algorithms  graph-theory  treewidth 

Пусть G дерево на 2n вершинах. Ширина дерева G, tw (G) = 1. Теперь предположим, что мы добавляем n ребер в G, чтобы получить граф H. Легкая верхняя граница для tw (H) равна n + 1. Является ли это по существу наилучшим возможным? Как-то кажется, что tw (H) должно быть …

14 upper-bounds  treewidth 

Можно говорить о ширине дерева булевой схемы, определяя ее как ширину дерева «морализированного» графа на проводах (вершинах), полученного следующим образом: соединяйте провода aaa и ббb всякий раз, когда ббb является выходом затвора, имеющего вход aaa (или наоборот); подключайте провода aaa и ббb всякий раз, когда они используются в качестве входов …

14 circuit-complexity  pr.probability  treewidth  arithmetic-circuits 

Treewith является важным параметром графа, который указывает, насколько близко граф от дерева (хотя и не в строгом топологическом смысле). Хорошо известно, что вычисление ширины дерева является NP-сложным. Существуют ли естественные классы графов, для которых сложно вычислить ширину дерева? Так же: Существуют ли интересные графовые классы, где вычисление ширины дерева легко? …

13 graph-theory  np-hardness  polynomial-time  treewidth 

Как следует из названия, каково правильное определение -tree? Есть несколько работ, в которых говорится о k- деревьях и частичных k- деревьях как об альтернативных определениях для графов с ограниченной шириной дерева, и я видел много, казалось бы, неправильных определений. Например, по крайней мере одно место определяет k- деревья следующим образом:kkkkkkkkkkkk …

13 graph-theory  treewidth 

Пусть kkk фиксировано, и пусть GGG (связный) граф. Если я не ошибаюсь, из работы Бодлендера [1, теорема 3.11] следует, что если ширина дерева GGG примерно равна 2k32k32k^3 , то GGG содержит звезду K1,kK1,kK_{1,k} в качестве минора. Можем ли мы сделать срок 2k32k32k^3 меньше? То есть, говорит ли ширина дерева, по …

12 graph-theory  treewidth  graph-minor 

Я задавал этот вопрос несколько недель назад в mathoverflow , но не получил ответа. Здесь под 3D-сеткой с длиной стороны я имею в виду граф G = ( V , E ) с V = { 1 , … , k } 3 и E = { ( ( a …

12 reference-request  graph-theory  co.combinatorics  treewidth  integer-lattice 

Разложение дерева сложно в худшем случае, но жадный метод кажется почти оптимальным в небольших реальных сетях. Известно ли что-нибудь о сложности разложения дерева «типичного» экземпляра некоторого класса графов? Есть ли пример семейства графов, где жадные методы разложения дерева плохо работают?

12 ds.algorithms  graph-theory  graph-algorithms  treewidth 

Какова минимальная ширина дерева схемы над для вычисления MAJ?{∧,∨,¬}{∧,∨,¬}\{\wedge,\vee,\neg\} Здесь MAJ выводит 1, если хотя бы половина его входов равна .1:{0,1}n→{0,1}:{0,1}n→{0,1}:\{0,1\}^n \rightarrow \{0,1\}111 Я забочусь только о размере схемы (должен быть полиномиальным) и о том, что вход должен быть прочитан только один раз, хотя разветвление входного вентиля может быть произвольным …

12 reference-request  complexity-classes  circuit-complexity  treewidth 

В этой недавней статье FOCS2013 « Сильные черные ходы к SAT ограниченной длины дерева», составленной Gaspers и Szeider, говорится о связи между шириной дерева графика предложения SAT и твердостью экземпляра. Для случайных 3-SAT, то есть 3-SAT экземпляров, выбранных случайным образом, какова корреляция между шириной дерева графика предложений и твердостью экземпляра? …

11 graph-algorithms  sat  treewidth  random-k-sat  hard-instances 

Теорема Курселя гласит, что любое свойство графа, определяемое в монадической логике второго порядка, может быть определено за линейное время на графах ограниченной длины дерева . Это одна из самых известных алгоритмических мета-теорем. Основываясь на теореме Курселя, я высказал следующую гипотезу: Гипотеза : пусть будет любым определяемым MSO свойством. Если ψ …

11 graph-theory  lo.logic  treewidth  planar-graphs  graph-minor 

Elberfeld, Jakoby и Tantau 2010 ( ECCC TR10-062 ) доказали неэффективную версию теоремы Бодлендера. Они показали, что для графов с шириной дерева не более разложение дерева шириной можно найти с помощью логарифмического пространства. Постоянный множитель в границе пространства зависит от k . (Теорема Бодлендера показывает линейную временную границу с экспоненциальной …

10 cc.complexity-theory  sat  treewidth  space-complexity 

Существует несколько интересных классов графов с ограниченной шириной дерева. Например, деревья (treewidth 1), последовательные параллельные графы (treewidth 2), внешнепланарные графы (treewidth 2), -утерплоские графы (treewidth O (k)), графы ширины ветви k (treewidth O (k)), .. ,КkkКkk Вопрос: Существуют ли примеры интересных классов графов, ширина которых не ограничена константой, а низкорастущей …

10 graph-theory  treewidth