sau _maximum cardinality search_) gaseste taietura _s-t_ dorita:
== code(c) |

TaieturaMinima(G, w, a)

FazaTaieturiiMinime(G, w, a)

    A <- {a}
    CatTimp A != V
        adauga in A nodul cel mai puternic conectat

        retine taietura si micsoreaza graful G prin fuzionarea ultimelor doua noduri adaugate

    retine taietura si micsoreaza graful G prin fuzionarea ultimelor doua noduri adaugate

==

Explicatie: O submultime A a lui V creste incepand cu un nod arbitrar pana cand A devine egala cu V. La fiecare pas, nodul care nu se afla in A, _cel mai puternic conectat_, este adugat multimii. Intr-o formulare mai formala, putem spune ca adaugam nodul

Explicatie: O submultime A a lui V creste incepand cu un nod arbitrar pana cand A devine egala cu V. La fiecare pas, nodul care nu se afla in A, _cel mai puternic conectat_, este adaugat multimii. Intr-o formulare mai formala, putem spune ca adaugam nodul

    z ∉ A astfel incat _w(A, z)_ = max{_w(A, y)_|y ∉ A},

unde _w(A, y)_ este suma costurilor muchiilor dintre nodul y si nodurile care apartin multimii A. La sfarsitul fiecarei astfel de faze, ultimele doua noduri adaugate fuzioneaza, ceea ce inseamna ca cele doua noduri sunt inlocuite de un nou nod, si orice muchii de la cele doua noduri la celealte noduri ramase sunt inlocuite de o noua muchie de cost egal cu suma costurilor precedentelor doua muchii.

unde _w(A, y)_ este suma costurilor muchiilor dintre nodul y si nodurile care apartin multimii A. La sfarsitul fiecarei astfel de faze, ultimele doua noduri adaugate fuzioneaza, ceea ce inseamna ca cele doua noduri sunt inlocuite de un nou nod, si orice muchii de la un nod ramas la cele doua noduri scoase sunt inlocuite de o noua muchie de cost egal cu suma costurilor precedentelor doua muchii. Muchiile intre cele doua noduri sunt eliminate. Taietura lui V ce separa ultimul nod adaugat de restul grafului se numeste taitura a fazei. Cea mai mica dintre aceste taiteuri ale fazei, reprezinta rezultatul dorit, si anume taietura minima in graf.
 
== code(c) |
TaieturaMinima(G, w, a)
    while |V| > 1
==