Preguntas etiquetadas con graph-theory

Un gráfico plano es un gráfico que se puede incrustar en el plano, sin tener bordes cruzados. Supongamos que sea ​​una hipergrafía k -uniforme, es decir, una hipergrafía tal que todas sus hiperedificaciones tengan el tamaño k.G=(X,E)G=(X,E)G=(X,E)kkk Se han realizado algunos trabajos para incrustar hipergrafías en el plano (con el …

11 graph-theory  planar-graphs  hypergraphs  embeddings  generalizations 

De acuerdo con el libro Topological Graph Theory de Gross y Tucker, dada una incrustación celular de un gráfico en una superficie (por 'superficie' me refiero aquí a una esfera con algunos asas, y debajo de refiere a la esfera con exactamente tiradores), se puede definir un multigrafo dual tratando …

11 ds.algorithms  reference-request  graph-theory  cg.comp-geom  topological-graph-theory 

Considere un gráfico conectado no dirigido con pesos de borde no negativos y dos vértices distinguidos s,ts,ts,t . A continuación se presentan algunos problemas de ruta que son todos de la siguiente forma: encuentre una ruta s−ts−ts-t , de modo que alguna función de los pesos de borde en la …

10 graph-theory  graph-algorithms  np-complete  polynomial-time 

Dado el gráfico G1, G2 y G3, queremos realizar la prueba de isomorfismo F entre G1 y G2, así como entre G1 y G3. Si G2 y G3 son muy similares, de modo que G3 se forma eliminando un nodo e insertando un nodo de G2, y tenemos el resultado …

10 graph-theory  graph-algorithms  graph-isomorphism 

Encontré dos ejemplos de dureza hipotética de algunos problemas gráficos. La dureza hipotética significa que refutar alguna conjetura implicaría la completitud NP del problema gráfico respectivo. Por ejemplo, la conjetura de Barnette establece que cada gráfico bipartito plano cúbico conectado a 3 es hamiltoniano. Feder y Subi demostraron que refutar …

10 cc.complexity-theory  graph-theory  np-hardness 

Hay varias clases interesantes de gráficos con ancho de árbol acotado. Por ejemplo, árboles (ancho de árbol 1), gráficos paralelos en serie (ancho de árbol 2), gráficos de plano externo (ancho de árbol 2), gráficos -outerplanar (ancho de árbol O (k)), gráficos de ancho de rama k (ancho de árbol …

10 graph-theory  treewidth 

Deje ser un gráfico simple no dirigido en n vértices ym bordes.G=(V,E)G=(V,E)G=(V,E)nnnmmm Estoy tratando de determinar el tiempo de ejecución esperado de algoritmo de Wilson para generar un árbol de expansión aleatoria de . Allí, se muestra que es O ( τ ) , donde τ es el tiempo medio …

10 graph-theory  graph-algorithms  co.combinatorics  random-walks  analysis-of-algorithms 

Sea una clase hereditaria de gráficos. (Hereditaria = cerrado con respecto a tomar subgrafos inducidos.) Let denotar el conjunto de gráficos -vertex en . Digamos que contiene casi todos los gráficos, si la fracción de todos los gráficos de -vértices que caen en aproxima a 1, como .Q n n …

10 graph-theory 

Este blog habla de generar "pequeños laberintos retorcidos" usando una computadora y enumerándolos. La enumeración se puede hacer usando el algoritmo de Wilson para obtener el UST , pero no recuerdo la fórmula de cuántos hay. http://strangelyconsistent.org/blog/youre-in-a-space-of-twisty-little-mazes-all-alike En principio, el teorema del árbol de matriz establece que el número de …

10 graph-theory  randomized-algorithms  matrices  tree 

La complejidad de la prueba es un área más básica de la teoría de la complejidad computacional. Un propósito final de esta área es probar , es decir, cualquier comprobador no puede dar una prueba de insatisfacción de la fórmula de entrada dada. nortePAG≠ c o NPAGNP≠coNPNP\neq coNP Un gráfico …

10 cc.complexity-theory  reference-request  graph-theory  np  proof-complexity 

Cruzado desde MO . El isomorfismo del gráfico de color (borde) es GI que conserva los colores (de los bordes si está coloreado). Hay varias reducciones utilizando transformaciones / gadgets de GI de color (borde) a GI. Para GI de color de borde, lo más simple es reemplazar el borde …

10 graph-theory  graph-isomorphism  automorphism 

Me topé con un problema abierto planteado por David Eppstein y estoy interesado en su estado de complejidad. Conjeturó que es NP-completo. Entrada: por n matriz de 0 y 1, secuencia de n 2 0 y 1nortenortennortenortennorte2norte2n^2 Pregunta: ¿Hay una ruta a través de las entradas de matriz adyacentes, que …

10 cc.complexity-theory  graph-theory 

¿Hay algunas clases gráficas agradables para las cuales el ancho del árbol esté limitado por una función del número de camarilla ω ( G ) , es decir, t w ( G ) ≤ f ( ω ( G ) ) ?t w ( G )tw(G)tw(G)ω ( G )ω(G)\omega(G)t w …

10 graph-theory  treewidth 

Dado un gráfico dirigido, queremos decidir si contiene un ciclo dirigido de longitud par. Este artículo de 1997 de YUSTER y ZWICK afirma que no se sabe que el problema esté en ni que se sepa que es completo.PAGPAGPnortePAGnortePAGNP ¿Hay algún resultado reciente que resuelva la complejidad del problema del …

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

Un árbol de expansión de un gráfico se llama árbol de integridad si el conjunto de sus hojas induce una subgrafía completa en el gráfico de host. Dado un gráfico y un entero k , ¿cuál es la complejidad de decidir si G contiene un árbol de completitud con, como …

10 cc.complexity-theory  graph-theory  graph-algorithms