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 ${\displaystyle O({\sqrt {n}})}$ sommets d'un graphe à ${\displaystyle n}$ sommets dont la suppression partitionne le graphe en sous-graphes disjoints dont chacun a au plus ${\displaystyle 2n/3}$ sommets.

Présentation

Une forme plus faible du théorème séparateur avec un séparateur de taille ${\displaystyle O({\sqrt {n}}\log ^{3/2}n)}$ au lieu de ${\displaystyle O({\sqrt {n}})}$ 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 ${\displaystyle O({\sqrt {n}})}$ 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

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

Dans cet énoncé il n'est pas requis que ${\displaystyle A}$ ou ${\displaystyle B}$ forment des sous-graphes connexes de ${\displaystyle G}$. L'ensemble ${\displaystyle S}$ est appelé le séparateur de cette partition.

Une formulation équivalente est que les arêtes d'un graphe planaire à ${\displaystyle n}$ sommets ${\displaystyle G}$ peuvent être partagées en arêtes de deux sous-graphes à arêtes disjointes ${\displaystyle G_{1}}$ et ${\displaystyle G_{2}}$ de sorte que chacun des deux sous-graphes a au moins ${\displaystyle n/3}$ sommets et que l'intersection des ensembles de sommets des deux sous-graphes a ${\displaystyle O({\sqrt {n}})}$ 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 ${\displaystyle 2n/3}$ sommets. Réciproquement, pour une partition en trois ensembles ${\displaystyle A}$, ${\displaystyle S}$ et ${\displaystyle B}$ 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 ${\displaystyle A}$ appartiennent à ${\displaystyle G_{1}}$, les arêtes avec une extrémité dans ${\displaystyle B}$ appartiennent à ${\displaystyle G_{2}}$, et les arêtes restantes (avec les deux extrémités dans ${\displaystyle S}$) sont réparties arbitrairement.

La constante ${\displaystyle 2/3}$ 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 ${\displaystyle (1/2,1)}$ 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

Considérons un graphe grille avec ${\displaystyle r}$ lignes et ${\displaystyle c}$ colonnes ; le nombre ${\displaystyle n}$ de sommets est égal ${\displaystyle rc}$. Dans l'exemple, on a ${\displaystyle r=5}$, ${\displaystyle c=8}$, et ${\displaystyle n=rc=40}$. Si ${\displaystyle r}$ est impair, il y a une seule ligne centrale, et sinon il y a deux lignes près du centre ; de même, si ${\displaystyle c}$ est impair, il y a une seule colonne centrale, et sinon il y a deux colonnes près du centre. Si on prend pour ${\displaystyle S}$ l'une de ces lignes ou colonnes centrales, et on supprime ${\displaystyle S}$ du graphe, on partitionne le graphe en deux sous-graphes connexes plus petits ${\displaystyle A}$ et ${\displaystyle B}$, dont chacun a au plus ${\displaystyle n/2}$ sommets. Si ${\displaystyle r\leq c}$ (comme dans l'illustration), le choix d'une colonne centrale donne un séparateur ${\displaystyle S}$ avec ${\displaystyle r\leq {\sqrt {n}}}$ sommets, et de même si ${\displaystyle c\leq r}$ le choix d'une ligne centrale donne un séparateur avec au plus ${\displaystyle {\sqrt {n}}}$ sommets. Ainsi, chaque graphe grille a un séparateur ${\displaystyle S}$ de taille au plus ${\displaystyle {\sqrt {n}}}$, dont la suppression partitionne le graphe en deux composantes connexes qui chacune est de taille au plus ${\displaystyle n/2}$.

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 ${\displaystyle O({\sqrt {n}})}$ qui peut être plus grande que ${\displaystyle {\sqrt {n}}}$, et que la borne sur la taille des deux sous-ensembles ${\displaystyle A}$ et ${\displaystyle B}$ (dans les versions les plus courantes du théorème) est ${\displaystyle 2n/3}$ plutôt que ${\displaystyle n/2}$, et que les deux sous-ensembles ${\displaystyle A}$ et ${\displaystyle B}$ ne forment pas nécessairement des sous-graphes connexes.

Constructions

Superposition en largeur

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 ${\displaystyle v}$, et partitionnent les sommets en niveaux par leur distance à ${\displaystyle v}$.

Si ${\displaystyle l_{1}}$ 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 ${\displaystyle n/2}$), alors il existe des niveaux ${\displaystyle l_{0}}$ et ${\displaystyle l_{2}}$ qui sont à ${\displaystyle O({\sqrt {n}})}$ étapes au-dessus et au-dessous de ${\displaystyle l_{1}}$ respectivement et qui contiennent ${\displaystyle O({\sqrt {n}})}$ sommets respectivement, car sinon il y aurait plus de ${\displaystyle n}$ sommets dans les niveaux proches de ${\displaystyle l_{1}}$.

Les auteurs montrent qu'il existe un séparateur ${\displaystyle S}$ formé par l'union des niveaux ${\displaystyle l_{0}}$ et ${\displaystyle l_{2}}$, par les d'extrémités des arêtes ${\displaystyle e}$ de ${\displaystyle G}$ 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 ${\displaystyle e}$ en remontant jusqu'au niveau ${\displaystyle l_{0}}$. La taille du séparateur ${\displaystyle S}$ ainsi construit est au plus de ${\displaystyle {\sqrt {8n}}\approx 2,83{\sqrt {n}}}$. 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 ${\displaystyle A}$, ${\displaystyle S}$, et ${\displaystyle B}$ tels que ${\displaystyle A}$ et ${\displaystyle B}$ ont chacun un coût au plus égal à ${\displaystyle 2/3}$ du coût total et ${\displaystyle S}$ possède ${\displaystyle O({\sqrt {n}})}$ sommets, sans arêtes de ${\displaystyle A}$ et de ${\displaystyle B}$^[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 ${\displaystyle S}$ peut être réduite à ${\displaystyle {\sqrt {6n}}\approx 2.45{\sqrt {n}}}$^[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 ${\displaystyle e}$ qui ne fait pas partie de l'arbre, ils forment un cycle en combinant ${\displaystyle e}$ 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

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 ${\displaystyle 2n/3}$ sommets. Miller (1986)^[6] a montré cette construction (avec un séparateur de taille ${\displaystyle {\sqrt {8n}}}$) 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 ${\displaystyle C}$ d'au plus ${\displaystyle {\sqrt {8n}}}$ sommets, avec au plus ${\displaystyle 2n/3}$ sommets à l'extérieur de ${\displaystyle C}$, 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 ${\displaystyle C}$ est un séparateur. En effet, sinon les distances à l'intérieur de ${\displaystyle C}$ doivent être égales aux distances dans le disque extérieur par ${\displaystyle C}$ (car un chemin plus court à l'intérieur du disque ferait partie du contour d'un cycle meilleur). De plus, ${\displaystyle C}$ doit avoir une longueur exactement égale à ${\displaystyle {\sqrt {8n}}}$, 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 ${\displaystyle C}$ sont numérotés de ${\displaystyle 1}$ à ${\displaystyle {\sqrt {8n}}}$ dans le sens des aiguilles d'une montre, et que le sommet ${\displaystyle i}$ est apparié au sommet ${\displaystyle {\sqrt {8n}}-i+1}$, 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 à ${\displaystyle n}$, 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 ${\displaystyle {\sqrt {9n/2}}\approx 2,12{\sqrt {n}}}$.

Djidjev & Venkatesan (1997)^[8] ont amélioré le facteur constant dans le théorème du séparateur de cycle simple à ${\displaystyle 1,97{\sqrt {n}}}$. 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 ${\displaystyle 2{\sqrt {n}}}$, 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

Selon le théorème d'empilement de cercles (en) (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 ${\displaystyle 3n/4}$ disques tangents à l'intérieur, ou au plus ${\displaystyle 3n/4}$ disques à l'extérieur, et qui croise ${\displaystyle O({\sqrt {n}})}$ 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 ${\displaystyle 3n/4}$ 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 ${\displaystyle n}$ nombres réels non négatifs est borné par une constante, la somme des nombres eux-mêmes est ${\displaystyle O({\sqrt {n}})}$. Par conséquent, le nombre moyen de disques traversés par un plan aléatoire est ${\displaystyle O({\sqrt {n}})}$ 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 ${\displaystyle O({\sqrt {n}})}$, 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 ${\displaystyle 3n/4}$ 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

${\displaystyle {\sqrt {\frac {2\pi }{\sqrt {3}}}}\left({\frac {1+{\sqrt {3}}}{2{\sqrt {2}}}}+o(1)\right){\sqrt {n}}\approx 1.84{\sqrt {n}}}$.

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 ${\displaystyle [1,2]}$. 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

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 ${\displaystyle A}$ et ${\displaystyle B}$ de sommets du graphe. Les deux ensembles ${\displaystyle A}$ et ${\displaystyle B}$ doivent chacun avoir une taille au plus égale à une fraction constante du nombre ${\displaystyle n}$ de sommets du graphe (par convention, les deux ensembles ont une taille au plus ${\displaystyle 2n/3}$), et chaque sommet du graphe appartient exactement à l'un des ensembles ${\displaystyle A}$ et ${\displaystyle B}$. Le séparateur est composé des arêtes qui ont une extrémité dans ${\displaystyle A}$ et une autre dans ${\displaystyle B}$. 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é ${\displaystyle n-1}$, 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 ${\displaystyle \delta }$ a un séparateur de bord de taille ${\displaystyle O({\sqrt {\delta n}})}$ .

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 ${\displaystyle G}$ en deux sous-graphes de taille égale, lorsque ${\displaystyle G}$ 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

Dans un graphe grille ${\displaystyle {\sqrt {n}}\times {\sqrt {n}}}$, un ensemble ${\displaystyle S}$ de ${\displaystyle s<{\sqrt {n}}}$ les points peut inclure un sous-ensemble d'au plus ${\displaystyle s(s-1)/2}$ points de grille, et le maximum est atteint en disposant ${\displaystyle S}$ en diagonale près d'un coin de la grille. Par conséquent, afin de former un séparateur qui sépare au moins ${\displaystyle n/3}$ des points de la grille restante, ${\displaystyle s}$ doit être au moins égal à ${\displaystyle {\sqrt {2n/3}}\approx 0.82{\sqrt {n}}}$.

Il existe pour tout ${\displaystyle n}$ des graphes planaires à ${\displaystyle n}$ sommets tels que tout séparateur ${\displaystyle S}$ qui partitionne le graphe restant en sous-graphes d'au plus ${\displaystyle 2n/3}$ sommets a une taille au moins égale à ${\displaystyle {\sqrt {4\pi n/{\sqrt {27}}}}\approx 1.56{\sqrt {n}}}$^[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

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 ${\displaystyle n/2}$ 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 ${\displaystyle G}$ qui n'est pas planaire, mais qui peut être plongé sur une surface de genre ${\displaystyle g}$, possède un séparateur avec ${\displaystyle O({\sqrt {gn}})}$ 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 ${\displaystyle g}$ ont également des séparateurs d'arêtes de taille ${\displaystyle O({\sqrt {g\Delta n}})}$^[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 ${\displaystyle h}$ sommets, alors il a un séparateur avec ${\displaystyle O(h{\sqrt {n}})}$ sommets, et un tel séparateur peut être trouvé dans le temps ${\displaystyle O(n^{1+\varepsilon })}$ pour tout ${\displaystyle \varepsilon >0}$.

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 ${\displaystyle d}$-dimensionnelles avec la propriété que tout point de l'espace est couvert par au plus un certain nombre constant ${\displaystyle k}$ de boules, aux graphes des ${\displaystyle k}$-plus proches voisins dans ${\displaystyle d}$ 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 ${\displaystyle n(d+1)/(d+2)}$ sommets. La taille des séparateurs pour les graphes d'intersection de boules et des graphes des plus proches voisins sont ${\displaystyle O(k^{1/d}n^{1-1/d})}$ .

Algorithmes « diviser pour régner »

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é ${\displaystyle G}$ en trois sous-ensembles ${\displaystyle S}$, ${\displaystyle A}$, ${\displaystyle B}$ d'après le théorème du séparateur planaire ;
• rechercher récursivement des cycles les plus courts dans ${\displaystyle A}$ et ${\displaystyle B}$ ;
• utiliser l'algorithme de Dijkstra pour trouver, pour chaque sommet ${\displaystyle s}$ dans ${\displaystyle S}$, le cycle le plus court qui passe par ${\displaystyle s}$ dans ${\displaystyle G}$ ;
• renvoyer le plus court des cycles trouvés dans les étapes ci-dessus.

Le temps des deux appels récursifs à ${\displaystyle A}$ et ${\displaystyle B}$ dans cet algorithme est dominé par le temps nécessaire pour effectuer les ${\displaystyle O({\sqrt {n}})}$ appels à l'algorithme de Dijkstra, de sorte que cet algorithme trouve le cycle le plus court dans ${\displaystyle O(n^{3/2}\log n)}$ temps.

Un algorithme plus rapide pour le même problème de cycle le plus court, exécuté en temps ${\displaystyle O(n\log ^{3}n)}$, 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 ${\displaystyle O(n{\sqrt {\log n}})}$ dans un graphe à ${\displaystyle n}$ 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 ${\displaystyle O(n\log n)}$, 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

Annexes

Bibliographie

Articles connexes

• Séparateur de sommets
• Séparateur géométrique

• Portail de l'informatique théorique
• Portail des mathématiques