Outra pergunta ref de separador planar

8

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 ( Gnn+t.O(t+1)

Sariel Har-Peled
fonte
É realmente tão entediante? Você tem no máximo blocos, contrai-os em vértices e usa o teorema do separador ponderado para eles. Caso os blocos de separação sejam grandes, você pode destruir todos os O ( √)tarestas entre elas e depois se separam arbitrariamente com dois vértices cada. O(t)
domotorp 12/07/19
Qual é a definição exata dos blocos?
Sariel Har-Peled
1
Você realmente precisa do dentro do O ( ) ? +1O()
Aryeh
2
Sim. Se t é zero ...
Sariel Har-Peled
2
@domotorp BTW, eu não acho que sua ideia funcione - todo o gráfico pode ser um único bloco - pense apenas em um caminho e em uma borda adicional conectando os dois pontos de extremidade e outras bordas ...
Sariel Har-Peled

Respostas:

7

Aqui está uma prova usando um martelo conhecido.

Gt+1Gt+1

GO(t)kGGΩ(k)Ω(k)Ω(k2)t+1k=O(t)

Chandra Chekuri
fonte
1
GtGO(t)
O teorema citado de Robertson Seymour Thomas tem uma prova independente relativamente curta, portanto não é um martelo tão grande.
Daniello
1
Editado para remover "grande" mas retido "martelo".
Chandra Chekuri
@daniello não é esse gráfico menor V?
Saeed