Preguntas etiquetadas con graph-theory

Considere el problema # P-completo de contar el número de cubiertas de vértices de un gráfico dado G=(V,E)G=(V,E)G = (V, E) . Me gustaría saber si hay algún resultado que muestre cómo la dureza de dicho problema varía con algún parámetro de (por ejemplo, ).GGGd=|E||V|d=|E||V|d = \frac{|E|}{|V|} Mi sensación es …

14 cc.complexity-theory  graph-theory  counting-complexity  time-complexity 

El algoritmo húngaro es un algoritmo de optimización combinatoria que resuelve el problema de coincidencia bipartita de peso máximo en tiempo polinómico y anticipa el desarrollo posterior del importante método primal-dual . El algoritmo fue desarrollado y publicado por Harold Kuhn en 1955, quien dio el nombre de "algoritmo húngaro" …

14 graph-theory  reference-request  graph-algorithms  linear-programming  primal-dual 

Escribí una implementación del algoritmo Kuhn-Munkres para el problema de coincidencia perfecta bipartita de peso mínimo basado en las notas de clase que encontré aquí y allá en la web. Funciona muy bien, incluso en miles de vértices. Y estoy de acuerdo en que la teoría detrás de esto es …

14 ds.algorithms  graph-theory  linear-programming  simplex 

Estoy revisando un modelo criptográfico. Para mostrar su insuficiencia, he diseñado un protocolo artificial basado en el isomorfismo gráfico. Es "común" (¡pero controvertido!) Asumir la existencia de algoritmos BPP capaces de generar "instancias difíciles del problema del isomorfismo gráfico". (Junto con un testigo de isomorfismo). En mi protocolo artificial, voy …

14 graph-theory  cr.crypto-security  automorphism  graph-isomorphism  randomized-algorithms 

Me pregunto cómo encontrar la circunferencia de un gráfico escaso no dirigido. Por escaso quiero decir . Por óptimo me refiero a la menor complejidad de tiempo.|E|=O(|V|)|E|=O(|V|)|E|=O(|V|) Pensé en alguna modificación en el algoritmo de Tarjan para gráficos no dirigidos, pero no encontré buenos resultados. En realidad, pensé que si …

14 ds.algorithms  graph-theory  open-problem 

Sabemos que el algoritmo de mincut de Karger se puede usar para demostrar (de manera no constructiva) que el número máximo de mincuts posibles que puede tener un gráfico es .(n2)(n2)n \choose 2 Me preguntaba si podríamos de alguna manera probar esta identidad al dar una prueba biyectiva (más bien …

14 ds.algorithms  graph-theory  co.combinatorics  graph-algorithms  max-flow-min-cut 

Treewith es un parámetro gráfico importante que indica qué tan cerca está un gráfico de ser un árbol (aunque no en un sentido topológico estricto). Es bien sabido que calcular el ancho de árbol es NP-hard. ¿Hay clases naturales de gráficos donde el ancho del árbol es difícil de calcular? …

13 graph-theory  np-hardness  polynomial-time  treewidth 

¿Para qué gráficos no dirigidos son todos los árboles de búsqueda de profundidad primero (para todos los vértices iniciales posibles y para todas las opciones de qué vecinos buscar primero) rutas dirigidas? Es decir, cada árbol DFS debe tener solo una hoja, y todos los demás vértices deben tener exactamente …

13 graph-theory 

Estoy interesado en comprender la estructura de la clase de gráficos modo que no exista un subgrafo inducido por vértices en cuatro vértices que coincida perfectamente. Dicho de manera diferente para cualquier cuatro vértices a , b , c , d en G si a b y c d son …

13 graph-theory 

En el problema de extensibilidad, se nos da parte de la solución y queremos decidir si podemos extenderla a una solución completa. Algunos problemas de extensibilidad se pueden resolver de manera eficiente, mientras que otros problemas de extensibilidad transforman un problema fácil en uno difícil. Por ejemplo, el teorema de …

13 cc.complexity-theory  reference-request  graph-theory  np-hardness 

Se nos da un dirigido acíclico gráfico con un número asociado con cada vértice ( g : V → N ), y un número de destino T ∈ N .G=(V,E)G=(V,E)G=(V,E)g:V→Ng:V→Ng:V\to \mathbb{N}T∈NT∈NT\in \mathbb{N} El problema de la suma DAG subconjunto (podría existir con un nombre diferente, una referencia será grande) pregunta …

13 ds.algorithms  graph-theory  graph-algorithms  approximation-algorithms  subset-sum 

Supongamos que hay un gráfico . Quiero probar si V puede dividirse en dos conjuntos disjuntos V 1 y V 2, de modo que las subgrafías inducidas por V 1 y V 2 sean gráficos de intervalo de unidad.G = ( V, E)sol=(V,mi)G=(V,E)VVVV1V1V_1V2V2V_2V1V1V_1V2V2V_2 Sé acerca de la completitud NP de …

13 graph-theory  partition-problem  interval-graphs 

En el Bundeswettberweb Infomatik 2010/2011, hubo un problema interesante: Para fijo , encuentre un mínimo y un mapa , de modo que no haya triple con .k φ : { ( i , j ) | i ≤ j ≤ n } → { 1 , … , k } …

13 graph-theory  sat  combinatorics 

Considere el siguiente problema. Entrada: Un gráfico no dirigido . Salida: Un gráfico H que es un menor de con la densidad de borde más alta entre todos los menores de , es decir, con la relación más alta.G=(V,E)G=(V,E)G=(V,E)HHHGGGGGG|E(H)|/|V(H)||E(H)|/|V(H)||E(H)|/|V(H)| ¿Se ha estudiado este problema? ¿Es solucionable en tiempo polinómico o …

13 graph-theory  graph-algorithms  np-hardness  graph-minor 

Dado un gráfico plano, uno puede incrustarlo en tiempo lineal cruzando libremente en una cuadrícula . Me interesa saber si se conoce algún algoritmo eficiente para insertar en línea recta un gráfico plano que se cruce libremente en una cuadrícula , para alguna pequeña , de modo que se maximice …

13 reference-request  graph-theory  graph-drawing