Los gráficos cúbicos son gráficos en los que cada vértice tiene grado 3. Se han estudiado ampliamente y soy consciente de que varios problemas NP-hard siguen siendo NP-hard incluso restringidos a subclases de gráficos cúbicos, pero otros se vuelven más fáciles. Una superclase de gráficos cúbicos es...
¿Qué aplicaciones tiene el Vertex Cover Problem en el mundo real? ¿Qué industria o proyectos de investigación utilizan software implementado realmente que se basa en resultados teóricos para el problema de Vertex Cover? En particular, ¿se implementa alguno de los siguientes resultados teóricos en...
(cruzado desde MathOverflow) Hola, Estaba leyendo este hilo: /mathpro/16393/finding-a-cycle-of-fixed-length Quiero encontrar un ciclo 5 en un gráfico. En realidad, lo que realmente quiero es un ciclo impar más corto de longitud de al menos 5, pero tal vez eso sea un poco irrelevante. Para mis...
Antecedentes: Sea dos vértices de un gráfico no dirigido . Un conjunto de vértices es un separador si y pertenecen a diferentes componentes conectados de . Si no hay un subconjunto adecuado de -separator es un -separator, entonces es un mínimo -separator. Un conjunto de vértices es un separador...
OK, esto puede parecer una pregunta de tarea y, en cierto sentido, lo es. Como tarea en una clase de algoritmos de pregrado, di el siguiente clásico: Dado un gráfico no dirigido , proporcione un algoritmo que encuentre un corte tal que , donde es el número de bordes que cruzan el corte. La...
Dada una familia conjunto FF\mathcal{F} de subconjuntos de un universo UUU . Deje S1,S2∈FS1,S2∈FS_1,S_2 \in \mathcal F y queremos responder es S1⊆S2S1⊆S2S_1 \subseteq S_2 . Estoy buscando una estructura de datos que me permita responder rápidamente a esto. Mi aplicación es de la teoría de grafos...
El gráfico lineal de una hipergrafía es el gráfico (simple) G que tiene bordes de H ya que los vértices con dos bordes de H son adyacentes en G si tienen una intersección no vacía. Una hipergrafía es un r- hiperígrafo si cada uno de sus bordes tiene como máximo r
Una garra es un K1,3K1,3K_{1,3} . Un algoritmo trivial detectará una garra en el tiempo O(n4)O(n4)O(n^4) . Se puede hacer en O(nω+1)O(nω+1)O(n^{\omega+1}) , donde ωω\omega es el exponente de la multiplicación de matriz rápida, de la siguiente manera: tome el subgrafo inducido por N[v]N[v]N[v] para...
Suponga que un gráfico con vértices se presenta como un flujo de bordes, pero se permiten múltiples pases sobre el flujo.n msolGGnortennmetromm Monika Rauch Henzinger, Prabhakar Raghavan y Sridar Rajagopalan observaron que el espacio es necesario para determinar si hay un camino entre dos vértices...
En la clase de complejidad , se conjetura que algunos problemas NO están en la clase N C , es decir, problemas con algoritmos deterministas paralelos. El problema del flujo máximo es un ejemplo. Y se cree que hay problemas en N C , pero todavía no se encuentra una prueba.PAGP\mathsf{P}N...
Feedback Vertex Set es NP-complete para gráficos generales. Se sabe que es NP-completo para gráficos limitados de grado 8 debido a una reducción de la cubierta del vértice. El artículo de Wikipedia dice que es polisoluble para gráficos limitados de grado 3 y NP-completo para gráficos limitados de...
Cálculo de la constante Cheeger de un gráfico , también conocida como la constante de isoperimétrico (porque es esencialmente una relación de área mínima y / o volumen), se sabe que es NP-completo. Generalmente es aproximado. Estoy interesado en saber si se conocen algoritmos polinómicos exactos...
Estoy buscando formas de mantener un árbol de expansión de un gráfico relativamente equilibrado, a medida que agrego nuevos nodos / bordes al gráfico. Tengo un gráfico no dirigido que comienza como un solo nodo, la "raíz". En cada paso, agrego al gráfico un nuevo nodo y un borde que lo conecta al...
Supongamos que tenemos un gráfico ponderado no dirigido (con pesos no negativos). Supongamos que todos los caminos más cortos en son únicos. Supongamos que tenemos estos \ binom {n} {2} caminos (secuencias de bordes no ponderados), pero no conocemos G en sí. ¿Podemos producir cualquier G que...
Sea un gráfico no ponderado no dirigido con vértices aristas. ¿Es posible preprocesar y producir una estructura de datos de tamaño para que pueda responder consultas de la forma "distancia entren m G m ⋅ p o l y l o g ( n ) u vGGGnnnmmmGGGm⋅polylog(n)m⋅polylog(n)m \cdot \mathrm{polylog}(n)uuu y "...
Supongamos que t(G)t(G)t(G) denota el número de árboles de expansión en un gráfico con vértices. Hay un algoritmo que calcula en operaciones aritméticas . Este algoritmo es para calcular , donde Q es el laplaciano de G y J es la matriz que consiste únicamente en 1 's. Para obtener más información...
Supongamos que es un árbol de grado constante cuya estructura no conocemos. El problema es generar el árbol haciendo preguntas de la forma: "¿El nodo encuentra en la ruta del nodo al nodo ?". Suponga que cada consulta puede ser respondida en tiempo constante por un oráculo. Conocemos el valor de ,...
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...
¿Es posible probar algorítmicamente si un número computable es racional o entero? En otras palabras, ¿sería posible que una biblioteca que implementa números computables proporcione las funciones isIntegero isRational? Supongo que no es posible, y que esto está relacionado de alguna manera con el...
Deje que sea un gráfico simple no dirigido y deje que sean vértices distintos. Deje que la longitud de una ruta st simple sea el número de aristas en la ruta. Estoy interesado en calcular el tamaño máximo de un conjunto de rutas st simples, de modo que cada ruta tenga una longitud impar, y los...