Diferencia entre revisiones de «Hipergrafo»
Contenido eliminado Contenido añadido
errores en definiciones |
|||
Línea 1:
[[Archivo:Hypergraph-wikipedia.svg|right|thumb|Ejemplo de hipergrafo ''H''={''e''<sub>1</sub>,''e''<sub>2</sub>,''e''<sub>3</sub>,''e''<sub>4</sub>}={{''v''<sub>1</sub>,''v''<sub>2</sub>,''v''<sub>3</sub>},{''v''<sub>2</sub>,''v''<sub>3</sub>},{''v''<sub>3</sub>,''v''<sub>5</sub>,''v''<sub>6</sub>},{''v''<sub>4</sub>}}, definido sobre el conjunto base ''A'' = {''v''<sub>1</sub>, ''v''<sub>2</sub>, ''v''<sub>3</sub>, ''v''<sub>4</sub>, ''v''<sub>5</sub>, ''v''<sub>6</sub>, ''v''<sub>7</sub>}. 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.
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>.
La [[Número cardinal|cardinalidad]] de un hipergrafo es su número de hiperaristas, y se denota ''|H|''. El '''tamaño''' o '''volumen''' de un hipergrafo, se define como
== Historia ==
| |||