Será treewidth

12

Seja fixo e G seja um gráfico (conectado). Se não me engano, segue-se do trabalho de Bodlaender [1, Teorema 3.11] que, se a largura de árvore de G é aproximadamente pelo menos 2 k 3 , G contém uma estrela K 1 , k como menor.kGG2k3GK1,k

Podemos reduzir o termo ? Ou seja, diz treewidth pelo menos k já implica a existência de um K 1 , k -minor? Existe uma prova em algum lugar?2k3kK1,k


[1] Bodlaender, HL (1993). Em tempo linear, testes menores com pesquisa em profundidade. Journal of Algorithms, 14 (1), 1-23.

Juho
fonte
2
Um resultado vagamente relacionados de Demaine e Hajiaghayi : Para um gráfico fixo , qualquer H -minor-livre gráfico de treewidth w tem uma Ω ( w ) × Ω ( w ) da grade do gráfico menor. HHwΩ(w)×Ω(w)
Mhum
1
@mhum a constante no depende exponencialmente de | H | , aplicá-lo diretamente resultará em um limite inferior a 2 k 3 . Ω|H|2k3
Daniello
@daniello Esse é realmente o caso. A constante não é muito agradável e a especialização em gráficos livres de menores de também não é ótima. Eu só queria apontar um resultado vagamente relacionado. H
Mhum

Respostas:

15

É verdade que cada grafo sem K 1 , k menor tem treewidth no máximo k - 1 . Provamos isso abaixo, primeiro algumas definições:GK1,kk1

Deixe- ser o treewidth de L e ω ( G ) ser o tamanho máximo de um bando em L . Um gráfico H é uma triangulação de G se G é um subgrafo de H e H é cordal (isto é, não possui ciclos induzidos em pelo menos 4 vértices). Uma triangulação H de L é uma triangulação mínima, se não subgráfico adequada de H é também uma triangulação de L . Um subconjunto X de vértices de Gtw(G)Gω(G)GHGGHH4HGHGXGHGXH

tw(G)=minHω(H)1
HG

A fórmula acima implica que para provar que é suficiente provar que todas as possíveis panelinhas máximas de têm tamanho no máximo . Agora provamos isso. Seja uma potencial camarilha máxima de e suponha que .tw(G)k1GkXG|X|k+1

Usaremos a seguinte caracterização de potenciais cliques máximos: um conjunto de vértices é um clique máximo potencial em se, e somente se, para cada par , de vértices não adjacentes (distintos) em houver um caminho a partir de para em com todos os seus vértices internos fora de . Essa caracterização pode ser encontrada no artigo Largura da árvore e preenchimento mínimo: agrupando os separadores mínimos de Bouchitte e Todinca.XGuvXPu,vuvGX

Com essa caracterização é fácil derivar uma menor de . Vamos . Para cada vértice , quer é uma aresta de ou há um caminho a partir de para , com todos os vértices internos fora . Para todos os que não são adjacentes a contratam todos os vértices internos de em . Terminamos com um menor de no qual é adjacente a todo o , eK1,kXuXvX{u}uvGPu,vuvXvXuPu,vuGuX|X|k+1 . Portanto, o grau de nesse menor é pelo menos , completando a prova.uk

daniello
fonte
Obrigado Daniel! Você sabe se o mesmo argumento (ou resultado, na verdade) foi publicado em algum lugar?
Juho
Não tenho uma referência, mas me lembro que um argumento semelhante (possivelmente menos restritivo) para gráficos livres de está escrito em algum lugar. Infelizmente não tenho um ponteiro mais concreto. K2,r
Daniello