Skurcz krawędzi

W teorii wykres An skurcz krawędzi jest działanie na wykresie. Polega ona, obrazowo, na zawężeniu krawędzi wykresu, co sprowadza się do scalenia jego dwóch końców.

Ta operacja ma fundamentalne znaczenie dla teorii górników grafów i jest używana w niektórych algorytmach i niektórych dowodach.

Definicja

Niech będzie grafem G = (V, E) , zawierającym krawędź (u, v) , przy czym u różni się od v . Skurcz (u, v), to operacja polegająca na transformacji G na wykresie G '= (V, E „) , gdzie v” jest równa V, z tym, że U i V są zastąpione przez unikalny wierzchołka wagowo , a E ' jest równe E z tą różnicą, że wystąpienia u i v są zastąpione przez w .

W zależności od obszaru zastosowania, pętle i wielokrotne wypukłości powstałe w wyniku skurczu są usuwane lub nie.

Używa

Karger 's algorytm dla min cięcia i Borůvka jest algorytm w minimalny ciężar drzewa rozpinającego użytkowania krawędzi skurczu.

Uwagi i odniesienia

  1. David Karger , „Global Min-cut in RNC and Other Ramifications of a Simple Mincut Algorithm” , w Proc. IV doroczne sympozjum ACM-SIAM nt. Algorytmów dyskretnych , 1993( czytaj online )
  2. Notatki z wykładu przez Sanjeev Arora ( Princeton University ).
  3. (cs) Otakar Borůvka , „  O jistém Problému minimálním (O pewnym minimalnym problemie)  ” , Práce mor. přírodověd. spol. przeciwko Brně III , t.  3,1926, s.  37–58.
  4. „  Algorytm Boruvka  ” , na COATI w INRIA .

Zobacz też