¿Alguno de ustedes conoce una referencia para el siguiente resultado (sorprendentemente tedioso de probar)?
Dado un gráfico plano conectado con vértices y aristas, tiene un separador de vértices de tamaño .
reference-request
planar-graphs
separation
Sariel Har-Peled
fuente
fuente
Respuestas:
Aquí hay una prueba con un conocido martillo.
Supongamos wlog que está conectado, por lo tanto, es un árbol de expansión más t + 1 bordes. Claramente, cualquier ciclo en G debe contener uno de estos t + 1 bordes que son parte del árbol de expansión.G t+1 sol t + 1
Afirmo que el ancho de árbol de es O ( √sol que implicaría el separador deseado (y algo más). Para probar la afirmación Letksea el treewidth deG. Luego, según un teorema de Robertson-Seymour-Thomas, dado queGes plano, hay una cuadrícula menor de tamañoΩ(k). Sin embargo, una cuadrícula menor de tamañoΩ(k)tieneciclos disjuntos deΩ(k2)y cada uno de ellos requiere uno de losbordest+1. Por lo tantok=O( √O ( t√) k sol sol Ω ( k ) Ω ( k ) Ω ( k2) t + 1 .k = O ( t√)
fuente