Ekvivalence, ekvivalenční třídy.
Věta o 5 barvách, důkaz
Ak graf má všechna vrcholy sudého stupne, tak existuje orientovaný graf s \deg^{IN} = \deg^{OUT}
\deg^{IN} = \deg^{OUT}
Máme n výroků x_1 \vee x_2 \vee x_3, střední hodnota počtu pravdivých.
x_1 \vee x_2 \vee x_3