Computing and proving with pivots - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue RAIRO - Operations Research Année : 2013

Computing and proving with pivots

Résumé

A simple idea used in many combinatorial algorithms is the idea of {\em pivoting}. Originally, it comes from the method proposed by Gauss in the 19th century for solving systems of linear equations. This method had been extended in 1947 by Dantzig for the famous simplex algorithm used for solving linear programs. From since, a pivoting algorithm is a method exploring subsets of a ground set and going from one subset $\sigma$ to a new one $\sigma'$ by deleting an element inside $\sigma$ and adding an element outside $\sigma$: $$\sigma'=\sigma\setminus\{v\}\cup\{u\},\mbox{ with $v\in\sigma$ and $u\notin\sigma$.}$$ This simple principle combined with other ideas appears to be quite powerful for many problems. This present paper is a survey on algorithms in operations research and discrete mathematics using pivots. We give also examples where this principle allows not only to compute but also to prove some theorems in a constructive way. A formalisation is described, mainly based on ideas by Michael J. Todd.
Fichier principal
Vignette du fichier
SurveyPivot-hal.pdf (378.11 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00849867 , version 1 (01-08-2013)

Identifiants

Citer

Frédéric Meunier. Computing and proving with pivots. RAIRO - Operations Research, 2013, 47 (4), pp.331-360. ⟨10.1051/ro/2013042⟩. ⟨hal-00849867⟩
76 Consultations
331 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More