Hipergrafeo

En matematiko, hipergrafeo estas aro ${\displaystyle (V,E)}$, kie ${\displaystyle V}$ estas aro de elementoj (nomataj verticoj) kaj ${\displaystyle E}$ estas aro de subaroj de ${\displaystyle V}$ (nomataj eĝoj aŭ, pli precize, hipereĝoj).

Hipergrafeo do estas ĝeneraligo de ordinara grafeo, kie eĝoj povas ligi pli ol du verticojn. Tiel hipereĝo estas ĝeneraligo de eĝo al ajna nombro da enhavataj verticoj.

Se ĉiu hipereĝo konsistas el ${\displaystyle k}$ elementoj, la hipergrafeo nomiĝas ${\displaystyle k}$-unuforma, aŭ simple ${\displaystyle k}$-grafeo. Ordinara grafeo do estas 2-unuforma hipergrafeo aŭ 2-grafeo.