pangrac 23.6

z teoretickej casti som dostal bola spernerovu vetu, z praktickej dost tazky priklad:

dokaz, ze ak je graf k-suvisly, tak kazdych bodov sa nachadza na jednej kruznici. (tvrdenie samozrejme plati pre k>=2, ked k=1, tak ide o strom a ten nema kruznicu)

ja dostal:

1. Latinske ctverce (def), ortogonalita latinskych ctvercu (def) a horni odhad mnoziny navzajem ortg. l.c (zneni, dukaz).

2. Urcete a dokazte vrcholovou a hranovou souvislost grafu $G_n$ vytvoreneho z bipartitniho $K_{n,n}$ s navic 2 kruznicemi $C_n$ na kazde partite jedna.
   Vysledek je n+2 oboje.