arXiv++ Combinatorics

Chvátal conjectured that a star is amongst the largest intersecting subfamiles of a finite subset-closed family of sets. Kleitman later strengthened Chvátal's conjecture, suggesting that maximal intersecting subfamilies of $2^{[n]}$ when naturally embedded into $\mathbb{R}^{2^{[n]}}$ take on a particular form. We provide a construction which succeeds in expressing certain families as required by Kleitman's conjecture. We then provide a partial characterization of these families, showing central and certain near-central families in particular to be amongst them.

In this paper we initialize the study of independent domination in directed graphs. We show that an independent dominating set of an orientation of a graph is also an independent dominating set of the underlying graph, but that the converse is not true in general. We then prove existence and uniqueness theorems for several classes of digraphs including orientations of complete graphs, paths, trees, DAGs, cycles, and bipartite graphs. We also provide the idomatic number for special cases of some of these families of digraphs.