A hypergraph H = (V, E) is called an interval hypergraph if there exists a one-to-one function ƒ mapping the elements of V to points on the real line such that for each edge E, there is an interval I, containing the images of all elements of E, but not the images of any elements not in E1. The difference hypergraph D(H) determined by H is formed by adding to E all nonempty sets of the form E1 − E1, where E1 and E1 are edges of H H is said to be a D-interval hypergraph if D(H) is an interval hypergraph. A forbidden subhypergraph characterization of D-interval hypergraphs is given. By relating D-interval hypergraphs to dimension theory for posets, we determine all 3-irreducible posets of length one.
[1]
Claude Berge,et al.
Graphs and Hypergraphs
,
2021,
Clustering.
[2]
Ben Dushnik,et al.
Partially Ordered Sets
,
1941
.
[3]
Kapali P. Eswaran,et al.
Faithful Representation of a Family of Sets by a Set of Intervals
,
1975,
SIAM J. Comput..
[4]
C. Lekkeikerker,et al.
Representation of a finite graph by a set of intervals on the real line
,
1962
.
[5]
William T. Trotter,et al.
Characterization problems for graphs, partially ordered sets, lattices, and families of sets
,
1976,
Discret. Math..