Pøedchozí pøevod je ov¹em trochu marnotratný. ©ikovným pou¾itím metody Rozdìl a panuj
mù¾eme èasovou slo¾itost je¹tì sní¾it. Postup pøedvedeme pro dosa¾itelnost: na vstupu
-tedy dostaneme matici sousednosti~$A$, výstupem má být její transitivní uzávìr~$A^*$.
+tedy dostaneme matici sousednosti~$A$, výstupem má být její transitivní uzávìr~$A^*$
(matice dosa¾itelnosti). V¹echny souèiny matic v~tomto oddílu budou typu $(\lor,\land)$.
Vrcholy grafu rozdìlíme na dvì mno¾iny $X$ a~$Y$ pøibli¾nì stejné velikosti,