Preguntas etiquetadas con graph-theory

Una clase hereditaria de estructuras (p. Ej., Gráficas) es aquella que se cierra bajo subestructuras inducidas, o de manera equivalente, se cierra bajo eliminación de vértices. Las clases de gráficos que excluyen a un menor tienen buenas propiedades que no dependen del menor excluido específico. Martin Grohe demostró que para …

15 cc.complexity-theory  graph-theory  relational-structures 

Estoy buscando un algoritmo en línea para mantener el cierre transitivo de un gráfico acíclico dirigido con una complejidad temporal menor que O (N ^ 2) por adición de borde. Mi algoritmo actual es así: For every new edge u->v connect all nodes in Pred(u) \cup { u } with …

15 ds.algorithms  graph-theory  ds.data-structures  transitive-closure 

Si tenemos un gran gráfico (dirigido) y un árbol enraizado más pequeño H , ¿cuál es la complejidad más conocida para encontrar subgrafías de G isomorfas a H ? Soy consciente de los resultados para el isomorfismo de subárbol donde G y H son árboles y también donde G es …

15 ds.algorithms  reference-request  graph-theory 

Problema relacionado: el teorema de Veblen establece que "un gráfico admite una descomposición del ciclo si y solo si es par". Los ciclos son de borde disjunto, pero no necesariamente de nodo disjunto. Dicho de otra manera, "El conjunto de bordes de un gráfico se puede dividir en ciclos si …

15 cc.complexity-theory  graph-theory  co.combinatorics 

¿Cuál es la complejidad del siguiente problema? Entrada : HHH un camino hamiltoniano en KnKnK_n R⊆[n]2R⊆[n]2R \subseteq [n]^2 un subconjunto de pares de vértices un entero positivo kkk Consulta : ¿hay una M coincidente tal que para cada ( v , u ) ∈ R , d G ( v …

14 cc.complexity-theory  graph-theory  graph-algorithms  np-hardness  np-complete 

Supongamos que conectamos los puntos de usando el conjunto de bordes no dirigidos modo que esté conectado a o está conectado a , de forma independiente y uniforme al azar para todo . E ( i , j ) ( i + 1 , j + 1 ) ( i …

14 graph-theory 

Consideramos DAG (gráficos acíclicos dirigidos) con un nodo fuente sss un nodo objetivo ttt ; Se permiten bordes paralelos que unen el mismo par de vértices. A kkk - corte es un conjunto de bordes cuya eliminación destruye todas las sss - ttt caminos de más de kkk ; ¡las …

14 cc.complexity-theory  graph-theory  circuit-complexity  directed-acyclic-graph 

El problema del camino más largo es NP-hard. La prueba (¿típica?) Se basa en una reducción del problema del camino hamiltoniano (que es NP completo). Tenga en cuenta que aquí la ruta se considera simple (nodo). Es decir, ningún vértice puede ocurrir más de una vez en el camino. Obviamente, …

14 graph-theory  graph-algorithms  hamiltonian-paths 

Lema: Suponiendo equivalencia eta tenemos eso (\x -> ⊥) = ⊥ :: A -> B. Prueba: ⊥ = (\x -> ⊥ x)por equivalencia eta y (\x -> ⊥ x) = (\x -> ⊥)por reducción bajo la lambda. El informe Haskell 2010, sección 6.2 especifica la seqfunción mediante dos ecuaciones: seq …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

En su trabajo , Oráculos de distancia aproximada , Thorup y Zwick demostraron que para cualquier gráfico ponderado no dirigido, es posible construir una estructura de datos de tamaño que pueda devolver una distancia aproximada entre cualquier par de vértices en el gráfico.O ( k n1 + 1 / k)O(knorte1+1/ …

14 ds.algorithms  graph-theory  approximation-algorithms  space-complexity 

GI y Knot Problem, ambos son problemas para decidir la equivalencia estructural de los objetos matemáticos. ¿Hay algún resultado que establezca conexiones entre ellos? Se han explorado buenas conexiones del problema de nudos con la física estadística a través de polinomios de nudos , ¿hay resultados similares para ?G IsolyoGI …

14 cc.complexity-theory  reference-request  graph-theory  graph-isomorphism  algebraic-topology 

Estoy interesado en gráficos en nnn vértices que se pueden producir a través del siguiente proceso. Comience con un gráfico arbitrario GGG en k≤nk≤nk\le n vértices. Etiquete todos los vértices en como no utilizados .GGG Producir un nuevo gráfico mediante la adición de un nuevo vértice , que está conectado …

14 ds.algorithms  graph-theory  treewidth 

Esta pregunta está relacionada con una de mis preguntas anteriores, problemas NP-hard en los árboles . Estoy buscando problemas que sean P-completos en los árboles.

14 cc.complexity-theory  graph-theory  tree  p-hardness 

G=(V,E)G=(V,E)G=(V,E)e(S,Sc)SScminS⊂V e(S,Sc)min(|S|,|Sc|),minS⊂V e(S,Sc)min(|S|,|Sc|),\min_{S \subset V} ~\frac{e(S,S^c)}{\min(|S|,|S^c|)},e(S,Sc)e(S,Sc)e(S,S^c)SSSScScS^c Más concretamente supongo que sé el diámetro es de al menos (o como máximo) DDD . ¿Qué me dice esto sobre la conductancia, si acaso? Y, por el contrario, supongamos que sé que la conductancia es como máximo (o al menos) αα\alpha . ¿Qué …

14 graph-theory  co.combinatorics  expanders 

¿Se sabe algo sobre el siguiente problema? ¿Tiene sentido? Como se llama ¿Es trivialmente equivalente a algún otro problema? ¿Cuál es la complejidad del tiempo? Dado un gráfico G = (V, E) no dirigido (general / planar / acotado / etc.), Encuentre un subconjunto máximo de aristas E ', de …

14 ds.algorithms  graph-theory