Ha G összefüggő, akkor minden pontja elérhető a gyökérből induló úttal, tehát az I. eljárás a gráf minden pontját ki fogja választani. Vagyis minden összefüggő gráfra működik az eljárás. Ha G nem összefüggő, akkor az eljárás nem minden pontot ér el.
Ha G összefüggő, akkor G-nek egy olyan G’ részgráfját választja ki, amely G összes pontját tartalmazza, összefüggő és a pontszámnál eggyel kevesebb éle van (az első lépésben csak egy pontot választ ki, a további lépésekben minden ponttal együtt pontosan egy élet is kiválaszt), tehát fa.
Ha az összefüggő G gráf egy G’ feszítő részgráfja fa, akkor G’-t G feszítő fájának, favázának vagy kaptafájának nevezzük.
Az 1. eljárás tehát tetszőleges összefüggő gráfnak megkeresi egy favázát.
KÖVETKEZMÉNY:
TARTALOMJEGYZÉK |