Baranyai-tétel

A Baranyai-tétel a hipergráfok teljes felbontására vonatkozó állítás a kombinatorikában. A tétel azt állítja, hogy ha $2\le r<k$ természetes számok és r osztja k-t, akkor a $K_r^k$ hipergráf felbomlik 1-faktorokra. Azaz, ha S egy k elemű halmaz és ${\mathscr{H}}$ az S összes r elemű részhalmazából álló rendszer, akkor ${\mathscr{H}}$ felbomlik (pontosabban particionálható), mint ${\mathscr{H}}={{ℱ}}_1\cup \cdots \cup {{ℱ}}_n$ ahol minden ${{ℱ}}_i$ rendszer az S halmaz egy partíciója. Ez $r=2$-re már a 19. században ismert volt, az $r=3$ esetet R. Peltesohn 1936-ban igazolta. Az általános esetet 1975-ben bizonyította Baranyai Zsolt.

További információk

• Gyárfás András, Hraskó András: Teljes gráfok felbontásairól.Új matematikai mozaik, Typotex, Budapest, 2002.