Diferencia entre revisiones de «Hipergrafo»

Contenido eliminado Contenido añadido
Rovnet (discusión · contribs.)
mSin resumen de edición
Deshecha la edición 58331711 de Rovnet (disc.) ¿?
Línea 1:
[[Archivo:Hypergraph-wikipedia.svg|right|thumb|Ejemplo de hipergrafo <math>H=\{e_1,e_2,e_3,e_4\}=\{\{v_1, v_2, v_3\},\{v_2,v_3\},\{v_3,v_5,v_6\},\{v_4\}\}</math>, definido sobre el conjunto base <math>A = \{v_1,v_2,v_3,v_4,v_5,v_6,v_7\}</math>. Aquí ''H'' es ''propio'', tiene ''dominio parcial'', su ''cardinalidad'' es 4 y su ''tamaño'' 28.]]
En [[matemática]] y [[ciencias de la computación]], un '''hipergrafo''' es una generalización de un [[grafo]], cuyas [[arista (teoría de grafos)|aristas]] aquí se llaman [[hiperarista]]s, y pueden relacionar a cualquier cantidad de [[vértice (teoría de grafos)|vértices]], en lugar de sólo un máximo de dos como en el caso particular.
 
Ejemplo de hipergrafo <math>H=\{e_1,e_2,e_3,e_4\}=\{\{v_1, v_2, v_3\},\{v_2,v_3\},\{v_3,v_5,v_6\},\{v_4\}\}</math>, definido sobre el conjunto base <math>A = \{v_1,v_2,v_3,v_4,v_5,v_6,v_7\}</math>. Aquí ''H'' es ''propio'', tiene ''dominio parcial'', su ''cardinalidad'' es 4 y su ''tamaño'' 28.
 
Formalmente, dado un [[conjunto finito]] ''A'' llamado ''conjunto base'', un hipergrafo ''H'' 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>.