Généralisation de l'algorithme hongrois aux graphes généraux non orientés?


14

L'algorithme hongrois est un algorithme d'optimisation combinatoire qui résout le problème d'appariement bipartite de poids maximum en temps polynomial et a anticipé le développement ultérieur de l'importante méthode primal-dual . L'algorithme a été développé et publié par Harold Kuhn en 1955, qui a donné le nom "algorithme hongrois" parce que l'algorithme était basé sur les travaux antérieurs de deux mathématiciens hongrois: Dénes Kőnig et Jenő Egerváry. Munkres a passé en revue l'algorithme en 1957 et a observé qu'il s'agit bien de la polytime. Depuis lors, l'algorithme est également connu sous le nom d'algorithme de Kuhn-Munkres.

Bien que le hongrois contienne l'idée de base de la méthode primal-dual, il résout directement le problème de correspondance bipartite de poids maximum sans utiliser de machinerie de programmation linéaire (LP). Ainsi, en réponse à la question suivante , Jukka Suomela a commenté

Bien sûr, vous pouvez résoudre n'importe quel LP en utilisant un solveur LP à usage général, mais les algorithmes spécialisés ont généralement de bien meilleures performances. [...] Vous pouvez également souvent éviter des problèmes comme l'utilisation de nombres rationnels exacts par rapport à des nombres à virgule flottante; tout peut être fait facilement avec des entiers.

En d'autres termes, vous n'avez pas à vous soucier de l'arrondi d'une solution rationnelle / virgule flottante du solveur LP pour obtenir une correspondance parfaite de poids maximum d'un graphe biparti donné.

Ma question est la suivante:

Y a-t-il une généralisation de l'algorithme hongrois qui fonctionne pour le graphe général non orienté sans l'utilisation de machines LP de manière similaire à l'esprit de l'algorithme hongrois d'origine?

Je préférerais une exposition moderne et facile à lire plutôt qu'un papier original compliqué. Mais tout pointeur sera très apprécié!

Merci d'avance et joyeux Noël !!!


Mise à jour: Arman répond joliment à la question ci-dessous. Je veux juste souligner qu'une autre belle source pour étudier l'algorithme de la fleur d'Edmonds (pour le cas pondéré) est le chapitre 11 de l' optimisation combinatoire de Korte et Vygen . Le livre Google montre en fait presque toutes les parties dont j'ai besoin pour comprendre l'algorithme.


2
Que diriez-vous de l'algorithme de correspondance d'Edmonds? en.wikipedia.org/wiki/Edmonds%27s_matching_algorithm
Arman

1
@Arman - C'est ce que je pensais aussi. Merci pour le lien, Wikipedia a une exposition étonnamment détaillée de l'algorithme de la fleur d'Edmond.
Abraham Flaxman

2
Soit dit en passant, l'algorithme de correspondance d'Edmonds est également basé sur la méthode Primal-Dual.
Arman

1
Merci Arman. Le lien wikipedia pointe également vers le livre "Lovász, László; Plummer, Michael (1986). Matching Theory" pour la version pondérée de l'algorithme d'Edmonds. Je devrais vraiment vérifier ce livre. Merci beaucoup pour vos commentaires! Peut-être que si l'un d'entre vous peut expliquer à haut niveau comment l'algorithme généralise l'algorithme hongrois, vous pouvez certainement en faire une réponse.
Dai Le

1
Je pense que c'est une assez bonne réponse telle quelle :). Arman, vous devez l'ajouter en tant que tel
Suresh Venkat

Réponses:


16

L'algorithme de correspondance d'Edmonds (également appelé algorithme Blossom) résout la correspondance maximale sur les graphiques généraux. Il s'agit en fait d'une méthode de généralisation des chemins alternés. (Je ne suis pas sûr du nom de la méthode mais qui devraient être la méthode König-Hall.) Il trouve essentiellement des chemins augmenter (voir wikipedia page: http://en.wikipedia.org/wiki/Edmonds%27s_matching_algorithm ) pour étendre la correspondance actuelle et s'arrête s'il n'y a plus de chemins d'augmentation. Dans les graphiques généraux, le seul problème se produit dans les cycles impairs. Dans l'algorithme d'appariement d'Edmonds, les cycles impairs sont contractés (fleurs) et dépensés pour avoir une solution.

Il existe également une correspondance entre l'algorithme Blossom et la méthode Primal Dual. Les cycles impairs provoquent des points extrêmes fractionnaires. Par conséquent, nous ajoutons des inégalités dites de fleur pour chaque cycle impair.

Des problèmes d'appariement parfait pondéré minimum et d'appariement de poids maximum pourraient également être traités avec cette approche.

Pour plus de détails sur l'algorithme, voir http://en.wikipedia.org/wiki/Edmonds%27s_matching_algorithm http://www.cs.berkeley.edu/~karp/greatalgo/lecture05.pdf

Pour la formulation mathématique et la méthode primale-dual correspondante, voir http://webdocs.cs.ualberta.ca/~mreza/courses/CombOpt09/lecture4.pdf


9

Il y a deux ans, en recherchant l'algorithme de floraison (non pondéré), j'ai trouvé deux grands ensembles de notes, l'un par Tarjan et l'autre par Zwick. Ils ont rendu le cas non pondéré assez simple et j'ai pu l'implémenter dans Mathematica en utilisant la récursivité. Cela fonctionne plutôt bien.

Les notes que j’ai trouvées utiles sont

http://www.cs.tau.ac.il/~zwick/grad-algo-06/match.pdf et http://www.cs.dartmouth.edu/~ac/Teach/CS105-Winter05/Handouts/ tarjan-blossom.pdf

Ils distillent tout cela en termes très simples qui permettent de penser de manière récursive puis, comme indiqué, de programmer récursivement.

Je pense que tout devrait fonctionner dans le cas pondéré, que j'essaie de mettre en œuvre maintenant.


Et j'ai des démos qui peuvent être regardées par n'importe qui avec le logiciel gratuit: La première montre fleurit bien .... < démonstrations.wolfram.com/… > < démonstrations.wolfram.com/TheHungarianMaximumMatchingAlgorithm > < démonstrations.wolfram.com/ PlacementDominoesOnACheckerboard >
Stan Wagon

Et je viens de programmer Blossom non pondéré comme indiqué dans Korte / Vygen. Je vois que quelques accélérations sont possibles pour son code (par exemple, commencer par une correspondance maximale, par opposition à rien), mais la bonne chose est que son code procédural est donné sous une forme que l'on peut facilement traduire en code de travail. Ensuite: la fleur pondérée, qui est beaucoup plus difficile.
Stan Wagon
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.