Dually conformal hypergraphs
arxiv(2023)
摘要
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, etc. In this paper we study
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 can be solved in polynomial time for hypergraphs of bounded
dimension. In the special case of dimension 3, we reduce the problem to
2-Satisfiability. Our approach has an implication 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.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要