Algum de vocês conhece uma referência para o seguinte resultado (surpreendentemente tedioso para provar)?
Dado um gráfico plano conectado com n vértices e n + t arestas, ele possui um separador de vértices de tamanho O ( √.
reference-request
planar-graphs
separation
Sariel Har-Peled
fonte
fonte
Respostas:
Aqui está uma prova usando um martelo conhecido.
fonte