Hipergrafo

Así, un grafo es una clase particular de hipergrafos, en que cada hiperarista tiene a lo más dos vértices.

[1]​ De acuerdo con la definición original, las hiperaristas no pueden ser vacías.

El tamaño o volumen de un hipergrafo, se define como la suma del tamaño de sus hiperaristas, valor acotado superiormente por |A|·|H|.

Este término fue acuñado por el matemático francés Claude Berge en 1970.

[3]​ Desde entonces, se ha desarrollado toda una teoría de hipergrafos, que aunque a veces trata conceptos y problemas similares a los de la teoría de grafos, muchas veces se distancia de esta última.

invirtiendo los roles de los vértices y las hiperaristas.

[1]​ Los hipergrafos se utilizan actualmente en distintas áreas, tales como la lógica, la optimización, teoría de juegos, inteligencia artificial, minería de datos, indexación de bases de datos, entre otras.

Por ejemplo, una red conformada por personas y por clubes, de modo que las personas se relacionan con los clubes a los que pertenecen.

Ejemplo de hipergrafo de vértices v 1 , v 2 , v 3 , v 4 , v 5 , v 6 y v 7 , con hiperaristas e 1 , e 2 , e 3 y e 4 . Es propio, tiene dominio parcial, su cardinalidad es 4 y su tamaño 28.