Preguntas etiquetadas con treewidth

Mi pregunta hoy es (como siempre) un poco tonta; pero le pediría que lo considere amablemente. Quería saber sobre la génesis y / o motivación detrás del concepto de ancho de árbol. Estoy seguro de que entiendo que se usa en algoritmos FPT, pero no creo que esa sea la …

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

ST-conectividad es el problema de determinar si existe un camino dirigido entre dos vértices distinguidos y t en un gráfico dirigido G ( V , E ) . Si este problema se puede resolver en el espacio de registro, es un problema abierto de larga data. Esto se llama el …

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

La conjetura de reconstrucción dice que los gráficos (con al menos tres vértices) están determinados únicamente por sus subgrafos eliminados de vértices. Esta conjetura tiene cinco décadas. Al buscar literatura relevante, descubrí que se sabe que las siguientes clases de gráficos son reconstruibles: arboles gráficos desconectados, gráficos cuyo complemento está …

24 reference-request  graph-theory  co.combinatorics  treewidth 

Para una constante , se puede determinar en tiempo lineal, dado un gráfico de entrada G , si su ancho de árbol es ≤ k . Sin embargo, cuando k y G se dan como entrada, el problema es NP-hard. ( Fuente )k ∈ Nk∈Nk \in \mathbb{N}solGG≤ k≤k\leq kkkksolGG Sin …

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

Estoy tratando de encontrar qué tan cerca están realmente y E [ t w ( G ) ] , cuando G ∈ G ( n , p = c / n ) y c > 1 es una constante que no depende de n (entonces E [ t w ( …

23 graph-theory  co.combinatorics  treewidth  random-graphs 

El ancho del árbol mide qué tan cerca está un gráfico de un árbol. Es NP-difícil calcular el ancho del árbol. El algoritmo de aproximación más conocido logra factor.O(logn−−−−√)O(logn)O(\sqrt{{\log}n}) El teorema de Courcelle establece que cualquier propiedad de gráficos definibles en lógica monádica de segundo orden (MSO2) se puede decidir …

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

¿Alguien sabe de un programa de código abierto para calcular la descomposición de gráficos en árbol para una "k" fija (ancho)? Sé que el problema de encontrar Tree-Decomposition es NP-Hard para la variable "k", pero mis instancias de entrada serán realmente pequeñas (~ 10 nodos) y "k" es fijo.

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

El ancho de árbol juega un papel importante en los algoritmos de FPT, en parte porque muchos problemas están parametrizados por FPT por el ancho de árbol. Una noción relacionada, más restringida, es la de ancho de ruta. Si un gráfico tiene un ancho de ruta , también tiene un …

18 parameterized-complexity  treewidth  graph-minor 

El problema Max-Sat le pide que encuentre una asignación de una fórmula CNF que satisfaga tantas cláusulas como sea posible. Para el problema SAT más simple, existen muchos casos especiales conocidos que pueden resolverse en tiempo polinómico, por ejemplo, podemos resolver 2-SAT en tiempo polinómico. Para Max-Sat la situación es …

18 sat  treewidth  max2sat 

Muchos problemas de gráficos duros se pueden resolver en tiempo polinómico en gráficos de ancho de árbol acotado . De hecho, los libros de texto suelen utilizar, por ejemplo, un conjunto independiente como ejemplo, que es un problema local . Aproximadamente, un problema local es un problema cuya solución se …

18 graph-theory  graph-algorithms  treewidth 

Me gustaría calcular el ancho de árbol de un gráfico. Hay muy buenas heurísticas para otros problemas de gráficos NP-hard, como VF2 para isomorfismo de subgrafo, con código disponible en igraph, por ejemplo. Los probé en mis gráficos y encuentro que se ejecutan muy rápido para mis datos. ¿Hay algún …

18 ds.algorithms  graph-algorithms  treewidth  heuristics 

¿Se conoce la siguiente clase de gráfico en la literatura? La clase de gráficos está parametrizada por los enteros positivos y y contiene cada gráfico modo que para cada vértice , el subgrafo de inducido en todos los vértices a distancia como máximo de en tiene un ancho de árbol …

17 reference-request  graph-theory  treewidth 

Esta pregunta es similar a una de mis preguntas anteriores. Se sabe que es un menor prohibido para gráficos de ancho de árbol como máximo t .Kt+2Kt+2K_{t+2}ttt ¿Existe una familia infinita de gráficos bien parametrizados e infinitos (que no sean gráficos completos y gráficos de cuadrícula) que sean mínimos prohibidos …

17 graph-theory  co.combinatorics  treewidth  graph-minor 

Como es bien sabido, la descomposición de un árbol de un gráfico consiste en un árbol T con una bolsa asociada T v ⊆ V ( G ) para cada vértice , que cumple las siguientes condiciones:GGGTTTTv⊆V(G)Tv⊆V(G)T_v \subseteq V(G)v∈V(T)v∈V(T)v \in V(T) Cada vértice de se produce en alguna bolsa de …

16 ds.algorithms  graph-theory  graph-algorithms  treewidth 

Estoy buscando un problema que pertenece a en gráficos generales pero está en en gráficos de ancho de árbol acotado. De hecho, creo que estos problemas son más difíciles que usar la programación dinámica normal en acotado -Gráficos de árbol de ancho para resolverlos.ΣP2Σ2P\mathsf{\Sigma^P_2}PP\mathsf{P}

16 cc.complexity-theory  graph-theory  treewidth