Théorème du séparateur planaire

En théorie des graphes, le théorème du séparateur planaire, stipule que tout graphe planaire peut être divisé en parties plus petites en supprimant un petit nombre de sommets. Plus précisément, le théorème affirme qu'il existe un ensemble de sommets d'un graphe à sommets dont la suppression partitionne le graphe en sous-graphes disjoints dont chacun a au plus sommets.

Présentation

modifier

Une forme plus faible du théorème séparateur avec un séparateur de taille   au lieu de   a été prouvée à l'origine par Ungar (1951)[1], et la forme avec la borne asymptotique plus fine sur la taille du séparateur a été prouvée pour la première fois par Lipton & Tarjan (1979)[2]. Depuis leurs travaux, le théorème du séparateur a été redémontré de plusieurs manières différentes, la constante dans le terme en   du théorème a été amélioré, et le théorème a été étendu à certaines classes de graphes non planaires.

L'application itérée du théorème du séparateur produit une hiérarchie de séparateurs qui peut prendre la forme soit d'une décomposition arborescente, soit d'une décomposition en branches du graphe. Les hiérarchies de séparateurs peuvent être utilisées pour concevoir des algorithmes de diviser pour régner efficaces pour les graphes planaires, et la programmation dynamique sur ces hiérarchies peut être utilisée pour des algorithmes en temps exponentiel et traitable en complexité paramétrée pour résoudre des problèmes d'optimisation NP-difficiles sur ces graphes. Les hiérarchies de séparateurs peuvent également être utilisées dans la dissection imbriquée, une variante efficace de l'élimination de Gauss-Jordan pour résoudre des systèmes systèmes d' équations linéaires creux résultant de méthodes d' éléments finis.

Au-delà des graphes planaires, les théorèmes de séparation ont été appliqués à d'autres classes de graphes, y compris les graphes excluant un mineur, les graphes du plus proche voisin et les maillages d'éléments finis. L'existence d'un théorème séparateur pour une classe de graphes peut être formalisée et quantifiée par les concepts de largeur arborescente d'arbre d'expansion polynomial.

Énoncé du théorème

modifier

Le théorème du séparateur planaire est le suivant :

Théorème — Dans tout graphe planaire   à   sommets, il existe une partition des sommets de   en trois ensembles  ,   et   telle que   et   ont chacun au plus   éléments,   a   éléments, et il n'y a pas d'arête entre des sommets de   et de  .


Dans cet énoncé il n'est pas requis que   ou   forment des sous-graphes connexes de  . L'ensemble   est appelé le séparateur de cette partition.

Une formulation équivalente est que les arêtes d'un graphe planaire à   sommets   peuvent être partagées en arêtes de deux sous-graphes à arêtes disjointes   et   de sorte que chacun des deux sous-graphes a au moins   sommets et que l'intersection des ensembles de sommets des deux sous-graphes a   sommets. Une telle partition est connue sous le nom de séparation[3]. Pour une séparation donnée, l'intersection des deux ensembles de sommets forme un séparateur, et les sommets qui appartiennent à l'un des sous-graphes mais pas à l'autre forment des sous-ensembles séparés ayant chacun au plus   sommets. Réciproquement, pour une partition en trois ensembles  ,   et   satisfaisant les conditions du théorème du séparateur planaire, on peut former une séparation dans laquelle les arêtes avec une extrémité dans   appartiennent à  , les arêtes avec une extrémité dans   appartiennent à  , et les arêtes restantes (avec les deux extrémités dans  ) sont réparties arbitrairement.

La constante   dans l'énoncé du théorème du séparateur est arbitraire et peut être remplacée par tout autre nombre dans l'intervalle ouvert   sans changer l'énoncé du théorème : une partition en sous-ensembles de taille plus équilibrée peut être obtenue, à partir d'une partition déséquilibrée, en divisant à plusieurs reprises le plus grand des ensembles de la partition et en regroupant les composants connexes résultantes[4].

Exemple

modifier
 
Un séparateur planaire pour un graphe grille

Considérons un graphe grille avec   lignes et   colonnes ; le nombre   de sommets est égal  . Dans l'exemple, on a  ,  , et  . Si   est impair, il y a une seule ligne centrale, et sinon il y a deux lignes près du centre ; de même, si   est impair, il y a une seule colonne centrale, et sinon il y a deux colonnes près du centre. Si on prend pour   l'une de ces lignes ou colonnes centrales, et on supprime   du graphe, on partitionne le graphe en deux sous-graphes connexes plus petits   et  , dont chacun a au plus   sommets. Si   (comme dans l'illustration), le choix d'une colonne centrale donne un séparateur   avec   sommets, et de même si   le choix d'une ligne centrale donne un séparateur avec au plus   sommets. Ainsi, chaque graphe grille a un séparateur   de taille au plus  , dont la suppression partitionne le graphe en deux composantes connexes qui chacune est de taille au plus  .

Le théorème du séparateur planaire stipule qu'une partition similaire peut être construite dans n'importe quel graphe planaire. Le cas des graphes planaires arbitraires diffère du cas des graphes grille en ce que le séparateur a une taille en   qui peut être plus grande que  , et que la borne sur la taille des deux sous-ensembles   et   (dans les versions les plus courantes du théorème) est   plutôt que  , et que les deux sous-ensembles   et   ne forment pas nécessairement des sous-graphes connexes.

Constructions

modifier

Superposition en largeur

modifier

Lipton & Tarjan (1979)[2] augmentent le graphe planaire donné par des arêtes supplémentaires, si nécessaire, afin qu'il devienne planaire maximal (chaque face d'un plongement planaire est un triangle). Ils effectuent ensuite un parcours en largeur, à partir d'un sommet arbitraire  , et partitionnent les sommets en niveaux par leur distance à  .

Si   est le niveau médian (c'est-à-dire le niveau tel que les nombres de sommets aux niveaux supérieur et inférieur sont tous deux au plus  ), alors il existe des niveaux   et   qui sont à   étapes au-dessus et au-dessous de   respectivement et qui contiennent   sommets respectivement, car sinon il y aurait plus de   sommets dans les niveaux proches de  .

Les auteurs montrent qu'il existe un séparateur   formé par l'union des niveaux   et  , par les d'extrémités des arêtes   de   qui n'appartiennent pas à l'arbre de recherche en largeur et qui se trouvent entre les deux niveaux, et par les sommets sur les deux chemins de l'arbre de recherche en largeur depuis les points d'extrémité de   en remontant jusqu'au niveau  . La taille du séparateur   ainsi construit est au plus de  . Les sommets du séparateur et des deux sous-graphes disjoints peuvent être trouvés en temps linéaire[2].

Cette preuve du théorème du séparateur s'applique également aux graphes planaires pondérés, dans lesquels chaque sommet a un coût non négatif. Le graphe peut être divisé en trois ensembles  ,  , et   tels que   et   ont chacun un coût au plus égal à   du coût total et   possède   sommets, sans arêtes de   et de  [2]. Une analyse plus fine d'une construction de séparateur similaire a permis à Djidjev (1982) de montrer que la borne sur la taille de   peut être réduite à  [4].

Holzer et al. (2009)[5] proposent une version simplifiée de cette approche : ils augmentent le graphe pour qu'il soit planaire maximal et construisent un arbre de recherche de largeur d'abord comme précédemment. Ensuite, pour chaque arête   qui ne fait pas partie de l'arbre, ils forment un cycle en combinant   avec le chemin de l'arbre qui relie ses points d'extrémité. Ils utilisent ensuite comme séparateur les sommets d'un de ces cycles. Bien que cette approche ne trouve pas toujours un petit séparateur pour les graphes planaires de grand diamètre, leurs expériences indiquent qu'elle surpasse les méthodes de superposition en largeur de Lipton-Tarjan et Djidjev sur de nombreux types de graphes planaires.

Séparateurs de cycles simples

modifier

Pour un graphe planaire qui est maximal, on peut faire une construction plus précise, à savoir un séparateur par cycle simple ; c'est un cycle simple de petite longueur tel que l'intérieur et l'extérieur du cycle, dans l'unique plongement planaire du graphe, ont chacun au plus   sommets. Miller (1986)[6] a montré cette construction (avec un séparateur de taille  ) en utilisant la technique de Lipton-Tarjan dans une version modifiée de la recherche en largeur dans laquelle les niveaux de la recherche forment des cycles simples.

Alon, Seymour & Thomas (1994)[7] prouvent l'existence de séparateurs de cycles simples plus directement : ils considèrent un cycle   d'au plus   sommets, avec au plus   sommets à l'extérieur de  , qui forme une partition de l'intérieur et de l'extérieur aussi régulière que possible, et ils montrent que ces hypothèses impliquent que   est un séparateur. En effet, sinon les distances à l'intérieur de   doivent être égales aux distances dans le disque extérieur par   (car un chemin plus court à l'intérieur du disque ferait partie du contour d'un cycle meilleur). De plus,   doit avoir une longueur exactement égale à  , car sinon il pourrait être amélioré en remplaçant l'une de ses arêtes par les deux autres côtés d'un triangle. Si les sommets de   sont numérotés de   à   dans le sens des aiguilles d'une montre, et que le sommet   est apparié au sommet  , alors ces paires appariées peuvent être reliées par des chemins disjoints de sommets à l'intérieur du disque, par une variante du théorème de Menger pour les graphes planaires. Cependant, la longueur totale de ces chemins serait nécessairement supérieure à  , une contradiction. Avec quelques arguments supplémentaires, les auteurs montrent par une méthode similaire qu'il existe un séparateur de cycles simple de taille au plus  .

Djidjev & Venkatesan (1997)[8] ont amélioré le facteur constant dans le théorème du séparateur de cycle simple à  . Leur méthode peut également trouver des séparateurs de cycles simples pour des graphes avec des poids de sommets non négatifs, avec une taille de séparateur d'au plus  , et peut engendrer des séparateurs de taille plus petite au prix d'une partition plus inégale du graphe.

Dans un graphe planaire biconnexe qui n'est pas maiximal, il existe des séparateurs de cycles simples dont la taille est proportionnelle à la norme euclidienne du vecteur des longueurs des faces et qui peuvent être trouvés en un temps quasi-linéaire[9].

Séparateurs de cercle

modifier

Selon le théorème d'empilement de cercles (aussi connu sous le nom de théorème de Koebe, Andreev et Thurston, tout graphe planaire peut être représenté par un empilement de disques circulaires dans le plan avec des intérieurs disjoints, de sorte que deux sommets du graphe sont adjacents si et seulement si les disques de la paire correspondante sont tangents. Miller et al. (1997)[10] ont montré que, pour un tel empilement, il existe un cercle qui est touche par au plus   disques tangents à l'intérieur, ou au plus   disques à l'extérieur, et qui croise   disques.

Pour le prouver, Miller et al. utilisent une projection stéréographique pour projeter l'empilement sur la surface d'une sphère unitaire en trois dimensions. En choisissant soigneusement la projection, le centre de la sphère peut être transformé en un point central des centres du disque sur la surface, de sorte que tout plan passant par le centre de la sphère la divise en deux demi-espaces qui contiennent ou croisent chacun au plus   des disques. Si un plan passant par le centre est choisi uniformément au hasard, un disque sera croisé avec une probabilité proportionnelle à son rayon. Par conséquent, le nombre moyen de disques croisés est proportionnel à la somme des rayons des disques. Cependant, la somme des carrés des rayons est proportionnelle à la surface totale des disques, qui est au plus la surface totale de la sphère unité, qui elle est une constante. Un argument impliquant l'inégalité de Jensen montre que, lorsque la somme des carrés de   nombres réels non négatifs est borné par une constante, la somme des nombres eux-mêmes est  . Par conséquent, le nombre moyen de disques traversés par un plan aléatoire est   et il existe un plan qui traverse au plus ce nombre de disques. Ce plan coupe la sphère dans un grand cercle, qui se projette en un cercle dans le plan avec les propriétés souhaitées. Les disques traversés par ce cercle, au nombre de  , correspondent aux sommets d'un séparateur de graphe planaire qui sépare les sommets dont les disques sont à l'intérieur du cercle des sommets dont les disques sont à l'extérieur du cercle, avec au plus   sommets dans chacun de ces deux sous-ensembles.

La méthode utilisée conduit à un algorithme randomisé pour trouver un tel séparateur en temps linéaire[10] et un algorithme déterministe moins pratique avec la même borne de temps linéaire [11]. On peut montrer[12] que l'algorithme trouve des séparateurs de taille au plus

 .

Bien que cette majoration améliorée de la taille de séparateur se fasse au détriment d'une partition plus inégale du graphe, Spielman & Teng (1996)[12] constatent qu'elle fournit un meilleur facteur constant du temps pour la dissection imbriquée par rapport aux séparateurs d' Alon, Seymour & Thomas (1990) . La taille des séparateurs qu'il produit peut encore être améliorée, en pratique, en utilisant une répartition non uniforme des plans de coupe aléatoires[13].

La projection stéréographique dans l'argument de Miller et al. ci-dessus peut être contournée en considérant le plus petit cercle contenant une fraction constante des centres des disques, puis en l'étendant par une constante choisie uniformément dans la plage  . Comme dans Miller et al., les disques coupant le cercle élargi forment un séparateur valide et le séparateur est de la bonne taille en moyenne. Les constantes résultantes sont en revanche un peu moins bonnes[14].

Séparateurs d'arêtes

modifier

Une variante du théorème du séparateur planaire implique des séparateurs d'arêtes, qui sont de petits ensembles d'arêtes formant une coupe entre deux sous-ensembles   et   de sommets du graphe. Les deux ensembles   et   doivent chacun avoir une taille au plus égale à une fraction constante du nombre   de sommets du graphe (par convention, les deux ensembles ont une taille au plus  ), et chaque sommet du graphe appartient exactement à l'un des ensembles   et  . Le séparateur est composé des arêtes qui ont une extrémité dans   et une autre dans  . Les bornes sur la taille d'un séparateur d'arêtes dépendent du degré des sommets ainsi que du nombre de sommets dans le graphe : les graphes planaires dans lesquels un sommet a un degré  , y compris les graphes roue et les graphes étoile, n'ont pas de séparateur d'arêtes avec un nombre sous-linéaire d'arêtes, car tout séparateur d'arêtes devrait inclure toutes les arêtes reliant le sommet de grand degré aux autres sommets de la coupe. Cependant, tout graphe planaire de degré maximum   a un séparateur de bord de taille   .

Papadimitriou & Sideri (1996)[15] décrivent un algorithme en temps polynomial pour trouver le plus petit séparateur d'arêtes qui partitionne un graphe   en deux sous-graphes de taille égale, lorsque   est un sous-graphe induit d'un graphe grille sans trous ou avec un nombre constant de trous. Cependant, ils conjecturent que le problème est NP-complet pour les graphes planaires arbitraires, et ils montrent que la complexité du problème est la même pour les graphes grille avec un nombre arbitraire de trous que pour les graphes planaires arbitraires.

Bornes inférieures

modifier
 
Un polyèdre formé en remplaçant chacune des faces d'un icosaèdre par un maillage de 100 triangles, un exemple de la construction minorante de Djidjev (1982)

Dans un graphe grille  , un ensemble   de   les points peut inclure un sous-ensemble d'au plus   points de grille, et le maximum est atteint en disposant   en diagonale près d'un coin de la grille. Par conséquent, afin de former un séparateur qui sépare au moins   des points de la grille restante,   doit être au moins égal à  .

Il existe pour tout   des graphes planaires à   sommets tels que tout séparateur   qui partitionne le graphe restant en sous-graphes d'au plus   sommets a une taille au moins égale à  [4]. La construction consiste à approximer une sphère par un polyèdre convexe, à remplacer chacune des faces du polyèdre par un maillage triangulaire, et à appliquer un des théorèmes isopérimétriques à la surface de la sphère.

Autres classes de graphes

modifier

Certains graphes peu denses n'ont pas de séparateurs de taille sous-linéaire : ainsi, dans un graphe d'expansion, la suppression d'une fraction constante de sommets ne laisse toujours qu'une seule composante connexe.

Un des plus anciens théorèmes de séparation connus est peut-être le résultat de Jordan (1869) selon lequel tout arbre peut être divisé en sous-arbres d'au plus   sommets chacun par la suppression d'un seul sommet[10]. En particulier, le sommet qui minimise la taille maximale des composants a cette propriété, car sinon son voisin dans l'unique grand sous-arbre formerait une partition encore meilleure. En appliquant la même technique à une décomposition arborescente d'un graphe arbitraire, il est possible de montrer que tout graphe possède un séparateur de taille au plus égale à sa largeur arborescente.

Un graphe   qui n'est pas planaire, mais qui peut être plongé sur une surface de genre  , possède un séparateur avec   sommets, comme l'ont prouvé Gilbert, Hutchinson & Tarjan (1984)[16] en utilisant une approche similaire à celle de Lipton & Tarjan (1979). Ils regroupent les sommets du graphe en niveaux dans un parcours en largeur et trouvent deux niveaux dont la suppression laisse au plus un grand composant composé d'un petit nombre de niveaux. Ce composant restant peut être rendu planaire en supprimant un certain nombre de chemins du parcours en largeur proportionnels au genre, puis la méthode de Lipton & Tarjan peut être appliquée au graphe planaire restant. Le résultat résulte d'un équilibrage délicat entre la taille des deux niveaux supprimés et le nombre de niveaux qui sont entre eux. Si le plongement du graphe est donné, son séparateur peut être trouvé en temps linéaire. Les graphes de genre   ont également des séparateurs d'arêtes de taille  [17].

Les graphes de genre borné forment un exemple d'une famille de graphes fermés par l'opération de passage aux mineurs, et les théorèmes de séparation s'appliquent également aux familles de graphes fermés par mineurs arbitraires. En particulier, si une famille de graphes a un mineur exclu avec   sommets, alors il a un séparateur avec   sommets, et un tel séparateur peut être trouvé dans le temps   pour tout  .

La méthode des séparateurs par cercles de Miller et al. (1997) se généralise aux graphes d'intersection de tout système de boules  -dimensionnelles avec la propriété que tout point de l'espace est couvert par au plus un certain nombre constant   de boules, aux graphes des  -plus proches voisins dans   dimensions[10] et aux graphes issus des maillages éléments finis[18]. Les séparateurs de sphères ainsi construits partitionnent le graphe d'entrée en sous-graphes d'au plus   sommets. La taille des séparateurs pour les graphes d'intersection de boules et des graphes des plus proches voisins sont   .

Algorithmes « diviser pour régner »

modifier

Les décompositions de séparateurs peuvent être utiles pour la conception d' algorithmes de diviser pour régner pour résoudre des problèmes sur des graphes planaires. A titre d'exemple, un problème qui peut être résolu de cette manière est de trouver le cycle le plus court dans un graphe planaire pondéré. Cela peut être fait comme suit :

  • Partitionner le graphe donné   en trois sous-ensembles  ,  ,   d'après le théorème du séparateur planaire ;
  • rechercher récursivement des cycles les plus courts dans   et   ;
  • utiliser l'algorithme de Dijkstra pour trouver, pour chaque sommet   dans  , le cycle le plus court qui passe par   dans   ;
  • renvoyer le plus court des cycles trouvés dans les étapes ci-dessus.

Le temps des deux appels récursifs à   et   dans cet algorithme est dominé par le temps nécessaire pour effectuer les   appels à l'algorithme de Dijkstra, de sorte que cet algorithme trouve le cycle le plus court dans   temps.

Un algorithme plus rapide pour le même problème de cycle le plus court, exécuté en temps  , a été donnée par Wulff-Nilsen (2009)[19].

Frederickson a proposé un autre algorithme plus rapide pour trouves les chemins les plus courts depuis une source unique en implémentant le théorème du séparateur dans les graphes planaires[20]. Il s'agit d'une amélioration de l'algorithme de Dijkstra avec une recherche itérative sur un sous-ensemble soigneusement sélectionné des sommets. Cette version prend un temps   dans un graphe à   sommets. Henzinger et al.[21] ont étendu la technique de division de Frederickson pour l'algorithme de calcul des chemins les plus courts depuis une source unique dans les graphes planaires à des arêtes de longueurs non négatives et donnent un algorithme en temps linéaire.

La dissection emboîtée est une variation basée sur un séparateur de la technique du diviser pour régner de l'élimination gaussienne dans la résolution des systèmes d'équations linéaires sur une structure de graphe planaire, tels que ceux résultant de la méthode des éléments finis. Il s'agit de trouver un séparateur pour le graphe décrivant le système d'équations, d'éliminer récursivement les variables dans les deux sous-problèmes séparés l'un de l'autre par le séparateur, puis d'éliminer les variables dans le séparateur[22]. Le remplissage du système pour cette méthode (c'est-à-dire le nombre de coefficients non nuls de la décomposition de Cholesky résultante de la matrice) est en  , permettant à cette méthode d'être compétitive avec les méthodes itératives pour les mêmes problèmes[22].

Le paradigme du diviser pour régner qui est basé sur les séparateurs a également été utilisé pour concevoir des structures de données pour les algorithmes sur les graphes dynamiques et la localisation de points[23], des algorithmes pour la triangulation de polygones[24] des problèmes de plus court chemin ou la construction de graphes voisins les plus proches[25] et des algorithmes d'approximation pour le calcul d'un stable maximal d'un graphe planaire[23].

Notes et références

modifier
(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Plana separator theorem » (voir la liste des auteurs).

Annexes

modifier

Bibliographie

modifier

Articles connexes

modifier