Harmadik (markdown ftw) tétel: "F összefüggő, ha az eredeti bemeneti gráf is összefüggő volt".
Ez így nem jó. G állhat több komponensből is. De ha lefuttatjuk az BFS algoritmust, kapunk G egyik komponense "fölött" egy feszítőfát, ami, lévén fa, összefüggő lesz.
Harmadik (markdown ftw) tétel: "F összefüggő, ha az eredeti bemeneti gráf is összefüggő volt".
Ez így nem jó. G állhat több komponensből is. De ha lefuttatjuk az BFS algoritmust, kapunk G egyik komponense "fölött" egy feszítőfát, ami, lévén fa, összefüggő lesz.