The four-in-a-tree problem in triangle-free graphs
Résumé
The three-in-a-tree algorithm of Chudnovsky and Seymour decides in time O(n4) whether three given vertices of a graph belong to an induced tree. Here, we study four-in-a-tree for triangle-free graphs. We give a structural answer to the following question : how does look like a triangle-free graph such that no induced tree covers four given vertices ? Our main result says that any such graph must have the "same structure", in a sense to be defined precisely, as a square or a cube. We provide an O(nm)-time algorithm that given a triangle-free graph G together with four vertices outputs either an induced tree that contains them or a partition of V(G) certifying that no such tree exists. We prove that the problem of deciding whether there exists a tree T covering the four vertices such that at most one vertex of T has degree at least 3 is NP-complete.
L'algorithme "three-in-a-tree" de Chudnovsky et Seymour décide en temps O(n4) si trois sommets donnés d'un graphe appartiennent à un arbre induit. Ici, nous étudions four-in-a-tree pour les graphes sans triangles. Nous donnons une réponse structurelle à la question suivante : à quoi ressemble un graphe sans triangles dont aucun arbre induit ne couvre quatre sommets donnés ? Notre résultat principal affirme qu'un tel graphe doit avoir la "même structure", dans un sens précisemment défini, qu'un carré ou un cube. Nous donnons un algorithme en temps O(nm) qui étant donné un graphe sans triangles G et quatre de ses sommets, retourne ou bien un arbre induit qui contient les sommets, ou bien une partition de V(G) certifiant qu'un tel arbre n'existe pas. Nous prouvons que le problème consistant à décider s'il existe un arbre T couvrant les quatre sommets et tel qu'au plus un sommet de T est de degré au moins 3 est NP-complet.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Loading...