2-tyydyttävyydestä poistettu teksti 

Tämä algoritmin kuvaus sisältyi 2SAT-sivulle, mutta oli siellä epäolennainen.
Liitän sen tähän, jotta osia siitä voidaan tarvittaessa sisällyttää tähän artikkeliin.

Kosarajun algoritmi suorittaa kaksi syvyysetsintää, mutta se on hyvin yksinkertainen: ensimmäistä etsintää käytetään vain kärkipisteiden järjestämiseen, toisin kuin postorder depth-first traversal. Tämän jälkeen algoritmin toisessa läpikäynnissä käydään läpi kärkipisteet tässä järjestyksessä, ja jokaisen sellaisen kärkipisteen osalta, jota ei ole vielä määritetty komponenttiin, suoritetaan syvyyssuuntainen haku transpositio-graafista alkaen kyseisestä kärkipisteestä ja palataan takaisin, kun haku saavuttaa aiemmin määritetyn kärkipisteen; tämän haun tavoittamat määrittelemättömät kärkipisteet muodostavat uuden komponentin.