Hipergrafo
Origem: Wikipédia, a enciclopédia livre.
Em teoria dos grafos, um hipergrafo é uma generalização de um grafo, com suas arestas ligando quaisquer quantidades positivas de vértices. Formalmente, definimos 
como um hipergrafo, sendo V um conjunto de elementos unitários (exatamente como o conjunto de vértices de um grafo) chamados vértices de 
, e 
um conjunto de subconjuntos não-vazios de V chamados hiperarestas de . Em notação matemática, 
.
[editar] Coloração de hipergrafos
Definimos a coloração de hipergrafos da seguinte forma: seja um hipergrafo, com 
. Dizemos que 
é uma coloração própria de se e somente se, para toda aresta 
, exista pelo menos um par de vértices 
tal que 
.
[editar] Hipergrafos-clique
Um hipergrafo-clique (denotado 
) é um hipergrafo gerado a partir de um grafo G da seguinte forma:
é uma clique maximal de G}
