Diferencia entre revisiones de «Hipergrafo»

Contenido eliminado Contenido añadido
Muro Bot (discusión · contribs.)
m Bot: Arreglando referencias y cabeceras; cambios cosméticos
Línea 8:
Un '''hipergrafo''', dado un [[conjunto finito]] <math>A</math>, llamado ''conjunto base'', es una [[familia de conjuntos|familia]] de [[subconjunto]]s de <math>A</math>; es decir, un subconjunto de <math>P(A)</math>, que es el [[conjunto potencia]] de <math>A</math>. Los elementos de un hipergrafo se llaman [[hiperarista]]s, las cuales a su vez son subconjuntos de <math>A</math>.
 
Un hipergrafo se puede ver además como un [[grafo]] generalizado ''(V,E)'', donde ''V=A'', y ''E'' es el conjunto de [[Arista (teoría de grafos)|aristaaristas]]s (hiperaristas, en este contexto), las cuales pueden relacionar cualquier número de [[Vértice (Teoría de grafos)|nodos]] (elementos del conjunto base).
 
Este término fue acuñado por el matemático francés [[Claude Berge]].<ref>''Graphs and Hypergraphs''. Dunod, París. 1970.</ref>. Los hipergrafos se utilizan actualmente para representar problemas de [[lógica matemática|lógica]], [[optimización (matemática)|optimización]], [[teoría de juegos]], [[inteligencia artificial]], entre muchos otros.
 
== Propiedades ==