Recherche de sous-graphiques avec une grande arborescence et un degré constant


9

On me donne un graphique avec une largeur d' arbre k et un degré arbitraire, et je voudrais trouver un sous-graphique H de G (pas nécessairement un sous-graphique induit) tel que H ait un degré constant et sa largeur d'arbre soit aussi élevée que possible. Formellement, mon problème est le suivant: après avoir choisi un degré lié d N , quelle est la "meilleure" fonction f : NN de telle sorte que, dans tout graphique G avec une largeur d'arbre k , je puisse trouver (espérons-le efficacement) un sous-graphique H de G avec degré maximal dG kHGHdNf:NNGkHGdet largeur d'arbre .f(k)

Évidemment, nous devrions prendre car il n'y a pas de graphiques à grande largeur d'arbre avec un degré maximal < 3 . Pour d = 3 je sais que vous pouvez prendre f telle que f ( k ) = Ω ( k une / 100 ) ou plus, en faisant appel à des Chekuri et Chuzhoy grille de résultat d'extraction de mineurd3<3d=3ff(k)=Ω(k1/100)(et en l'utilisant pour extraire un graphique de degré 3 à grande largeur d'arbre, par exemple, un mur, en tant que mineur topologique), avec le calcul du sous-graphique étant faisable (en RP). Cependant, il s'agit d'un résultat très puissant avec une preuve élaborée, il est donc mal de l'utiliser pour ce qui ressemble à un problème beaucoup plus simple: je voudrais juste trouver un sous-graphique à degré constant et à grande largeur d'arbre, pas un sous-graphique spécifique comme dans leur résultat. De plus, la limite de n'est pas aussi bonne que je l'aurais espéré. Bien sûr, il est connu qu'il peut être Ω ( k 1 / 20 ) (jusqu'à renoncer à l' efficacité du calcul), mais j'espérer quelque chose comme Ω ( k )fΩ(k1/20)Ω(k). Alors, est-il possible de montrer que, étant donné un graphe de largeur d'arbre k , il y a un sous-graphe de G à degré constant et largeur d'arbre linéaire en k ?GkGk

Je suis également intéressé par la même question exacte pour la largeur de chemin plutôt que la largeur d'arbre. Pour la largeur de chemin, je ne connais pas d'extraction mineure analogique vers la grille, donc le problème semble encore plus mystérieux ...

Réponses:


12

Ω(k/polylog(k))kG

Ω(k1/4)

log2(k)Ω(k/polylog(k))


1
Ω(k)nΘ(n/logn)Θ(logn)

Ω(l4polylog(l))Ω(l)Kl

Encore une fois, cela est très utile, merci. Il est intéressant de noter que la question de la largeur d'arbre linéaire est toujours ouverte. (Cela dit, si je comprends bien, la conjecture 1.2 dans votre papier sparsifier est à propos d'un problème légèrement différent: cela nécessite que le sous-graphique soit une subdivision de certains H de taille polynomiale en k, alors que je ne le demande pas et que je veux juste le sous-graphique doit avoir un degré constant.) Une dernière chose: savez-vous si quelque chose est connu sur ce problème ouvert, mais pour la largeur de chemin plutôt que la largeur d'arbre? Merci encore!
a3nm

tw(G)pw(G)O(logn)tw(G)
Chandra Chekuri

Merci pour vos explications sur l'état des trois largeurs linéaires, et merci également pour les explications de la sparsification de la largeur de chemin. La dernière chose que vous avez mentionnée est le genre de résultats dont nous aurions eu besoin; dommage que la question soit toujours ouverte. Dans tous les cas, merci encore pour vos explications!
a3nm
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.