„Fa (gráfelmélet)” változatai közötti eltérés

[ellenőrzött változat][ellenőrzött változat]
Tartalom törölve Tartalom hozzáadva
AtaBot (vitalap | szerkesztései)
a →‎Jegyzetek: források --> jegyzetek AWB
18. sor:
== Tulajdonságok ==
* Minden fa [[páros gráf]]. Minden fa, amelynek [[számosság|megszámlálható sok]] csúcspontja van, [[síkbarajzolható gráf|síkgráf]].
* Minden összefüggő G gráfnak van feszítő fájafeszítőfája, azaz létezik hozzá olyan fa, ami tartalmazza a G összes csúcspontját, és amelynek élei egyben a G gráfnak is élei. Továbbá minden gráfnak van feszítő erdője, tehát létezik hozzá olyan erdő, aminek a komponensei azonosak az eredeti gráféival.<ref>Ennek az állításnak a [[számosság|végtelen]] gráfokra való igazolása felhasználja a [[kiválasztási axióma|kiválasztási axiómát]].</ref>
* Minden fának, amelynek van legalább két csúcspontja, van legalább két levele, azaz van legalább két olyan csúcsa, amelynek a [[fokszám (gráfelmélet)|fokszám]]a 1.
* Egy fa csúcsainak száma 1-gyel nagyobb az élek számánál. Erdő esetén a csúcsok és az élek számának különbsége a komponensek száma.