Podľa názoru niektorých redaktorov by tento článok mal byť spojený s článkom Teória grafov – grafová postupnosť. Ak s tým nesúhlasíte, vyjadrite sa, prosím, v diskusii.

Grafová postupnosť je postupnosť ${\displaystyle \{\mathrm {deg} _{G}\,\nu _{i}\}_{i=1}^{n}}$, kde n je počet vrcholov grafu G a sú z množiny V pre ${\displaystyle i=1,2,\ldots ,n}$.

Každému grafu ${\displaystyle G=(V,E)sV=\{v_{1},\ldots ,v_{n}\}}$ možno jednoznačne priradiť postupnosť ${\displaystyle \left\{s_{i}\right\}_{i=1}^{n}}$, kde = ${\displaystyle s_{i}=\{\mathrm {deg} _{G}\,\nu _{i}\}_{i=1}^{n}}$ pre ${\displaystyle i=1,\ldots ,n}$.

V obyčajnom neorientovanom grafe G s vrcholovou množinou ${\displaystyle V(G)=\{\nu _{1},\nu _{2},\ldots ,\nu _{n}\}}$ môžeme zostrojiť postupnosť ${\displaystyle \mathrm {deg} (\nu _{1}),\mathrm {deg} (\nu _{2}),\ldots ,\mathrm {deg} (\nu _{n})}$ nezáporných celých čísel. Takúto postupnosť nazývame stupňová postupnosť. Aby postupnosť bola grafová, musí pre každý index i platiť ${\displaystyle d_{i}\leq n-1}$ a samozrejme aj ${\displaystyle \left(\sum _{i=1}^{n}d_{i}\right)}$ je párne číslo

Ak vrcholy budú označené tak, že ${\displaystyle \mathrm {deg} (\nu _{1})\geq \mathrm {deg} (\nu _{2})\geq \ldots \geq \mathrm {deg} (\nu _{n})}$ , túto postupnosť nazveme grafová postupnosť.

Veta o grafových postupnostiach

Pre grafové postupnosti platí užitočná veta:
Nech je daná postupnosť ${\displaystyle \left(\{d_{i}\}_{i=1}^{n}\right)}$, n ≥ 2, pričom ${\displaystyle d_{1}\geq 1_{2}\geq \ldots d_{n}}$ a zároveň ${\displaystyle d_{1}\leq n-1}$. Potom ${\displaystyle \left(\{d_{i}\}_{i=1}^{n}\right)}$ je grafová vtedy, keď je grafová postupnosť.

  d2 − 1, d − 1, . . . , dd1 +1 − 1, dd1+2, . . . , dn

Dôkaz:

Ak ${\displaystyle (d_{2}-1,d_{3}-1,\ldots ,d_{d1}+1-1,d_{d1}+2,\ldots ,d_{n})}$ je grafová postupnosť, tak existuje graf ${\displaystyle G_{2}=(V_{2},E_{2}),V_{2}=\{v_{2},\ldots ,v_{n}\}}$ taký, že pre každé ${\displaystyle i=2,\ldots ,d_{1}+1}$ je ${\displaystyle \mathrm {deg} G_{2}(v_{i})=d_{i}-1}$ a pre každé ${\displaystyle j=d_{1}+2,\ldots ,n}$ je ${\displaystyle \mathrm {deg} G_{2}(v_{i})=d_{i}}$.

Zostrojme graf G₁ tak, že ku grafu G₂ pridajme nový vrchol v₁ a spojme ho novými hranami s vrcholmi v₂, . . . , v_d1+1. Potom platí degG₁(v₁) = d₁, pre ${\displaystyle i=2,\ldots ,d_{1}+1}$ je ${\displaystyle degG_{1}(v_{i})=degG_{2}(v_{i})+1=d_{i}-1+1=d_{i}}$ a pre ostatné i je ${\displaystyle degG_{1}(v_{i})=degG_{2}(v_{i})=d_{i}}$.

Teda ${\displaystyle G_{1}}$ má postupnosť stupňov vrcholov práve ${\displaystyle \{d_{i}\}ni=1}$, čiže táto postupnosť je grafová.

Túto vetu použijeme aj pri konštrukcii algoritmu na zistenie, či daná postupnosť je grafová.

Algoritmus na zistenie, či daná postupnosť je grafová

   1.	Ak postupnosť obsahuje člen prevyšujúci n-1, postupnosť nie je grafová. STOP. Inak pokračuj krokom 2.
   2.	Ak sú všetky členy postupnosti rovné 0, potom postupnosť je grafová. STOP
       Ak postupnosť obsahuje záporné číslo, potom postupnosť grafová nie je. STOP
       Inak pokračuj bodom 3.
   3.	Ak je to potrebné, usporiadaj členy postupnosti zostupne. Pokračuj krokom 4.
   4.	Zmaž prvý člen (nazvime ho k) a zníž o jednotku hodnotu nasledujúcich k členov postupnosti. Pokračuj krokom 2.

Príklad:

Zistite, či je postupnosť grafová:
a) 6, 5, 4, 4, 4, 3, 2, 1
b) 8, 5, 3, 3, 3, 3, 2, 1
c) 5, 4, 4, 3, 3, 2, 2, 1

Riešenie:

a) Postupnosť nie je grafová, pretože v grafe musí byť počet vrcholov nepárneho stupňa párny, čo v tomto prípade neplatí. Tu je počet nepárnych čísel 3.

b) Táto postupnosť tiež nie je grafová, lebo v grafe s n vrcholmi je maximálny možný stupeň vrcholu n-1. Pre 8 vrcholov je teda maximálny možný stupeň 7.

c) Obidve predchádzajúce podmienky sú splnené, počet vrcholov nepárneho stupňa je 4, teda párny a maximálny možný stupeň je 7, čo nie je porušené. Platí, že pôvodná postupnosť je grafová práve vtedy, ak je grafová aj postupnosť, ktorú z nej dostaneme takto: Zoradíme čísla na nerastúcu postupnosť. Vynecháme prvé číslo k a od k nasledujúcich čísel odpočítame jednotku. Postupnosť znovu zoradíme a tento postup opakujeme dovtedy, pokiaľ nedostaneme postupnosť, o ktorej vieme ľahko rozhodnúť, či je, alebo nie je grafová.

    5, 4, 4, 3, 3, 2, 2, 1
    3, 3, 2, 2, 1, 2, 1
    zoradíme 3, 3, 2, 2, 2, 1, 1
    2, 1, 1, 2, 1, 1
    zoradíme 2, 2, 1, 1, 1, 1
    1, 0, 1, 1, 1
    zoradíme 1, 1, 1, 1
    0, 1, 1
    zoradíme 1, 1
    1
    0

Zhrnutie: V grafe musí byť počet vrcholov nepárneho stupňa párny. Graf s n vrcholmi musí mať maximálny možný stupeň vrcholu n-1.

Externé odkazy

• http://fpedas.uniza.sk/~stacho/predn_02.pdf
• http://umv.science.upjs.sk/madaras/slide8.pdf
• http://umv.science.upjs.sk/madaras/dodatki.pdf