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 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. Motivated by a question related to clique transversals of graphs, we study in this paper conformality of dual hypergraphs and prove several results related to the problem of recognizing this property. We show that the problem is in co-NP and can be solved in polynomial time for hypergraphs of bounded dimension. For dimension , we show that the problem can be reduced to -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 , for any fixed .
Keywords: hypergraph, conformal hypergraph, dual hypergraph, maximal clique, upper clique transversal
MSC (2020): 05C65, 05D15, 05C69, 05C85, 68R10, 05-08
Contents
1 Introduction
A hypergraph is a finite set of finite sets called hyperedges. We consider the following two properties of hypergraphs. A hypergraph is Sperner [63] (also called simple [10, 11] or a clutter [61]) if no hyperedge is contained in another hyperedge. A hypergraph is conformal if for each set of vertices, if each pair of vertices in is contained in some hyperedge, then is contained in some hyperedge (see, e.g., [61]). Both notions play an important role in combinatorics and in many other fields of mathematics and computer science. For example, Sperner hypergraphs and their extensions have numerous applications in algebra, theory of monotone Boolean functions, and databases (see, e.g., Anderson [3] and Engel [29]). Furthermore, conformal hypergraphs are important for databases (see, e.g., Beeri, Fagin, Maier, and Yannakakis [9]) and arise naturally in algebraic topology (see Berge [10, p. 412, Exercise 1]).
It is interesting to investigate the above properties in relation with the concepts of blocking and antiblocking hypergraphs. Given a hypergraph , the blocking hypergraph (or blocker; see, e.g., Schrijver [61]) of is the hypergraph with vertex set whose hyperedges are exactly the minimal sets of vertices that contain at least one vertex from each hyperedge. This natural concept was studied under several other names in the literature, including transversal hypergraph (see Berge [10, 11]), hitting sets (see Karp [43] and also Garey and Johnson [35]), or Menger dual (see Woodall [69]). Furthermore, motivated by the equivalent concept of monotone Boolean duality (see, e.g., Crama and Hammer [24]), the blocker of is also called the dual hypergraph of and denoted by . Indeed, in the case of Sperner hypergraphs, the operation of map** to its dual hypergraph is an involution, that is, (see, e.g., Berge [10] and Schrijver [61]). Hypergraph duality has many applications, for example to Nash-solvability of two-person game forms; see Edmonds and Fulkerson [26] for the zero-sum case, and Gurvich and Naumova [41] for the general two-person case. Many other applications and references can be found in the papers by Eiter and Gottlob [28] and Makino and Kameda [54]. The complexity of the dualization problem, that is, computing the dual hypergraph given , is a notorious open problem (see Fredman and Khachiyan [32]).
Similarly to the blocker of a given hypergraph , one can define the antiblocker of as the hypergraph with vertex set whose hyperedges are exactly the maximal sets of vertices that contain at most one vertex from each hyperedge (see Fulkerson [34]). The antiblocker was also called König dual by Woodall [69]; see also McKee [56]. Blockers and antiblockers are related to perfect graphs and polyhedral combinatorics and were considered together in several papers [33, 40, 64, 36, 27].
It follows easily from the definitions that for every hypergraph , its dual is always Sperner. Furthermore, as explained above, if is also Sperner, then . Analogously, for every hypergraph , its antiblocker is always conformal, and if is also conformal, then , as shown by Woodall [69, 70] (see also Schrijver [61]). However, while the antiblocker is always Sperner, the dual need not be conformal. For example, all the -element subsets of a -element set form a hypergraph such that its dual is not conformal. Moreover, even if a hypergraph is conformal, its dual may fail to be conformal.111Consider the -uniform hypergraph given by the edges of the -cycle, that is, with and . Clearly, is conformal. However, . In particular, every pair of vertices belongs to a hyperedge and hence is not conformal.
Sperner | conformal | |
---|---|---|
blocker, | always | not always |
antiblocker, | always | always |
The above relations, summarized in Table 1, motivate the study of hypergraphs whose dual is conformal. Variants of dual conformality are important for the dualization problem (see Khachiyan, Boros, Elbassioni, and Gurvich [46, 45, 44]). Conformal hypergraphs were characterized independently by Gilmore [37] (see also [10, 11]) and Zykov [72]; the characterization leads to a polynomial-time recognition algorithm. On other other hand, the complexity of recognizing hypergraphs whose dual is conformal is open. In this paper we focus on this problem and call such hypergraphs dually conformal.
We prove several results related to the problem of recognizing dually conformal hypergraphs. After observing that the problem belongs to co-NP, we develop our first main result, a polynomial-time algorithm for the case of hypergraphs of bounded dimension (maximum size of a hyperedge). For hypergraphs of dimension at most we develop an alternative approach based on -Satisfiability. We also discuss separately the case of -uniform hypergraphs, that is, the case of graphs.
Our second main result is related to a question on clique transversals in graphs, which is in fact our main motivation for the study of dually conformal hypergraphs. More precisely, using another polynomially solvable case of the recognition problem of dually conformal hypergraphs, we obtain a polynomial-time algorithm for the following problem, for any fixed positive integer : Given a graph , does admit a minimal clique transversal (that is, an inclusion-minimal set of vertices that intersects all maximal cliques) of size at least ? This problem was studied recently by Milanič and Uno [57] and was shown to be NP-hard when is part of the input.
Structure of the paper
In Section 2 we summarize the necessary preliminaries, including some basic properties of conformal hypergraphs, both in the Sperner case and in general. In Section 3 we present some basic results about dually conformal hypergraphs and initiate a study of the corresponding recognition problem by showing that the problem belongs to co-NP and identifying a polynomially solvable special case. Applications of this algorithm to graphs are presented in Section 4. In Section 5 we develop a polynomial-time algorithm for the recognition of dually conformal hypergraphs of bounded dimension, with alternative approaches for the case of dimension and the -uniform case. We conclude the paper in Section 6 with a discussion and several open questions.
2 Preliminaries
2.1 Notation and definitions
A hypergraph is a pair where is a finite set of vertices and is a set of subsets of called hyperedges such that every vertex belongs to a hyperedge. For a hypergraph we write and , and denote by its dimension. A hypergraph is said to be -uniform if for all . Thus, -uniform hypergraphs are precisely the (finite, simple, and undirected) graphs without isolated vertices. We only consider graphs and hypergraphs with nonempty vertex sets. For a vertex its degree is the number of hyperedges in that contain and is the maximum degree of . The size of a hypergraph is the number of hyperedges in . A hyperedge of is said to be maximal if it is not contained in any other hyperedge. A hypergraph is Sperner if no hyperedge contains another, or, equivalently, if every hyperedge is maximal.
A transversal of a hypergraph is a set of vertices intersecting all hyperedges. A transversal is minimal if it does not contain any other transversal. Recall that the dual hypergraph of a hypergraph is the hypergraph with vertex set , whose hyperedges are exactly the minimal transversals of .
Fact 2.1 (Folklore; see, e.g., Berge [11]).
Let be a Sperner hypergraph. Then .
2.2 Representation of hypergraphs
In this subsection we describe a useful data structure for representing hypergraphs. Let be a hypergraph. We write and . An incident pair of is a pair such that . We assume that is represented by a complete list of its edges, as subsets of , and equipped with a fixed pair of orderings of its vertices and edges, say and .
We first perform a preprocessing step taking time in order to compute the edge-vertex incidence matrix of , a binary matrix with rows indexed by the hyperedges of , columns indexed by the vertices of , and if and only if . Having constructed the edge-vertex incidence matrix, we can look up in constant time whether, given a vertex and hyperedge , the pair is an incident pair of .
Next we construct a doubly linked representation of incident pairs of , that is, a collection of doubly linked lists of incident pairs, one for each vertex and one for each hyperedge. Each incident pair contains a pointer to its vertex, another one to its hyperedge, and has four links – horizontal prev and next and vertical prev and next. The horizontal links form a doubly linked circular list attached to the hyperedge, and the vertical ones form a doubly linked circular list attached to the vertex. See Figure 1 for an example. Due to the doubly linked nature, insertions can be done in constant time. We can thus build the structure in time, as follows.
-
1.
First, we initialize the doubly linked lists for each vertex and hyperedge to be the doubly linked lists consisting only of the corresponding vertex, resp. hyperedge.
-
2.
Then, we traverse the edge-vertex incidence matrix row by row. As we traverse a row labeled by a hyperedge , we build the doubly linked list corresponding to this hyperedge (with horizontal prev and next links) along with the pointers to . At the same time, when a new incident pair is added to the list, the doubly linked list corresponding to the vertex is augmented with this pair (with vertical prev and next links) and the pointer to vertex .
The usefulness of the above data structures is summarized in the following.
Proposition 2.2.
Given a hypergraph , with and , there is an algorithm running in time that computes its edge-vertex incidence matrix and the doubly linked representation of its incident pairs.
Using the incidence matrix we can test in constant time the relation for all and . Using the doubly linked representation of the incident pairs we can:
-
•
list the vertices of a hyperedge in time linear in ;
-
•
list the hyperedges containing a vertex in time linear in ;
-
•
compute for any two hyperedges and their union, intersection, and the two set differences and in time ; in particular, we can test in time if .
2.3 Subtransverals
Given a hypergraph , a set is a subtransversal of if is a subset of a minimal transversal. The following characterization of subtransversals due to Boros, Gurvich, and Hammer [15, Theorem 1] was formulated first in terms of prime implicants of monotone Boolean functions and their duals, and re-proved in terms of hypergraphs in [14]. Given a set and a vertex , we denote by the set of hyperedges such that .
Theorem 2.3 (Boros, Gurvich, Elbassioni, and Khachiyan [14]).
Let be a hypergraph and let . Then is a subtransversal of if and only if there exists a collection of hyperedges such that the set does not contain any hyperedge of .
Note that edges that intersect in more than one vertex do not influence the fact whether is a subtransversal or not. The problem of determining if a given set is a subtransversal is NP-complete even for -uniform hypergraphs (see [15, 14]). For sets of bounded cardinality, however, Theorem 2.3 leads to a polynomial-time algorithm.
Corollary 2.4.
Let be a hypergraph with dimension and maximum degree , given by an edge-vertex incidence matrix and a doubly linked representation of its incident pairs, and let . Then, there exists an algorithm running in time
that determines if is a subtransversal of . In particular, if , the complexity is .
Proof.
Note that any minimal transversal has at most as many vertices as the number of hyperedges. Thus, if , then we can determine in time that is not a subtransversal. Note that , since .
From now on, we assume that . To a subset we associate the following families of edges:
We describe the desired algorithm with the following procedure. For convenience, we also include, in smaller font, a time complexity analysis of each step.
Procedure SubTransversal:
- Input:
-
A hypergraph given by an edge-vertex incidence matrix and a doubly linked representation of its incident pairs, a subset such that .
- Output:
-
Yes if is a subset of a minimal transversal of , and No otherwise.
- Step 1:
-
Compute the families for .
-
This can be done in time , as follows. We first traverse the set and mark each vertex that belongs to . Then for each hyperedge we traverse the corresponding list of vertices; if the hyperedge contains no vertex from , we put it in , and if it contains a unique vertex from , say , we put it in .
- 1.1
-
If for some , then STOP and output No.
-
This can be done in time .
-
- 1.2
-
Otherwise, if , then STOP and output Yes ( is a minimal transversal of in this case).
-
This can be done in time .
-
-
- Step 2:
-
Initialize an array of length by zeros.
-
This can be done in time . (Recall that , since .)
For each selection , :
-
The number of such selections is .
- 2.1
-
Compute .
-
This can be done in time , as follows. We first create an object for with a root of a doubly linked list that is initially empty (prev and next point back to itself). We then iterate over all and look up the vertices of the edge , one by one, and for each such vertex first check the value of . If , we set and then we add , with the corresponding prev and next links, to the list of . This takes time per edge (for ), resulting in a total time of .
Note that this procedure is correct, since at the end of the procedure, the array will have if and only if .
-
- 2.2
-
STOP and output Yes if for all .
-
This can be done in time , as follows. For a given the test can be performed in time by scanning the doubly linked list of and checking the corresponding entries of the array .
-
- 2.3
-
Restore the array to the all-zero array.
-
This can be done in time , by scanning the set once in linear time in the length of this set, which is , and switching back the corresponding entries in the array to zero.
-
-
- Step 3:
-
STOP and output No.
-
This can be done in time .
-
Thus, we get two upper estimates for the running time of SubTransversal:
as claimed. ∎
2.4 Conformal hypergraphs
In this section we summarize some basic properties of conformal hypergraphs: a characterization of conformal Sperner hypergraphs, which establishes a close connection with graphs, a characterization of general conformal hypergraphs, and a polynomial-time recognition algorithm of conformal hypergraphs.
All the graphs in this paper are finite, simple, and undirected. We use standard graph theory terminology, following West [68].
Given a hypergraph , its co-occurrence graph is the graph with vertex set that has an edge between two distinct vertices and if there is a hyperedge of that contains both and .
Observation 2.5.
For every hypergraph , every hyperedge of is a clique in the co-occurrence graph .
Note, however, that hyperedges of are not necessarily maximal cliques of . For example, if is the complete graph , then , but has a unique maximal clique of size .
Recall that a hypergraph is said to be conformal if for each set of vertices, if each pair of vertices in is contained in some hyperedge, then is contained in some hyperedge. It is not difficult to see that a hypergraph is conformal if and only if every maximal clique of its co-occurrence graph is a hyperedge of (in fact, this was the definition of conformality given by Berge [10, 11]). Furthermore, a Sperner hypergraph is conformal if and only if every maximal clique of its co-occurrence graph is a hyperedge of (see [9]).
We now recall a characterization of Sperner conformal hypergraphs due to Beeri, Fagin, Maier, and Yannakakis [9] (see also Berge [10, 11] for the equivalence between properties 1 and 2). The clique hypergraph of a graph is the hypergraph with vertex set with hyperedges exactly the maximal cliques in .
Theorem 2.6 ([9]; see also [10, 11]).
For every Sperner hypergraph , the following properties are equivalent.
-
1.
is conformal.
-
2.
is the clique hypergraph of some graph.
-
3.
is the clique hypergraph of its co-occurrence graph.
We now generalize Theorem 2.6 by characterizing the conformality property for general (not necessarily Sperner) hypergraphs.
Lemma 2.7.
Let be a hypergraph such that there exists a graph and a collection of cliques of containing all maximal cliques of (and possibly some others) such that . Then .
Proof.
We have . Furthermore, two distinct vertices and are adjacent in if and only if there exists a maximal clique in containing both and , and they are adjacent in the co-occurrence graph if and only if there exists a hyperedge of containing and . The assumption on implies that there exists a maximal clique in containing both vertices if and only if there exists a set in containing both. Thus, since , we infer that graphs and have the same edge sets. We conclude that . ∎
Theorem 2.8.
For every hypergraph , the following properties are equivalent.
-
1.
is conformal.
-
2.
Every maximal clique in is a maximal hyperedge of .
-
3.
There exists a graph and a collection of cliques of containing all maximal cliques of (and possibly some others) such that .
Proof.
We show first that property 1 implies property 2. Suppose first that is conformal, that is, every maximal clique in is a hyperedge of . Let be a maximal clique in . Since is conformal, is a hyperedge of . It is in fact a maximal hyperedge, since if is properly contained in another hyperedge of , then by 2.5 we obtain that is a clique in properly containing , contrary to the assumption that is a maximal clique. Thus, property 2 holds.
Next, we show that property 2 implies property 3. To this end, suppose that every maximal clique in is a maximal hyperedge of , and let and . We then have , by 2.5 every member of is a clique of , and by property 2, every maximal clique in belongs to . Thus, property 3 holds for and .
We show next that property 3 implies property 1. Suppose that there exists a graph and a collection of cliques of containing all maximal cliques of (and possibly some others) such that . By Lemma 2.7, we have . This implies that every maximal clique in is a hyperedge of , thus is conformal and property 1 holds. ∎
Note that the proof of Theorem 2.8 shows that if for some graph and a collection of cliques of containing all maximal cliques of , then not only the collection but also the graph is uniquely determined from ; namely, is the co-occurrence graph of . Checking conformality of a given hypergraph can be done in polynomial time, due to the following characterization.
Theorem 2.9 (Gilmore [37]; see also [72, 10, 11]).
A hypergraph is conformal if and only if for every three hyperedges there exists a hyperedge such that
Proposition 2.10.
Given a hypergraph with dimension , it can be tested in time if is conformal.
Proof.
Using Proposition 2.2, we compute in time the edge-vertex incidence matrix of and the doubly linked representation of its incident pairs. We then check the conformality of by verifying the condition from Theorem 2.9. This can be done by iterating over all triples of hyperedges, and for each such triple computing in time the set , and iterating over all edges to verify the inclusion . The overall running time of this procedure is . ∎
3 Dually conformal hypergraphs
We say that a hypergraph is dually conformal if its dual hypergraph is conformal. In this section we present some basic observations about dually conformal hypergraphs and initiate a study of the corresponding recognition problem. While we do not settle the computational complexity status of the problem, we show that the problem is in co-NP and develop a polynomial-time algorithm for a special case.
3.1 Basic observations
Since the dual hypergraph of any hypergraph is the same as the dual hypergraph of the hypergraph obtained from by kee** only the inclusion-minimal hyperedges, in order to test dual conformality of a hypergraph we can assume without loss of generality that the hypergraph is Sperner.
In the next proposition, we characterize the dually conformal Sperner hypergraphs using a connection with graphs. Given a graph , a set of vertices that intersects all maximal cliques of is called a clique transversal in . A clique transversal in is minimal if it does not contain any other clique transversal.
Proposition 3.1.
Let be a hypergraph. Then the following statements are equivalent.
-
1.
is a dually conformal Sperner hypergraph.
-
2.
There exists a graph such that is the hypergraph of all minimal clique transversals of .
Proof.
Let be a dually conformal Sperner hypergraph. Let be the co-occurrence graph of . Since is a conformal Sperner hypergraph, Theorem 2.6 implies that is the clique hypergraph of . But then is exactly the hypergraph of all minimal clique transversals of .
Conversely, let be a graph and let be the hypergraph of all minimal clique transversals of . By construction, is a Sperner hypergraph. Then is the clique hypergraph of and thus is conformal. ∎
The following characterization of dually conformal hypergraphs follows immediately from the definition.
Observation 3.2.
For every hypergraph , the following properties are equivalent.
-
1.
is dually conformal.
-
2.
Every maximal clique in is a minimal transversal of .
Fix a hypergraph and let . By 3.2, a necessary and sufficient condition for to be dually conformal is that every maximal clique of is a minimal transversal of . Thus, in general, there are two possible reasons why could fail to be dually conformal.
Corollary 3.3.
Let be a hypergraph and let . Then is not dually conformal if and only if one of the following two conditions holds.
-
(a)
contains a maximal clique that is not a transversal of , or
-
(b)
contains a maximal clique that is a transversal of but not a minimal one.
As shown by the following two examples, the two conditions are independent of each other.
Example 3.4.
The following hypergraph satisfies condition (a) but not condition (b). Let be the hypergraph with vertex set and hyperedges , , , , , , and . Then the hyperedges of are , , and . Its co-occurrence graph is shown in Fig. 2.
Note that is a maximal clique in that is not a transversal of , since it misses the hyperedge . Thus, satisfies condition (a). On the other hand, all maximal cliques in other than are minimal transversals of , and hence does not satisfy condition (b).
Example 3.5.
The following hypergraph satisfies condition (b) but not condition (a). Let be the complete graph and let , that is, and . Then and . Graph is complete and hence contains a unique maximal clique , namely . This clique is a transversal of but not a minimal one. Thus, satisfies condition (b) but not condition (a).
Furthermore, as shown by the following example, the two conditions can occur simultaneously.
Example 3.6.
The following hypergraph satisfies both conditions (a) and (b). Let have vertex set and hyperedges , , , , , , and . Then the hyperedges of are , , , , , and . Its co-occurrence graph is isomorphic to the complete multipartite graph , with parts , , and ; two vertices in are adjacent to each other if and only if they belong to different parts.
Note that the set is a maximal clique in that is not a transversal of , since it misses the hyperedge . Thus, satisfies condition (a). Furthermore, is a maximal clique in that is a transversal of but not a minimal one, since it properly contains the minimal transversal . Hence, also satisfies condition (b).
3.2 Computing the co-occurrence graph of the dual hypergraph
Immediately from 2.5 we obtain the following.
Corollary 3.7.
Every hyperedge of is a clique in .
Proposition 3.8.
Given a hypergraph with dimension and maximum degree , the co-occurrence graph of the dual hypergraph can be computed in time .
Proof.
Using Proposition 2.2, we compute in time the edge-vertex incidence matrix of and the doubly linked representation of its incident pairs. Two distinct vertices and in are adjacent in the co-occurrence graph of if and only if the set is a subtransversal of . Applying Corollary 2.4 we can test in time if any such set is a subtransversal of . As the total number of pairs is , the claimed time complexity follows. ∎
Corollary 3.9.
Given a hypergraph , the co-occurrence graph of the dual hypergraph can be computed in time .
Proof.
Immediate from Proposition 3.8 using the fact that the dimension and the maximum degree of are bounded by and , respectively. ∎
3.3 The Dual Conformality problem
We are interested in the complexity of testing conformality for the dual hypergraph of a given hypergraph . Formally, we introduce the following problem.
Dual Conformality
Input:
A hypergraph .
Question:
Is the dual hypergraph conformal?
3.2 has the following algorithmic consequence.
Proposition 3.10.
Given a hypergraph with dimension and maximum degree , the Dual Conformality problem is solvable in time .
Proof.
First, we compute the co-occurrence graph of . By Proposition 3.8, this can be done in time . By Corollary 3.7, has only hyperedges that are cliques of . Now, the maximal cliques of can be generated with polynomial delay using the algorithm by Tsukiyama et al. [66] on the complement of . More precisely, after a preprocessing step that takes time, the algorithm outputs all the maximal cliques of one by one, spending time between two consecutive output cliques. We run the algorithm, and every time it outputs a maximal clique of check if it belongs to or not. This is easy to check in time : it must be a transversal of and must be minimal. If you get a NO at any time, then stop, and the answer is NO, otherwise, the answer is YES. The total running time of this approach is , which simplifies to . ∎
Remark 3.11.
The approach of the proof of Proposition 3.10 actually shows the following. Assume that there exists an algorithm for generating all maximal cliques of an -vertex graph with preprocessing time and that spends time between outputting any two consecutive maximal cliques. Then, given a hypergraph , the Dual Conformality problem is solvable in time . In particular, one could apply not only the algorithm by Tsukiyama et al. but also any of the more recent faster algorithms, e.g., those in [21, 55, 20].
Of course, the size of could easily be exponential in the size of , so this algorithm is exponential in the size of , in the worst case.222Not on average, though. On average, the size of the dual hypergraph of a Sperner hypergraph is polynomial in the size of . This follows from the proof of the main result in [47]. Accordingly, the question about computing from was typically addressed from the point of view of output-sensitive algorithms (see, e.g., [49, 60, 28]). The best currently known algorithm for computing for a general hypergraph has a running time which is linear in the output size and quasi-polynomial in the input size [32].
Observation 3.12.
The Dual Conformality problem is in co-NP.
Proof.
Suppose that for a given hypergraph , its dual is not conformal. Then there exists a maximal clique of the co-occurrence graph of that is not a minimal transversal of . It can be verified in polynomial time whether a set satisfies all these properties. By Corollary 3.9, the co-occurrence graph can be computed in polynomial time. Having computed , we can check in polynomial time if every two distinct vertices in are adjacent in and whether no vertex in is adjacent to all vertices in . Since the hypergraph is our input, we can also check in polynomial time if is not a minimal transversal of . ∎
However, the complexity of Dual Conformality remains open in general.
3.4 A polynomial case of Dual Conformality
We develop a polynomial-time algorithm for Dual Conformality when restricted to the hypergraphs such that every maximal clique of the co-occurrence graph of is a transversal of . This algorithm is then used in Section 4 to develop a polynomial-time algorithm for recognizing graphs in which all minimal clique transversals have size at most , for every fixed .
Restricted Dual Conformality
Input:
A hypergraph such that every maximal clique of
is a transversal of .
Question:
Is the dual hypergraph conformal?
Lemma 3.13.
Let be a hypergraph and let . Suppose that every maximal clique of is a transversal of . Then is not dually conformal if and only if contains a vertex such that is a transversal of .
Proof.
Assume first that there exists a vertex of such that is a transversal of . Let be a minimal transversal of such that . By Corollary 3.7, every minimal transversal of is a clique in . Thus, is a clique and since is contained in , the set is also a clique. Let be a maximal clique in such that . Then is a maximal clique in that properly contains a minimal transversal of (namely ). Therefore, is not a minimal transversal of . By 3.2, is not dually conformal.
Assume now that is not dually conformal. By 3.2, has a maximal clique that is not a minimal transversal of . Since, by the assumption on every maximal clique of is a transversal of , there exists a minimal transversal of properly contained in . Let be a vertex in . Then, since is a clique, is a subset of . This implies that is a transversal of . ∎
Proposition 3.14.
Given a hypergraph with dimension and maximum degree such that every maximal clique of is a transversal of , the Restricted Dual Conformality problem is solvable in time .
Proof.
Using Proposition 2.2, we compute in time the edge-vertex incidence matrix of and the doubly linked representation of its incident pairs. Next, we compute the co-occurrence graph of . By Proposition 3.8, this can be done in time . Then we iterate over all vertices of and verify in time if the neighborhood of in is a transversal of . By Lemma 3.13, if such a vertex exists, then is not dually conformal, and otherwise it is. The total running time of this approach is . ∎
Remark 3.15.
The time complexity of the algorithm given by Proposition 3.14 is dominated by the time needed to compute the co-occurrence graph of . The complexity of the remaining steps is only .
4 Graphs with small upper clique transversal number
In this section we shift the focus from hypergraphs to graphs and apply the results from Section 3 to a problem about clique transversals in graphs. Recall that a clique transversal in a graph is a set of vertices intersecting all maximal cliques. The problem of determining the minimum size of a clique transversal has received considerable attention in the literature (see, e.g., the works by Payan in 1979 [59], by Andreae, Schughart, and Tuza in 1991 [6], and by Erdős, Gallai, and Tuza in 1992 [30], as well as more recent works [16, 5, 8, 25, 39, 50, 53, 22, 52, 13, 62, 51]). Recently, Milanič and Uno initiated in [57] the study of the “upper” variant of this parameter. An upper clique transversal of a graph is a minimal clique transversal of maximum size. The upper clique transversal number of a graph is denoted by and defined as the maximum size of a minimal clique transversal in . In hypergraph terminology, the upper clique transversal number of a graph is the maximum size of a hyperedge of the dual of the clique hypergraph. The corresponding decision problem is as follows.
Upper Clique Transversal
Input:
A graph and an integer .
Question:
Does contain a minimal clique transversal of size at least ,
i.e., is ?
Milanič and Uno showed in [57] that Upper Clique Transversal is NP-complete in the classes of chordal graphs, chordal bipartite graphs, and line graphs of bipartite graphs, but solvable in linear time in the classes of split graphs and proper interval graphs.
We now show that for fixed , the problem can be reduced in polynomial time to the Restricted Dual Conformality problem, and is thus polynomial-time solvable. We consider the following family of problems parameterized by a positive integer , where, unlike for the Upper Clique Transversal problem, is fixed and not part of the input.
-Upper Clique Transversal
Input:
A graph .
Question:
Does contain a minimal clique transversal of size at least ,
i.e., is ?
The problem is only interesting for , since every graph with at least one vertex is a yes-instance to the -Upper Clique Transversal problem.
Let us first note that the variant of the -Upper Clique Transversal problem in which the family of maximal cliques of the input graph is also part of the input admits a simple polynomial-time algorithm. It suffices to verify if there exists a set of size that is not a clique transversal of but is contained in some minimal clique transversal. The former condition can be checked directly using the family of maximal cliques of , and the latter condition can be checked in polynomial time since is fixed, by Corollary 2.4. An alternative solution would be to verify if there exists a set of size that is contained in some minimal clique transversal.
Solving the problem without knowing the family of maximal cliques (which could be exponential in the size of ) requires more work, but is still doable in polynomial time.
Theorem 4.1.
For every integer , given a graph , the -Upper Clique Transversal problem is solvable in time .
We prove Theorem 4.1 in several steps. One key ingredient is a polynomial-time algorithm to test if a given constant-sized set of vertices in a graph is a clique transversal.333Note that the assumption on the bound on the size of the set is essential. In fact, as shown by Zang [71], it is co-NP-complete to check, given a graph and an independent set , whether is a clique transversal in . By definition, a set of vertices in a graph is a clique transversal if and only if intersects all maximal cliques. In particular, this means that for every clique in there exists a vertex containing in its neighborhood. As we show next, it is sufficient to require this condition for all cliques in such that .
Lemma 4.2.
For every graph and every set , the following statements are equivalent.
-
1.
is a clique transversal in .
-
2.
For every clique in , there exists a vertex such that .
-
3.
For every clique in such that , there exists a vertex such that .
Proof.
Suppose is a clique transversal in and let be a clique in . Let be a maximal clique in such that . Then contains a vertex . Since and is a clique, we must have .
Clearly, the second statement implies the third one.
We prove that the third statement implies the first one by contraposition. Suppose that is not a clique transversal in . Then there exists a maximal clique in such that . Since is a maximal clique disjoint from , every vertex in has a non-neighbor in . Selecting one such non-neighbor for each vertex in results in a clique in such that and every vertex in has a non-neighbor in . Thus, there is no vertex such that . ∎
Lemma 4.2 implies the following characterization of clique transversals of size one. A universal vertex in a graph is a vertex adjacent to all other vertices.
Corollary 4.3.
Given a graph and a vertex , the set is a clique transversal in if and only if is a universal vertex in .
Proof.
By Lemma 4.2, the singleton is a clique transversal in if and only if for every clique in , it holds that . If this latter condition is satisfied, then is universal in , since otherwise for any vertex in nonadjacent to , the set would be a clique in that violates the condition . And conversely, if is universal in , then and hence the condition is satisfied trivially for any clique in . ∎
As another consequence of Lemma 4.2, we obtain that when the size of a set of vertices is bounded by a constant, testing whether the set is a clique transversal can be done in polynomial time.
Proposition 4.4.
For every fixed , there is an algorithm running in time to check if, given a graph and a set with , the set is a clique transversal of .
Proof.
If , then by Corollary 4.3 is a clique transversal of if and only if such that is a universal vertex in . This condition can be tested in time .
Assuming , we first compute in time the adjacency matrix of . This will allow for testing adjacency of a pair of vertices in constant time. By Lemma 4.2, it suffices to verify if every clique in with size at most either contains a vertex of or is contained in the neighborhood of some vertex in . Since , all such cliques can be enumerated in time . For each such clique , we can check in time if is disjoint from . If it is, then we iterate over all vertices and for each such vertex check the condition in time . If for some clique that is disjoint from no such vertex exists, we conclude that is not a clique transversal in , and otherwise it is. The total running time is . ∎
Furthermore, note that for every fixed , if a set with is a clique transversal of , then we can check in polynomial time if is a minimal clique transversal simply by checking, for all , whether the set is a clique transversal. This can be done in time by Proposition 4.4.
Corollary 4.5.
For every fixed , there is an algorithm running in time to check if, given a graph and a set with , the set is a minimal clique transversal of .
Lemma 4.6.
Let be a positive integer and be a graph. Let be the hypergraph defined as follows: the vertex set of is , and the hyperedges of are precisely the minimal clique transversals of such that . Then the following statements are equivalent.
-
1.
.
-
2.
is the hypergraph of all minimal clique transversals of .
-
3.
is dually conformal and .
Proof.
The equivalence between items 1 and 2 follows directly from the definition of . We thus focus on establishing the equivalence between items 2 and 3.
Assume that is the hypergraph of all minimal clique transversals of , that is, is the dual hypergraph of the clique hypergraph of . By 2.1, the dual hypergraph of is the clique hypergraph of . By Theorem 2.6, is conformal, that is, is dually conformal. Furthermore, Lemma 2.7 shows that .
Conversely, assume now that is dually conformal and . Since is conformal, Theorem 2.6 implies that is the clique hypergraph of . Thus, by 2.1, is the hypergraph of all minimal clique transversals of . ∎
We now have everything ready to prove Theorem 4.1.
Proof of Theorem 4.1..
We first describe the algorithm and then justify its correctness and running time. Let be the input graph.
The algorithm performs the following steps:
-
1.
Compute the hypergraph defined as follows: the vertex set of is , and the hyperedges of are precisely the minimal clique transversals of such that .
-
2.
Compute the co-occurrence graph of the dual hypergraph of .
-
3.
Check if .
-
4.
If , then the algorithm determines that (that is, is a yes-instance) and halts.
-
5.
If , then apply Proposition 3.14 on to test if is conformal.
-
•
If is conformal, then the algorithm determines that (that is, is a no-instance) and halts.
-
•
If is not conformal, then the algorithm determines that (that is, is a yes-instance) and halts.
-
•
To prove correctness, let us first justify that, in the case when , we can indeed apply Proposition 3.14 on to test if is conformal. By the definition of the hypergraph , every maximal clique of intersects every hyperedge of . Thus, if , then every maximal clique of is a transversal of . This means that is indeed a valid input to the Restricted Dual Conformality problem, and hence Proposition 3.14 applies, as claimed. Furthermore, by Lemma 4.6, we have if and only if is dually conformal and . Equivalently, if and only if one of the following conditions holds: either (i) or (ii) and is not conformal. This implies that each of the three outputs of the algorithm is correct.
It remains to analyze the time complexity. We compute the hypergraph in time by enumerating all the subsets of with size less than and checking, for each such set , if is a minimal clique transversal of , in time using Corollary 4.5. Note that has vertices and hyperedges. Its dimension is at most and maximum degree . By Proposition 3.8, the co-occurrence graph of can be computed in time . The check whether and are equal can be performed in time by comparing their adjacency lists. Finally, testing conformality of in the case when the two graphs are the same can be done in time by Proposition 3.14. As each of the remaining steps takes constant time, we conclude that the algorithm runs in time . ∎
We close the section with a remark about the case . Applying Theorem 4.1 to this case shows that given a graph , the -Upper Clique Transversal problem is solvable in time . However, the problem can be solved in linear time, as a consequence of the following characterization of graphs in which all minimal clique transversals have size one.
Proposition 4.7.
Let be a graph. Then if and only if is complete.
Proof.
If is complete, then the only minimal clique transversals are the sets consisting of a single vertex. Thus, in this case.
Assume now that is not complete. Let be the set of universal vertices of . Note that by Corollary 4.3, is precisely the set of vertices such that is a clique transversal. We claim that is a clique transversal. Suppose this is not the case. Then admits a maximal clique contained entirely in . Since is a clique, we have . However, since every maximal clique contains , it follows that is the only maximal clique in and hence is complete, a contradiction. This shows that is a clique transversal, as claimed. Thus, contains a minimal clique transversal, and any such clique transversal is of size at least , since otherwise its only vertex would belong to . Consequently, . ∎
5 Dually conformal hypergraphs with bounded dimension
In this section we study dually conformal hypergraphs of bounded dimension. Recall that, given a hypergraph , the dimension of is the maximum cardinality of a hyperedge in .
By Proposition 3.1, a Sperner hypergraph is dually conformal if and only if there exists a graph such that is the hypergraph of all minimal clique transversals of . In the case when dimension is bounded by a positive integer , we obtain a similar characterization, which in addition takes into account the upper clique transversal number of graphs.
Proposition 5.1.
For every hypergraph and positive integer , the following statements are equivalent.
-
1.
is a dually conformal Sperner hypergraph with dimension at most .
-
2.
There exists a graph with such that is the hypergraph of all minimal clique transversals of .
The proof of this proposition is very similar to the proof of Proposition 3.1, so we omit it.
For a positive integer , we are interested in the complexity of the following problem.
Dimension- Dual Conformality
Input:
A hypergraph with dimension at most .
Question:
Is the dual hypergraph conformal?
In this section we develop a polynomial-time algorithm for Dimension- Dual Conformality for any fixed positive integer . For the cases , we also develop more direct algorithms.
5.1 The general case
We start with a technical lemma.
Lemma 5.2.
For every positive integer , there exists an algorithm running in time that takes as input a hypergraph with dimension at most and maximum degree and tests whether contains a maximal clique that is not a transversal of .
Proof.
By Proposition 3.8, the graph can be computed in time , which is since the dimension is constant. We show the existence of an algorithm with the stated running time that tests the negation of the stated condition, namely whether every maximal clique of is a transversal of . This condition is equivalent to the condition that every hyperedge of is a clique transversal in . Since each hyperedge of has size at most , by Proposition 4.4 it can be tested in time whether is a clique transversal in . Hence, the total running time of the described algorithm is . ∎
Theorem 5.3.
For every positive integer , given a hypergraph with dimension at most and maximum degree , the Dimension- Dual Conformality problem is solvable in time .
Proof.
We make use of the characterization of dually conformal hypergraphs given by Corollary 3.3. First we test condition (a) in time using Lemma 5.2. If condition (a) holds, we conclude that is not dually conformal. If the condition does not hold, then every maximal clique of the graph is a transversal of , which means that is a valid input for the Restricted Dual Conformality problem. In this case, we test dual conformality of in time using Proposition 3.14. Since is constant, the complexity simplifies to . ∎
5.2 The case of dimension three
The case of Theorem 5.3 is as follows.
Theorem 5.4.
Given a hypergraph with dimension at most and maximum degree , the Dimension- Dual Conformality problem is solvable in time .
We now develop an alternative approach for recognizing dually conformal hypergraphs within the family of hypergraphs of dimension at most three, based on a reduction to -Satisfiability. The running time of this algorithm matches that of Theorem 5.3.
Recall that Corollary 3.3 gives two possible reasons why could fail to be dually conformal. A similar characterization is as follows.
Lemma 5.5.
Let be a hypergraph and let . Then is not dually conformal if and only if one of the following two conditions holds.
-
(a)
contains a maximal clique that is not a transversal of , or
-
(b)
contains a clique and a vertex such that for each hyperedge that contains we have .
Proof.
By Corollary 3.3, the equivalence holds if contains a maximal clique that is not a transversal of .
Suppose now that every maximal clique of is a transversal of . In this case, by Corollary 3.3, it suffices to show that contains a maximal clique that is a transversal of but not a minimal one if and only if contains a clique and a vertex such that for all hyperedges that contain we have . Suppose first that contains a maximal clique that is a transversal of but not a minimal one. Then there exists a vertex such that is a transversal of . In particular, this implies that for all hyperedges that contain we have .
For the converse direction, suppose that contains a clique and a vertex such that for each hyperedge that contains we have . Let be a maximal clique in such that . We claim that is a transversal of but not a minimal one. The fact that is a transversal of follows from the assumption that every maximal clique of is a transversal of . Furthermore, is not a minimal transversal since is a transversal of . To see this, consider an arbitrary hyperedge .
-
•
If , then and hence .
-
•
If , then , and since is a transversal of .
Thus, in either case, intersects . It follows that is a transversal of , as claimed. ∎
Let us now discuss the time complexity of verifying the two conditions from Lemma 5.5. Recall that condition (a) can be tested in polynomial time for any bounded dimension using Lemma 5.2. Next we show that for hypergraphs with dimension at most three, condition (b) can be tested in polynomial time using a reduction to -Satisfiability, a well-known problem solvable in linear time (see Aspvall, Plass, and Tarjan [7]).
Lemma 5.6.
There exists an algorithm running in time that tests whether for a given hypergraph with dimension at most and maximum degree , the graph contains a clique and a vertex such that for each hyperedge that contains it holds .
Proof.
By Proposition 3.8 the co-occurrence graph of can be constructed in time . We develop a polynomial-time algorithm to test, given a vertex of , whether contains a clique such that and for each hyperedge that contains we have . Let be the hyperedges of that contain . We need to decide if there is a clique in such that and for all .
For each , we compute in time the intersection . If for some , then the desired clique does not exist. So let us assume that for all . In this case we determine the existence of a desired clique by solving the following instance of -Satisfiability:
-
•
For each vertex there is one variable (with the intended meaning that takes value true in a satisfying assignment if and only if ).
-
•
For every two distinct non-adjacent vertices , we introduce the clause (specifying that not both and can be selected in the clique ).
Furthermore, for every , we introduce the clause (specifying that at least one of the vertices in should belong to ).
Note that for each , we have and since has dimension at most . Consequently, and hence all the clauses have length one or two. The instance of -Satisfiability is constructed so that there is a clique in such that and for all if and only if the conjunction of all the clauses has a satisfying assignment. There are intersections , , which can be computed in time . There are variables and clauses, hence this is a polynomial-time reduction to the linear-time solvable -Satisfiability problem. We solve an instance of -Satisfiability for each vertex of , and hence the time complexity of this part of the algorithm is , resulting in the total running time of , as claimed. ∎
Lemmas 5.5, 5.2, and 5.6 provide an alternative proof of Theorem 5.4.
5.3 The two-uniform case
In this section we analyze in more detail the case of Theorem 5.3, that is, the case of -uniform hypergraphs. Note that in this case we are dealing simply with graphs without isolated vertices; in particular, we shall also use the standard graph theory terminology and notation.
In the case , the characterization of dually conformal hypergraphs given by Lemma 5.5 can be simplified as follows.
Lemma 5.7.
Let be a -uniform hypergraph and let . Then is not dually conformal if and only if one of the following two conditions holds.
-
(a)
contains a maximal clique that is not a transversal of , or
-
(b)
contains a vertex such that the closed neighborhood of in is a clique in .
Proof.
By Lemma 5.5, it is sufficient to show that condition (b) from Lemma 5.7 is equivalent to condition (b) from Lemma 5.5. For simplicity, let us refer to these two conditions as conditions (b∗) and (b), respectively. Since is -uniform, the inequality in condition (b) is equivalent to the inclusion . Thus, condition (b) is equivalent to following condition: contains a vertex and a clique such that contains as well as all hyperedges of that contain . In graph theoretic terms, this means that contains a vertex and a clique such that contains the closed neighborhood of in . If this condition is satisfied, then is a clique in , too, and condition (b∗) holds. Conversely, if condition (b∗) holds and is a vertex in such that is a clique in , then we can take and condition (b) is satisfied. ∎
Using Lemma 5.7 we now prove the announced result.
Theorem 5.8.
Given a -uniform hypergraph with maximum degree , the Dimension- Dual Conformality problem is solvable in time .
Proof.
Let be the input -uniform hypergraph and let be the co-occurrence graph of . By Proposition 3.8, can be computed in time . By Lemma 5.7, is not dually conformal if and only if one of the conditions and (b) from the lemma holds. By Lemma 5.2, condition (a) can be tested in time ). Since we know both graphs and , condition (b) can also be tested in polynomial time: for each vertex of , we compute the closed neighborhood of in and verify if it is a clique in . For a fixed vertex of , this can be done in time , resulting in the total time complexity of . ∎
Remark 5.9.
The time complexity of the algorithm given by Theorem 5.8 is dominated by the time needed to compute the co-occurrence graph of . The complexity of the remaining steps is only .
Recall that by Corollary 4.3, a minimal clique transversal in a graph has size one if and only if it consists of a universal vertex. Therefore, Proposition 5.1 and its proof imply the following.
Corollary 5.10.
For every -uniform hypergraph , the following statements are equivalent.
-
1.
is dually conformal.
-
2.
There exists a graph with and without universal vertices such that is the hypergraph of all minimal clique transversals of .
6 Discussion
We have initiated the study of dually conformal hypergraphs, that is, hypergraphs whose dual hypergraph is conformal. As our main result, we developed a polynomial-time algorithm for recognizing dual conformality in hypergraphs of bounded dimension.
The main problem left open by our work is of course the problem of determining the complexity of Dual Conformality. In particular, the following questions are open.
Question 1.
Is Dual Conformality co-NP-complete? Is it in NP? Is it in P?
One could approach these questions by studying the Dual Conformality problem in particular classes of hypergraphs, for example on hypergraphs derived from graphs (such as matching hypergraphs [1, 67], and various clique [40, 67, 58, 59, 48], independent set [40, 67], neighborhood [31, 17], separator [42, 65, 18], and dominating set hypergraphs [17, 18], etc.). If there exists a type of hypergraphs derived from graphs and a class of graphs such that for each graph , the corresponding hypergraph can be computed in polynomial time but testing dual conformality is co-NP-complete, this would imply co-NP-completeness of Dual Conformality. In particular, given that the conformality property of Sperner hypergraphs is closely related to clique hypergraphs of graphs (cf. Theorem 2.6), it would be natural to investigate the complexity of Dual Conformality when restricted to clique hypergraphs of graphs. This leads to the following property of graphs. A graph is clique dually conformal (CDC) if its clique hypergraph is dually conformal.
Question 2.
What is the complexity of recognizing CDC graphs?
As explained above, the question is particularly interesting for graph classes with polynomially many maximal cliques. As our preliminary investigations, we were able to develop polynomial-time algorithms for testing the CDC property in the classes of split graphs and triangle-free graphs. To keep the length of this paper manageable, we shall present these results in a separate publication.
Recall that our results have implications for the upper clique transversal problem in graphs. The variant of the problem in which is part of the input is known to be NP-hard (see [57]). In terms of the parameterized complexity of the problem (with as the parameter), Theorem 4.1 shows that the problem is in XP. This motivates the following.
Question 3.
Is the -Upper Clique Transversal problem with as parameter W[1]-hard?
We conclude with some structural questions.
Question 4.
Is there a real number such that every conformal hypergraph satisfies ?
Note that we may without loss of generality restrict our attention to Sperner conformal hypergraphs. On the other hand, the conformality assumption in 4 is essential, as shown by the following construction by Vladimir Gurvich and Kazuhisa Makino (personal communication), generalizing a graph construction due to Costa, Haeusler, Laber, and Nogueira [23]. Consider integers , , and . Define a -uniform hypergraph as follows. Consider a set of vertices. The hypergraph contains, as hyperedges, all -subsets of and other edges, obtained as follows. To every -subset of let us assign a new vertex and add the obtained -set to . Moreover, let us do this times for each -set. Note that is not conformal. Furthermore, the number of vertices is , while and . In particular, taking an integer and setting , , and , we obtain , while , which is exponential in . If , is arbitrary, and , we obtain the same example as in [23].
Since the general case of 4 is equivalent to the Sperner case, Theorem 2.6 implies that the question can be posed equivalently in graph theoretic terms. Recall that for a graph , we denote by the maximum size of a clique in and by the upper clique transversal number of .
Question 5.
Is there a real number such that every graph satisfies
A strongly related question for the class of CIS graphs (that is, graphs in which every maximal independent set is a clique transversal) was posed by Alcón, Gutierrez, and Milanič in [2]. Denoting by the maximum size of an independent set in a graph , the question is as follows.
Question 6 (Alcón, Gutierrez, and Milanič [2]).
Is there a real number such that every CIS graph satisfies
Note that a positive answer to 6 would imply a positive answer to 5 for the class of CIS graphs. For general graphs, random graphs show that the analogue of 6 does not hold (see, e.g., [12]). On the other hand, the famous Erdős-Hajnal conjecture (see, e.g., the survey by Chudnovsky [19]) states that the analogue of 6 holds when restricted to any class of graphs not containing a fixed graph as an induced subgraph (with the value of depending on ). In contrast, every graph is an induced subgraph of a CIS graph (see [4]).
Acknowledgements
We are grateful to Kazuhisa Makino for helpful discussions related to 4. Part of the work for this paper was done in the framework of bilateral projects between Slovenia and the USA and between Slovenia and the Russian federation, partially financed by the Slovenian Research and Innovation Agency (BI-US/22–24–093, BI-US/22–24–149, BI-US/––, and BI-RU/––). The work of the third author is supported in part by the Slovenian Research and Innovation Agency (I0-0035, research program P1-0285 and research projects J1-3001, J1-3002, J1-3003, J1-4008, and J1-4084), and by the research program CogniCom (0013103) at the University of Primorska. The research of the second author was included in the HSE University Basic Research Program. The work of the fourth author is partially supported by JSPS KAKENHI Grant Number JP17K00017, 20H05964 and 21K11757, Japan.
References
- [1] R. Aharoni, E. Berger, and R. Ziv. The edge covering number of the intersection of two matroids. Discrete Math., 312(1):81–85, 2012.
- [2] L. Alcón, M. Gutierrez, and M. Milanič. A characterization of claw-free CIS graphs and new results on the order of CIS graphs. In G. Coutinho, Y. Kohayakawa, V. F. dos Santos, and S. Urrutia, editors, Proceedings of the tenth Latin and American Algorithms, Graphs and Optimization Symposium, LAGOS 2019, Belo Horizonte, Brazil, June 2-7, 2019, volume 346 of Electronic Notes in Theoretical Computer Science, pages 15–27. Elsevier, 2019.
- [3] I. Anderson. Combinatorics of finite sets. Oxford Science Publications. The Clarendon Press, Oxford University Press, New York, 1987.
- [4] D. V. Andrade, E. Boros, and V. Gurvich. On graphs whose maximal cliques and stable sets intersect. In Optimization problems in graph theory, volume 139 of Springer Optim. Appl., pages 3–63. Springer, Cham, 2018.
- [5] T. Andreae and C. Flotow. On covering all cliques of a chordal graph. Discrete Math., 149(1-3):299–302, 1996.
- [6] T. Andreae, M. Schughart, and Z. Tuza. Clique-transversal sets of line graphs and complements of line graphs. Discrete Math., 88(1):11–20, 1991.
- [7] B. Aspvall, M. F. Plass, and R. E. Tarjan. A linear-time algorithm for testing the truth of certain quantified Boolean formulas. Inform. Process. Lett., 8(3):121–123, 1979.
- [8] V. Balachandran, P. Nagavamsi, and C. P. Rangan. Clique transversal and clique independence on comparability graphs. Inform. Process. Lett., 58(4):181–184, 1996.
- [9] C. Beeri, R. Fagin, D. Maier, and M. Yannakakis. On the desirability of acyclic database schemes. J. ACM, 30(3):479–513, 1983.
- [10] C. Berge. Graphs and hypergraphs. Translated by Edward Minieka, volume 6 of North-Holland Math. Libr. Elsevier (North-Holland), Amsterdam, 1973.
- [11] C. Berge. Hypergraphs. North-Holland Publishing Co., Amsterdam, 1989.
- [12] B. Bollobás. Random graphs, volume 73 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, second edition, 2001.
- [13] F. Bonomo, G. Durán, M. D. Safe, and A. K. Wagler. Clique-perfectness of complements of line graphs. Discrete Appl. Math., 186:19–44, 2015.
- [14] E. Boros, V. Gurvich, K. Elbassioni, and L. Khachiyan. An efficient incremental algorithm for generating all maximal independent sets in hypergraphs of bounded dimension. Parallel Process. Lett., 10(4):253–266, 2000.
- [15] E. Boros, V. Gurvich, and P. L. Hammer. Dual subimplicants of positive Boolean functions. Optim. Methods Softw., 10(2):147–156, 1998.
- [16] G. J. Chang, M. Farber, and Z. Tuza. Algorithmic aspects of neighborhood numbers. SIAM J. Discrete Math., 6(1):24–29, 1993.
- [17] N. Chiarelli and M. Milanič. Total domishold graphs: a generalization of threshold graphs, with connections to threshold hypergraphs. Discrete Appl. Math., 179:1–12, 2014.
- [18] N. Chiarelli and M. Milanič. Linear separation of connected dominating sets in graphs. Ars Math. Contemp., 16(2):487–525, 2019.
- [19] M. Chudnovsky. The Erdös-Hajnal conjecture—a survey. J. Graph Theory, 75(2):178–190, 2014.
- [20] C. Comin and R. Rizzi. An improved upper bound on maximal clique listing via rectangular fast matrix multiplication. Algorithmica, 80(12):3525–3562, 2018.
- [21] A. Conte, R. Grossi, A. Marino, and L. Versari. Sublinear-space and bounded-delay algorithms for maximal clique enumeration in graphs. Algorithmica, 82(6):1547–1573, 2020.
- [22] J. W. Cooper, A. Grzesik, and D. Král. Optimal-size clique transversals in chordal graphs. J. Graph Theory, 89(4):479–493, 2018.
- [23] V. Costa, E. Haeusler, E. S. Laber, and L. Nogueira. A note on the size of minimal covers. Inform. Process. Lett., 102(2-3):124–126, 2007.
- [24] Y. Crama and P. L. Hammer, editors. Boolean functions. Theory, algorithms, and applications, volume 142 of Encycl. Math. Appl. Cambridge: Cambridge University Press, 2011.
- [25] P. Eades, M. Keil, P. D. Manuel, and M. Miller. Two minimum dominating sets with minimum intersection in chordal graphs. Nordic J. Comput., 3(3):220–237, 1996.
- [26] J. Edmonds and D. R. Fulkerson. Bottleneck extrema. J. Comb. Theory, 8:299–306, 1970.
- [27] P. Eirinakis, D. Magos, and I. Mourtos. Blockers and antiblockers of stable matchings. Theor. Comput. Sci., 524:126–133, 2014.
- [28] T. Eiter and G. Gottlob. Identifying the minimal transversals of a hypergraph and related problems. SIAM J. Comput., 24(6):1278–1304, 1995.
- [29] K. Engel. Sperner theory, volume 65 of Encyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge, 1997.
- [30] P. Erdős, T. Gallai, and Z. Tuza. Covering the cliques of a graph with vertices. volume 108, pages 279–289. 1992.
- [31] F. Foucaud. Decision and approximation complexity for identifying codes and locating-dominating sets in restricted graph classes. J. Discrete Algorithms, 31:48–68, 2015.
- [32] M. L. Fredman and L. Khachiyan. On the complexity of dualization of monotone disjunctive normal forms. J. Algorithms, 21(3):618–628, 1996.
- [33] D. R. Fulkerson. Blocking and anti-blocking pairs of polyhedra. Math. Program., 1:168–194, 1971.
- [34] D. R. Fulkerson. Anti-blocking polyhedra. J. Comb. Theory, Ser. B, 12:50–71, 1972.
- [35] M. R. Garey and D. S. Johnson. Computers and intractability. A Series of Books in the Mathematical Sciences. W. H. Freeman and Co., San Francisco, CA, 1979.
- [36] G. Gasparyan, M. Preissmann, and A. Sebő. Imperfect and nonideal clutters: A common approach. Combinatorica, 23(2):283–302, 2003.
- [37] P. Gilmore. Families of sets with faithful graph representation. IBM Research Note N.C., 184, 1962. Thomas J. Watson Research Center, Yorktown Heights, New York.
- [38] M. C. Golumbic. Algorithmic graph theory and perfect graphs, volume 57 of Annals of Discrete Mathematics. Elsevier Science B.V., Amsterdam, second edition, 2004.
- [39] V. Guruswami and C. Pandu Rangan. Algorithmic aspects of clique-transversal and clique-independent sets. Discrete Appl. Math., 100(3):183–202, 2000.
- [40] V. Gurvich. On exact blockers and anti-blockers, -conjecture, and related problems. Discrete Appl. Math., 159(5):311–321, 2011.
- [41] V. Gurvich and M. Naumova. Lexicographically maximal edges of dual hypergraphs and Nash-solvability of tight game forms. Ann. Math. Artif. Intell., 92(1):49–57, 2024.
- [42] P. L. Hammer, F. Maffray, and M. Queyranne. Cut-threshold graphs. Discrete Appl. Math., 30(2-3):163–179, 1991.
- [43] R. M. Karp. Reducibility among combinatorial problems. In Complexity of computer computations (Proc. Sympos., IBM Thomas J. Watson Res. Center, Yorktown Heights, N.Y., 1972), The IBM Research Symposia Series, pages 85–103. Plenum, New York-London, 1972.
- [44] L. Khachiyan, E. Boros, K. Elbassioni, and V. Gurvich. A global parallel algorithm for the hypergraph transversal problem. Inform. Process. Lett., 101(4):148–155, 2007.
- [45] L. Khachiyan, E. Boros, K. Elbassioni, and V. Gurvich. On the dualization of hypergraphs with bounded edge-intersections and other related classes of hypergraphs. Theoret. Comput. Sci., 382(2):139–150, 2007.
- [46] L. Khachiyan, E. Boros, K. M. Elbassioni, and V. Gurvich. A new algorithm for the hypergraph transversal problem. In L. Wang, editor, Computing and Combinatorics, 11th Annual International Conference, COCOON 2005, Kunming, China, August 16-29, 2005, Proceedings, volume 3595 of Lecture Notes in Computer Science, pages 767–776. Springer, 2005.
- [47] A. D. Korshunov. The number of monotone Boolean functions. Problemy Kibernet., (38):5–108, 272, 1981.
- [48] S. L. Lauritzen, T. P. Speed, and K. Vijayan. Decomposable graphs and hypergraphs. J. Austral. Math. Soc. Ser. A, 36(1):12–29, 1984.
- [49] E. L. Lawler, J. K. Lenstra, and A. H. G. Rinnooy Kan. Generating all maximal independent sets: NP-hardness and polynomial-time algorithms. SIAM J. Comput., 9(3):558–565, 1980.
- [50] C.-M. Lee. Algorithmic aspects of some variations of clique transversal and clique independent sets on graphs. Algorithms (Basel), 14(1):Paper No. 22, 14, 2021.
- [51] C.-M. Lee and M.-S. Chang. Distance-hereditary graphs are clique-perfect. Discrete Appl. Math., 154(3):525–536, 2006.
- [52] M. C. Lin and S. Vasiliev. Approximation algorithms for clique transversals on some graph classes. Inform. Process. Lett., 115(9):667–670, 2015.
- [53] K. Liu and M. Lu. Complete-subgraph-transversal-sets problem on bounded treewidth graphs. J. Comb. Optim., 41(4):923–933, 2021.
- [54] K. Makino and T. Kameda. Transformations on regular nondominated coteries and their applications. SIAM J. Discrete Math., 14(3):381–407, 2001.
- [55] K. Makino and T. Uno. New algorithms for enumerating all maximal cliques. In Algorithm theory—SWAT 2004, volume 3111 of Lecture Notes in Comput. Sci., pages 260–272. Springer, Berlin, 2004.
- [56] T. A. McKee. Logical aspects of combinatorial duality. Can. Math. Bull., 27:251–256, 1984.
- [57] M. Milanič and Y. Uno. Upper clique transversals in graphs. In D. Paulusma and B. Ries, editors, Graph-Theoretic Concepts in Computer Science – 49th International Workshop, WG 2023, Fribourg, Switzerland, June 28–30, 2023, Revised Selected Papers, volume 14093 of Lecture Notes in Comput. Sci., pages 432–446. Springer Nature Switzerland, 2023. Full version available at https://arxiv.longhoe.net/abs/2309.14103.
- [58] B. Mohar and R. Škrekovski. The Grötzsch theorem for the hypergraph of maximal cliques. Electron. J. Combin., 6:Research Paper 26, 13, 1999.
- [59] C. Payan. Remarks on cliques and dominating sets in graphs. Ars Combin., 7:181–189, 1979.
- [60] R. C. Read and R. E. Tarjan. Bounds on backtrack algorithms for listing cycles, paths, and spanning trees. Networks, 5(3):237–252, 1975.
- [61] A. Schrijver. Combinatorial optimization. Polyhedra and efficiency (3 volumes), volume 24 of Algorithms Comb. Berlin: Springer, 2003.
- [62] E. Shan, Z. Liang, and L. Kang. Clique-transversal sets and clique-coloring in planar graphs. European J. Combin., 36:367–376, 2014.
- [63] E. Sperner. Ein Satz über Untermengen einer endlichen Menge. Math. Z., 27(1):544–548, 1928.
- [64] J. Tind. Blocking and antiblocking polyhedra. Ann. Discrete Math. 4, 159-174 (1979)., 1979.
- [65] M. Tkáč and H.-J. Voss. On -trestles in polyhedral graphs. Discuss. Math. Graph Theory, 22(1):193–198, 2002.
- [66] S. Tsukiyama, M. Ide, H. Ariyoshi, and I. Shirakawa. A new algorithm for generating all the maximal independent sets. SIAM J. Comput., 6(3):505–517, 1977.
- [67] D. B. West. Parameters of partial orders and graphs: packing, covering, and representation. In Graphs and order (Banff, Alta., 1984), volume 147 of NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., pages 267–350. Reidel, Dordrecht, 1985.
- [68] D. B. West. Introduction to graph theory. Prentice Hall, Inc., Upper Saddle River, NJ, 1996.
- [69] D. R. Woodall. Menger and König systems. Theor. Appl. Graphs, Proc. Kalamazoo 1976, Lect. Notes Math. 642, 620-635 (1978)., 1978.
- [70] D. R. Woodall. Minimax theorems in graph theory. Selected topics in graph theory, 237-269 (1978)., 1978.
- [71] W. Zang. Generalizations of Grillet’s theorem on maximal stable sets and maximal cliques in graphs. Discrete Math., 143(1-3):259–268, 1995.
- [72] A. A. Zykov. Hypergraphs. Russ. Math. Surv., 29(6):89–156, 1974.