Algoritmus silnej súvislosti (algoritmus na riešenie špeciálneho prípadu splniteľnosti boolovksej formuly)

Def. digrafu:
Digraf D je silne súvislý <=> D je súvislý a každá hrana leží v nejakom cykle.

Tarryho prieskum digrafov
Generujeme polosled začínajúci v nejakom vrchole s, pričom hranami môžeme prechádzať v oboch smeroch zachovávajúc nasledujúce pravidlo (TD) a pravidlá (T1) a (T2)
(TD) prvýkrát môžeme hranou prechádzať iba v smere šípky
(T1) každou hranou môžeme v jednom smere prechádzať nanajvýš raz.
(T2) po tej hrane, po ktorej sme prišli do nejakého vrcholu poprvýkrát, môžeme ísť späť iba vtedy, ak niet inej možnosti
...
f(j) označuje otca vrcholu j, ( do vrchola j sme prišli hranou {i.j),
p(j) označuje poradie objavenia vrchola j
k udáva počet doposiaľ objavených vrcholov,
q udáva najmenší nepreskúmaný vrchol,
s je tzv. koreň, ktorý označuje začiatok vytváraného sledu
i, j sú čísla vrcholov s ktorými aktuálne pracujeme
V zásobníku ZP zaznamenávame doposiaľ objavene vrcholy.
Ďalej r(i)=min p(j) pre j zo ZP
...