# Generating all maximal independent sets of bounded-degree hypergraphs

@inproceedings{Mishra1997GeneratingAM,
title={Generating all maximal independent sets of bounded-degree hypergraphs},
author={Nina Mishra and L. Pitt},
booktitle={COLT '97},
year={1997}
}
• Published in COLT '97 1997
• Mathematics, Computer Science
We show that any monotone function with a read-k CNF representation can be learned in terms of its DNF representation with membership queries alone in time polynomial in the DNF size and n (the number of variables) assuming k is some fixed constant. The problem is motivated by the well-studied open problem of enumerating all maximal independent sets of a given hypergraph. Our algorithm gives a solution for the bounded degree case and works even if the hypergraph is not input, but rather only… Expand
25 Citations

#### Figures and Topics from this paper

A Worst-Case Analysis of the Sequential Method to List the Minimal Hitting Sets of a Hypergraph
It is shown that a well-known sequential approach described by Berge and studied since the 1950s is not polynomial in the above sense, even if an optimal ordering of the edges is allowed. Expand
Exact algorithms for finding minimum transversals in rank-3 hypergraphs
Two algorithms are presented for the problem of finding a minimum transversal in a hypergraph of rank 3, also known as the 3-Hitting Set problem, which is a natural extension of the vertex cover problem for ordinary graphs. Expand
New Results on Monotone Dualization and Generating Hypergraph Transversals
• Mathematics, Computer Science
• SIAM J. Comput.
• 2003
It is shown that duality of two monotone CNFs can be disproved with limited nondeterminism and feasible in polynomial time with O(log2 n/\log log n) suitably guessed bits. Expand
On the complexity of monotone dualization and generating minimal hypergraph transversals
The decomposition technique can be thought of as a generalization of that of Fredman and Khachiyan, and yields stronger bounds on the sequential complexity of the problem in the case when the sizes of f and g are significantly different, and allows for generating all minimal transversals of a given hypergraph using only polynomial space. Expand
New results on monotone dualization and generating hypergraph transversals
• Mathematics, Computer Science
• STOC '02
• 2002
It is shown that duality of two monotone CNFs can be disproved with limited nondeterminism, and a number of new polynomial time resp. Expand
All maximal independent sets and dynamic dominance for sparse graphs
Algorithms, based on Avis and Fukuda's reverse search paradigm, for listing all maximal independent sets in a sparse graph in polynomial time and delay per output are described and new data structures for maintaining a dynamic vertex set S inA sparse or minor-closed graph family are described. Expand
Achieving new upper bounds for the hypergraph duality problem through logic
• Mathematics, Computer Science
• CSL-LICS
• 2014
This paper develops a new nondeterministic algorithm for DUAL that requires to guess O(log2 n) bits and forms its deterministic part in FO(COUNT), i.e., first order logic augmented by counting quantifiers. Expand
On Frequent Sets of Boolean
Given a Boolean matrix and a threshold t, a subset of the columns is frequent if there are at least t rows having a 1 entry in each corresponding position. This concept is used in the algorithmic,Expand
On Berge Multiplication for Monotone Boolean Dualization
• Computer Science, Mathematics
• ICALP
• 2008
Weshow that for any monotone CNF φ, Berge multiplication can be done in subexponential time, and for many interestingsubclasses of monotones C NF's such as CNF's with bounded size, bounded degree, bounded intersection, bounded conformality, and read-once formula, it can bedone in polynomial or quasi-polynomialtime. Expand
Computational aspects of monotone dualization: A brief survey
• Computer Science, Mathematics
• Discret. Appl. Math.
• 2008
This paper focuses on the famous paper by Fredman and Khachiyan, which showed that the dualization of monotone disjunctive normal forms is solvable in quasi-polynomial time (and thus most likely not co-NP-hard), as well as on follow-up works. Expand

#### References

SHOWING 1-10 OF 33 REFERENCES
A New Algorithm for Generating All the Maximal Independent Sets
• Mathematics, Computer Science
• SIAM J. Comput.
• 1977
This paper presents a new efficient algorithm for generating all the maximal independent sets, for which processing time and memory space are bounded by $O(nm\mu)$ and $O (n+m)$, respectively, where n, m, and $\mu$ are the numbers of vertices, edges, and maximalIndependent sets of a graph. Expand
On Generating All Maximal Independent Sets
• Mathematics, Computer Science
• Inf. Process. Lett.
• 1988
An algorithm is presented that generates all maximal independent sets of a graph in lexicographic order, with only polynomial delay between the output of two successive independent sets, unless P=NP. Expand
Generating all Maximal Independent Sets: NP-Hardness and Polynomial-Time Algorithms
• Mathematics, Computer Science
• SIAM J. Comput.
• 1980
It is shown that it is possible to apply ideas of Paull and Unger and of Tsukiyama et al. to obtain polynomial-time algorithms for a number of special cases, e.g. the efficient generation of all maximal feasible solutions to a knapsack problem. Expand
Exact Learning Boolean Function via the Monotone Theory
• N. Bshouty
• Computer Science, Mathematics
• Inf. Comput.
• 1995
The Monotone Theory is developed that proves (1) Any boolean function is learnable in polynomial time in its minimal disjunctive normal form size, its minimal conjunctive normalform size, and the number of variables n, and (2) Decision trees are learnable. Expand
On Learning Read-k-Satisfy-j DNF
• Mathematics, Computer Science
• SIAM J. Comput.
• 1998
An algorithm is presented that for any unknown RkSj D NF formula to be learned, with high probability finds a logically equivalent DNF formula using the well-studied protocol of equivalence and membership queries. Expand
Identifying the Minimal Transversals of a Hypergraph and Related Problems
• Mathematics, Computer Science
• SIAM J. Comput.
• 1995
Two decision problems on hypergraphs, hypergraph saturation and recognition of the transversal hypergraph, are considered and their significance for several search problems in applied computer science is discussed. Expand
On the Complexity of Inferring Functional Dependencies
• Computer Science, Mathematics
• Discret. Appl. Math.
• 1992
This work shows that this problem is solvable by a brute-force algorithm in Θ( n 2 2 n p log p ) time for a relation with p rows and n attributes, and proves two exponential lower bounds that hold even for the case where no explicit representation of the dependency set is needed. Expand
On Generating the Irredundant Conjunctive and Disjunctive Normal Forms of Monotone Boolean Functions
• Computer Science, Mathematics
• Discret. Appl. Math.
• 1999
It is shown that for some classes of polynomial-time computable monotone Boolean functions it is NP-hard to test either of the conditions D′=D or C′=C, which provides evidence that for each of these classes neither conjunctive nor disjunctive irredundant normal forms can be generated in total (or incremental) quasi-polynomial time. Expand
Learning Boolean Read-Once Formulas over Generalized Bases
• Computer Science, Mathematics
• J. Comput. Syst. Sci.
• 1995
Any basis class B meeting certain technical conditions can be extended to a polynomial time identification algorithm for read-once formulas over the union of B and the arbitrary functions of constant fan-in. Expand
Oracles and Queries That Are Sufficient for Exact Learning
• Computer Science, Mathematics
• J. Comput. Syst. Sci.
• 1995
The combinatorial properties that completely determine learnability in this information-theoretic sense are identified and are identified both for membership and for equivalence queries. Expand