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.