Preguntas etiquetadas con graph-theory

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 :: a -> b ->...

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...

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, también...

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...

Los gráficos de Paley P q son aquellos cuyo conjunto de vértices está dado por el campo finito GF (q), para las potencias primarias q≡1 (mod 4), y donde dos vértices son adyacentes si y solo si difieren en un 2 para algunos a ∈ GF (q). En el caso de que q sea primo, el campo finito GF (q) es solo...

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á...

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...

Como dice el título, ¿cuál es la definición correcta de -tree? Hay varios documentos que hablan de k -Los árboles y parcial k -Árboles como definiciones alternativas para gráficos con treewidth acotada, y he visto muchas definiciones aparentemente incorrectas. Por ejemplo, al menos un lugar define...

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 determinar...

Supongamos que tenemos un conjunto S de gráficos (gráficos finitos, pero un número infinito de ellos) y un grupo P de permutaciones que actúa sobre S. Instancia: una permutación p en P. Pregunta: ¿Existe un gráfico g en S que admite el automorfismo p? ¿Es este problema NP completo para...

¿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...

Sea una clase de gráficos con ancho de camarilla acotado. En cada gráfico en G se contraen algunos bordes (por ejemplo, al azar). ¿Ahora el ancho de la camarilla sigue limitado?solsolGsolsolG En caso de que (en general) ya no esté acotado, estaría muy interesado en un

He intentado la siguiente relajación LP de conjunto independiente máximo max∑iximax∑ixi\max \sum_i x_i s.t. xi+xj≤1 ∀(i,j)∈Es.t. xi+xj≤1 ∀(i,j)∈E\text{s.t.}\ x_i+x_j\le 1\ \forall (i,j)\in E xi≥0xi≥0x_i\ge 0 Obtengo 1/21/21/2 por cada variable por cada gráfico cúbico no bipartito que...

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 bordes, entonces el gráfico debe...

Antecedentes Esta pregunta está motivada por un juego de mesa llamado 'Drácula'. En este juego hay un vampiro y cuatro cazadores, el objetivo de los cazadores es atrapar al vampiro. El juego tiene lugar en Europa. El juego tiene el siguiente aspecto: 1. El jugador cazador coloca a todos los...

Chong, Han y Lam mostraron que la conectividad st no dirigida se puede resolver en la EREW PRAM en tiempo con procesadores O ( m + n ) .O ( log n )O(Iniciar sesiónnorte)O({\log}n)O ( m + n )O(metro+norte)O(m+n) ¿Cuál es el algoritmo paralelo más conocido para la conectividad st en gráficos planos...

En este artículo de Kempe-Kleinberg-Tardos, los Autores proponen algoritmos codiciosos basados ​​en funciones submodulares para determinar los nodos más influyentes en un gráfico, con aplicaciones a las redes sociales.kkk Básicamente, el algoritmo es el siguiente: S= e m p t y s e...

Estoy interesado en la complejidad del problema de conjunto dominante (DSP) en algunas clases de gráficos específicos que son subclases de gráficos cordales . Un gráfico es un gráfico de ruta no dirigida si es el gráfico de intersección de vértices de una familia de rutas en algún árbol no...

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 el...

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...