Conformal Hypergraphs: Duality and Implications for the Upper Clique Transversal Problem

ABSTRACT Given a hypergraph ℋ, the dual hypergraph of ℋ is the hypergraph of all minimal transversals of ℋ. The dual hypergraph is always Sperner, that is, no hyperedge contains another. A special case of Sperner hypergraphs are the conformal Sperner hypergraphs, which correspond to the families of...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Journal of graph theory Ročník 109; číslo 4; s. 466 - 480
Hlavní autoři: Boros, Endre, Gurvich, Vladimir, Milanič, Martin, Uno, Yushi
Médium: Journal Article
Jazyk:angličtina
Vydáno: Hoboken Wiley Subscription Services, Inc 01.08.2025
Témata:
Combinatorial analysis
conformal hypergraph
dual hypergraph
Graph theory
Graphs
hypergraph
maximal clique
Polynomials
upper clique transversal
ISSN:0364-9024, 1097-0118
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:ABSTRACT Given a hypergraph ℋ, the dual hypergraph of ℋ is the hypergraph of all minimal transversals of ℋ. The dual hypergraph is always Sperner, that is, no hyperedge contains another. A special case of Sperner hypergraphs are the conformal Sperner hypergraphs, which correspond to the families of maximal cliques of graphs. All these notions play an important role in many fields of mathematics and computer science, including combinatorics, algebra, database theory, and so on. Motivated by a question related to clique transversals in graphs, we study in this paper conformality of dual hypergraphs and prove several results related to the problem of recognizing this property. In particular, we show that the problem is in co‐NP and that it can be solved in polynomial time for hypergraphs of bounded dimension. For dimension 3, we show that the problem can be reduced to 2‐Satisfiability. Our approach has an application in algorithmic graph theory: we obtain a polynomial‐time algorithm for recognizing graphs in which all minimal transversals of maximal cliques have size at most k, for any fixed k.
Bibliografie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:0364-9024
1097-0118
DOI:10.1002/jgt.23238