English

Conformality of Minimal Transversals of Maximal Cliques

Combinatorics 2025-06-24 v2 Discrete Mathematics Data Structures and Algorithms

Abstract

Given a hypergraph HH, the dual hypergraph of HH is the hypergraph of all minimal transversals of HH. A hypergraph is conformal if it is the family of maximal cliques of a graph. In a recent work, Boros, Gurvich, Milani\v{c}, and Uno (Journal of Graph Theory, 2025) studied conformality of dual hypergraphs and proved several results related to this property, leading in particular to a polynomial-time algorithm for recognizing graphs in which all minimal transversals of maximal cliques have size at most kk, for any fixed kk. In this follow-up work, we provide a novel aspect to the study of graph clique transversals, by considering the dual conformality property from the perspective of graphs. More precisely, we study graphs for which the family of minimal transversals of maximal cliques is conformal. Such graphs are called clique dually conformal (CDC for short). It turns out that the class of CDC graphs is a rich generalization of the class of P4P_4-free graphs. As our main results, we completely characterize CDC graphs within the families of triangle-free graphs and split graphs. Both characterizations lead to polynomial-time recognition algorithms. Generalizing the fact that every P4P_4-free graph is CDC, we also show that the class of CDC graphs is closed under substitution, in the strong sense that substituting a graph HH for a vertex of a graph GG results in a CDC graph if and only if both GG and HH are CDC.

Keywords

Cite

@article{arxiv.2405.10789,
  title  = {Conformality of Minimal Transversals of Maximal Cliques},
  author = {Endre Boros and Vladimir Gurvich and Martin Milanič and Dmitry Tikhanovsky and Yushi Uno},
  journal= {arXiv preprint arXiv:2405.10789},
  year   = {2025}
}

Comments

Accepted for publication in Discrete Mathematics