În algoritmii care lucrează cu grafuri orientate este adeseori nevoie să se transforme graful orientat într-un 'graf orientat aciclic':http://en.wikipedia.org/wiki/Directed_acyclic_graph. Acest lucru se poate realiza cu algoritmul determinării componentelor tare conexe, care divizează problema în mai multe subprobleme, una pentru fiecare componentă tare conexă, deoarece graful subproblemelor, adică al componentelor, este aciclic. Soluţiile lor se vor combina urmând structura legăturilor dintre componente.

Printre problemele care folosesc ideile de mai sus se numara:
 

* 'Retele':problema/retele

* "Proving Equivalences":http://2008.nwerc.eu/problems/nwerc08-problemset.pdf

* 'Proving Equivalences':http://2008.nwerc.eu/problems/nwerc08-problemset.pdf

* 'Plan':problema/plan
* 'Plimbare':problema/plimbare

* "Synchrograph":http://acm.sgu.ru/problem.php?contest=0&problem=219

* 'Synchrograph':http://acm.sgu.ru/problem.php?contest=0&problem=219

* 'Obiective':problema/obiective
* {'Aplicaţii la $2-SAT$':2-sat#aplicatii}