Preguntas etiquetadas con graph-theory

En [1], Turan muestra que la sensibilidad (llamada "complejidad crítica" en el documento) de una propiedad gráfica es estrictamente mayor que dondemes el número de vértices en el gráfico. Continúa conjeturando que cualquier propiedad de gráfico no trivial tiene sensibilidad≥m-1. Menciona que esto se ha verificado param≤5. ¿Se ha avanzado …

16 graph-theory  property-testing 

El problema kkk -cycle es el siguiente: Instancia: un gráfico no dirigido solsolGcon nnn vértices y hasta aristas.(n2)(n2)n \choose 2 Pregunta: ¿Existe un ciclo (adecuado) en ?GkkkGGG Antecedentes: para cualquier fija , podemos resolver el ciclo en el tiempo .2 k O ( n 2 )kkk2k2k2kO(n2)O(n2)O(n^2) Raphael Yuster, Uri Zwick: …

15 graph-theory  graph-algorithms  clique  polynomial-time  fixed-parameter-tractable 

Hace aproximadamente un año, un amigo y yo pensamos en una forma de implementar el algoritmo de Kruskal para gráficos densos en un límite mejor que el habitual (sin suponer aristas previamente ordenadas). Específicamente, logramos en todos los casos, similar a Prim cuando se implementa usando matrices de adyacencia.O ( …

15 graph-theory  graph-algorithms 

El isomorfismo gráfico ( ) es un buen candidato para el intermedio . : existen problemas intermedios a menos que . Estoy buscando un problema natural que sea difícil para bajo la reducción de Karp (un problema de gráfico tal que ).GIGIGINPNPNPNPNPNPP=NPP=NPP=NPGIGIGIXXXGI&lt;mpXGI&lt;pmXGI <_p^m X ¿Existe un problema natural de gráfico …

15 cc.complexity-theory  graph-theory  graph-isomorphism  np-intermediate 

Esta es una pregunta de seguimiento a esta sobre gráficos infinitos. Las respuestas y los comentarios a esa pregunta enumeran objetos y situaciones que se modelan naturalmente mediante gráficos infinitos. Pero también hay numerosos teoremas sobre gráficos infinitos (ver capítulo 8 en el libro de Diestel) de los cuales, por …

15 graph-theory  co.combinatorics  lo.logic 

Considere el siguiente problema: dado un gráfico de consulta y un gráfico de referencia , queremos encontrar el mapeo inyectivo que minimiza el número de bordes tal que . Esta es una generalización del problema del isomorfismo del subgrafo en el que permitimos que los subgrafos sean isomorfos hasta algunos …

15 cc.complexity-theory  ds.algorithms  graph-theory  approximation-algorithms  graph-isomorphism 

Para una incrustación plana de un gráfico plano en un plano con bordes rectos, defina un vértice como un vértice afilado si el ángulo máximo entre dos bordes consecutivos a su alrededor es más de 180. O, en otras palabras, si existe una línea que pase por ese vértice en …

15 graph-theory  cg.comp-geom  graph-drawing 

Un gráfico conectado puede descomponerse en sus componentes biconéctados. Este árbol de punto de corte de bloque es único. Del mismo modo, los gráficos biconéctados se pueden descomponer en componentes triconéctados. El árbol SPQR correspondiente describe todos los cortes de 2 vértices en el gráfico y se determina de manera …

15 graph-theory  co.combinatorics 

Los gráficos tienen . Dichos gráficos pueden descomponerse en componentes , que se sabe que son componentes planos o .K3 , 3K3,3K_{3,3}K5 5K5 5K_5 ¿Existe una descomposición tan "agradable" de los gráficos del género uno? En su trabajo seminal sobre gráficos menores, Roberston y Seymour demostraron que cada gráfico libre …

15 graph-theory  co.combinatorics  planar-graphs  graph-minor 

El algoritmo Weisfeiler-Lehman 1-dim (WL) se conoce comúnmente como etiquetado canónico o algoritmo de refinamiento de color. Funciona de la siguiente manera: La coloración inicial es uniforme, C 0 ( v ) = 1 para todos los vértices v ∈ V ( G ) ∪ V ( H ) .C0 …

15 cc.complexity-theory  graph-theory  graph-isomorphism  logspace 

El problema de mantenimiento de la orden (o "mantener el orden en una lista") es apoyar las operaciones: singleton: crea una lista con un elemento, le devuelve un puntero insertAfter: dado un puntero a un elemento, inserta un nuevo elemento después de él, devolviendo un puntero al nuevo elemento delete: …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

Estoy tratando de entender algunos conceptos sobre la descomposición modular y los gráficos de ancho de camarilla. En este documento ("En gráficos P4-tidy"), hay una prueba de cómo resolver problemas de optimización como el número de camarilla o el número cromático usando la descomposición modular. Resolver estos problemas componiendo (usando …

15 graph-theory  graph-algorithms  cliquewidth 

¿Cuáles son buenos documentos / libros para comprender mejor el poder de la descomposición modular y sus propiedades? Estoy particularmente interesado en los aspectos algorítmicos de la descomposición modular. He oído que es posible encontrar una descomposición modular de un gráfico en tiempo lineal. ¿Hay un algoritmo relativamente simple para …

15 ds.algorithms  reference-request  graph-theory  graph-algorithms 

La coloración de 3 bordes de los gráficos cúbicos es -completa. El teorema de cuatro colores es equivalente a "Cada gráfico cúbico plano sin puente es coloreable por 3 bordes".nortePAGnortePAGNP ¿Cuál es la complejidad de la coloración de 3 bordes de los gráficos planos cúbicos? Además, se conjetura que color …

15 cc.complexity-theory  graph-theory  np-hardness  graph-colouring 

Supongamos que queremos encontrar o max x ∏ i j ∈ E f(xi,xj)∑x∏ij∈Ef(xi,xj)∑x∏ij∈Ef(xi,xj)\sum_x \prod_{ij \in E} f(x_i,x_j)maxx∏ij∈Ef(xi,xj)maxx∏ij∈Ef(xi,xj)\max_x \prod_{ij \in E} f(x_i,x_j) Donde Max o la suma se toma sobre todos los marcajes de VVV , el producto se toma sobre todos los bordes EEE para un gráfico G={V,E}G={V,E}G=\{V,E\} y fff …

15 ds.algorithms  graph-theory  graph-algorithms  approximation-algorithms  counting-complexity