Verificador de grafo plano
Comprueba si un grafo es probablemente plano. Introduce una lista de aristas: la herramienta aplica las desigualdades necesarias de Euler (E ≤ 3V−6, y E ≤ 2V−4 sin triángulos) y busca subgrafos K5 y K3,3 del teorema de Kuratowski. Es una heurística honesta, no un algoritmo de planaridad completo: «no plano» es seguro, «probablemente plano» no es una prueba. Limitado a 16 vértices.
Herramientas relacionadas
Todas las herramientas: Matemática discreta y grafos →Verificador de grafo plano se usa gratis, tantas veces como quieras, directamente desde esta página. Cubre E ≤ 3V−6, y E ≤ 2V−4 sin triángulos — ajusta cualquiera de ellos y el resultado se actualiza al instante.
Cómo usarlo
- Abre la herramienta — sin registro ni instalación.
- Introduce tus datos o ajusta las opciones disponibles.
- Obtén tu resultado al instante y cópialo o descárgalo.
Preguntas frecuentes
¿Para qué sirve Verificador de grafo plano?
Comprueba si un grafo es probablemente plano. Introduce una lista de aristas: la herramienta aplica las desigualdades necesarias de Euler (E ≤ 3V−6, y E ≤ 2V−4 sin triángulos) y busca subgrafos K5 y K3,3 del teorema de Kuratowski. Es una heurística honesta, no un algoritmo de planaridad completo: «no plano» es seguro, «probablemente plano» no es una prueba. Limitado a 16 vértices.
¿Cómo es un caso concreto?
K₄ ✓ · K₅ ✗ · K₃,₃ ✗ (Kuratowski) — la herramienta muestra cada paso intermedio, no solo la cifra final.
¿Qué tiene en cuenta?
Tiene en cuenta E ≤ 3V−6, y E ≤ 2V−4 sin triángulos. Cambia cualquiera de ellos y el resultado se ajusta al instante.
¿En qué casos se usa realmente?
Todo lo que se modela como puntos y conexiones: una ruta más corta, la capacidad de una red, una planificación con dependencias o un circuito reducido a su lógica.
¿Cuál es el error más frecuente?
Suponer que un camino más corto sigue siéndolo cuando un peso cambia de signo. Las aristas negativas rompen el argumento voraz en que se apoya Dijkstra, y el algoritmo devuelve una respuesta errónea con total confianza en vez de un error.
¿En qué se diferencia Verificador de grafo plano de Calculadora de coloración de grafos?
Están próximos pero responden a preguntas distintas: Calculadora de coloración de grafos es el que conviene abrir cuando se trata de colorea un grafo de modo que dos vértices adyacentes nunca compartan color. Introduce una lista de aristas y la heurística DSATUR (o voraz) asigna un color a cada vértice, muestra las clases de color y da una cota superior del número cromático χ. K4 necesita 4 colores, un ciclo par 2, un ciclo impar 3 — al instante. Elige el que encaje con tu punto de partida — ambos son gratis.
¿De dónde salen los datos?
Los algoritmos son los de manual y sus resultados exactos para el grafo introducido. Lo que varía es el coste: varios de estos problemas no tienen solución eficiente conocida, así que las entradas grandes se resuelven por heurística y la herramienta lo indica.