TOPICS
Search

Berge Hypergraph


Let F be a graph. A hypergraph B is a Berge F if there is a bijection phi:E(F)->E(B) such that

 e subset= phi(e)

for every graph edge e of F. The vertices of each graph edge are therefore contained in its corresponding hyperedge, but a hyperedge may contain additional vertices. A hypergraph is Berge F-free if it contains no Berge F as a subhypergraph.

A Berge cycle of length k is an alternating sequence of distinct vertices and distinct hyperedges

 v_1,e_1,v_2,e_2,...,v_k,e_k,v_1

with v_i,v_(i+1) in e_i, where subscripts are read cyclically. Thus it is a Berge C_k. Dong et al. (2026) give spectral radius bounds for Berge C_5-free linear hypergraphs.


See also

Graph, Hypergraph, Linear Hypergraph

Explore with Wolfram|Alpha

References

Dong, B.; Duan, C.; and Wang, L. "Bounds on the Spectral Radii of Berge C_5-Free Linear r-Graphs." Electron. J. Combin. 33, P3.82, 2026. https://doi.org/10.37236/12561.Gerbner, D. and Palmer, C. "Extremal Results for Berge Hypergraphs." SIAM J. Disc. Math. 31, 2314-2327, 2017. https://doi.org/10.1137/16M1066191.

Cite this as:

Weisstein, Eric W. "Berge Hypergraph." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/BergeHypergraph.html

Subject classifications