Gráf-megvalósíthatóság vizsgálata
Amikor gráfokat tanulsz, gyakran felmerül a kérdés: lehet-e egy adott fokszám-sorozatból valódi gráfot építeni? Ez nem mindig olyan egyszerű, mint amilyennek tűnik.
Az első és legfontosabb szabály: a fokszámok összege mindig páros kell legyen. Ez azért van, mert minden él két csúcsot köt össze, tehát minden él kétszer számítódik bele a fokszámok összegébe.
Nézzük meg a gyakorlatban! A 2, 3, 3, 3, 4 sorozat összege 15 (páratlan), ezért nem lehet belőle gráfot készíteni. Ugyanez igaz a 2, 3, 3, 3, 3, 5 sorozatra is – összege 19, ami szintén páratlan.
Fontos: A páros összeg szükséges feltétel, de nem mindig elégséges! Vannak olyan sorozatok, amelyek összege páros, mégis lehetetlen belőlük gráfot építeni.
Az 1, 1, 2, 2, 3, 3, 8 példa jól mutatja ezt: bár az összeg 20 (páros), a magas fokszámú csúcs (8) túl sok kapcsolatot igényelne a többi kis fokszámú csúcshoz képest.