Sciweavers

42 search results - page 4 / 9
» A New Algorithm for the Hypergraph Transversal Problem
Sort
View
85
Voted
IPL
2000
69views more  IPL 2000»
14 years 10 months ago
Generating all maximal models of a Boolean expression
We examine the computational problem of generating all maximal models of a Boolean expression in CNF. We give a resolution-like method that reduces the unnegated variables of an e...
Dimitris J. Kavvadias, Martha Sideri, Elias C. Sta...
101
Voted
PODS
2007
ACM
159views Database» more  PODS 2007»
15 years 11 months ago
Generalized hypertree decompositions: np-hardness and tractable variants
The generalized hypertree width GHW(H) of a hypergraph H is a measure of its cyclicity. Classes of conjunctive queries or constraint satisfaction problems whose associated hypergr...
Georg Gottlob, Thomas Schwentick, Zoltán Mi...
108
Voted
SODA
2010
ACM
216views Algorithms» more  SODA 2010»
15 years 8 months ago
On linear and semidefinite programming relaxations for hypergraph matching
The hypergraph matching problem is to find a largest collection of disjoint hyperedges in a hypergraph. This is a well-studied problem in combinatorial optimization and graph theo...
Yuk Hei Chan, Lap Chi Lau
94
Voted
STOC
2003
ACM
109views Algorithms» more  STOC 2003»
15 years 4 months ago
A new multilayered PCP and the hardness of hypergraph vertex cover
Given a k-uniform hypergraph, the Ek-Vertex-Cover problem is to find the smallest subset of vertices that intersects every hyperedge. We present a new multilayered PCP constructi...
Irit Dinur, Venkatesan Guruswami, Subhash Khot, Od...
71
Voted
ITCC
2005
IEEE
15 years 4 months ago
Hypergraph Lossless Image Compression
Hypergraphs are a very powerful tool and can represent many problems. In this paper we define a new image representation based on hypergraphs. This representation conducts to a n...
Alain Bretto, Luc Gillibert