Î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 numără:
 

* 'Retele':problema/retele

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

* '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, _SGU_

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

* 'Obiective':problema/obiective

* 'Dep':problema/dep, _ONI 2008, Baraj_
* {'Aplicaţii ale $2-SAT$':2-sat#aplicatii}

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

== include(page="template/taskfooter" task_id="ctc") ==

3511