4 ms·

What would you use it for?

yamafaktory 5y ago
Social media for example.
ABeeSea 5y ago
Not sure if “it” refers to this particular package or hyper graphs in general. Simplicial complexes are widely used in mathematics for many decades and they are simply hyper graphs where every subset of an edge is an edge. So take the tetrahedron, for example. If (x1, x2, x3) are connected by a hyperedge (technically one of the triangular faces of the tetrahedron), then (x1,x2), (x1,x3) and (x2,x3) are also hyperedges (the lines bordering the tetrahedron face). A general hypergraph removes the subsets of edges are edges property.
- gspr 5y ago
  And for simplicial complexes there's a neat data structure: https://arxiv.org/abs/2001.02581 https://arxiv.org/abs/2001.02581 It's implemented (minus some features) in e.g. GUDHI.
  - jesuslop 5y ago
    Interesting and saved. Some time ago I wanted to say that if I can represent a graph as an adjacency matrix, then I would have liked to say that an hypergraph is given by an adjacency tensor. I searched for that but couldn't find any previous work in this line.
mshockwave 5y ago
The wiki page for hypergraph has some nice applications.
taliesinb 5y ago
I've been exploring hypergraphs a lot over the last 12 months. They are an incredibly rich way to look at a lot of existing (and new) mathematics, so much so that I think hypergraphs will have a good chance to become a signature mathematical structure over the next 100 years. Unfortunately people don't yet have a good notion (or notation) for what a hypergraph even is! The wikipedia page is a disaster area, for example. Partly this is due to a lack of careful, general groundwork on how to think about hypergraphs. I'm confident this will get done though -- and aim to play a role in that. My personal view is that you need you really need to adopt an ADT-type viewpoint to do this, but I'll have to leave it at that for now.
- ad404b8a372f2b9 5y ago
  What's ADT stand for?
  - pdimitar 5y ago
    Not the parent commenter but I'd still presume they meant Algebraic Data Types. Not sure though.

Social media for example.

Not sure if “it” refers to this particular package or hyper graphs in general. Simplicial complexes are widely used in mathematics for many decades and they are simply hyper graphs where every subset of an edge is an edge. So take the tetrahedron, for example. If (x1, x2, x3) are connected by a hyperedge (technically one of the triangular faces of the tetrahedron), then (x1,x2), (x1,x3) and (x2,x3) are also hyperedges (the lines bordering the tetrahedron face). A general hypergraph removes the subsets of edges are edges property.

gspr 5y ago
And for simplicial complexes there's a neat data structure: https://arxiv.org/abs/2001.02581 https://arxiv.org/abs/2001.02581 It's implemented (minus some features) in e.g. GUDHI.
- jesuslop 5y ago
  Interesting and saved. Some time ago I wanted to say that if I can represent a graph as an adjacency matrix, then I would have liked to say that an hypergraph is given by an adjacency tensor. I searched for that but couldn't find any previous work in this line.

mshockwave 5y ago

The wiki page for hypergraph has some nice applications.

taliesinb 5y ago

I've been exploring hypergraphs a lot over the last 12 months. They are an incredibly rich way to look at a lot of existing (and new) mathematics, so much so that I think hypergraphs will have a good chance to become a signature mathematical structure over the next 100 years. Unfortunately people don't yet have a good notion (or notation) for what a hypergraph even is! The wikipedia page is a disaster area, for example. Partly this is due to a lack of careful, general groundwork on how to think about hypergraphs. I'm confident this will get done though -- and aim to play a role in that. My personal view is that you need you really need to adopt an ADT-type viewpoint to do this, but I'll have to leave it at that for now.

ad404b8a372f2b9 5y ago
What's ADT stand for?
- pdimitar 5y ago
  Not the parent commenter but I'd still presume they meant Algebraic Data Types. Not sure though.