Sciweavers

59 search results - page 7 / 12
» stoc 2002
Sort
View
STOC
2002
ACM
107views Algorithms» more  STOC 2002»
16 years 8 days ago
Quantum lower bound for the collision problem
The collision problem is to decide whether a function X : {1, . . . , n} {1, . . . , n} is one-to-one or two-to-one, given that one of these is the case. We show a lower bound of...
Scott Aaronson
STOC
2002
ACM
118views Algorithms» more  STOC 2002»
16 years 8 days ago
On the advantage over a random assignment
: We initiate the study of a new measure of approximation. This measure compares the performance of an approximation algorithm to the random assignment algorithm. This is a useful ...
Johan Håstad, Srinivasan Venkatesh
STOC
2002
ACM
117views Algorithms» more  STOC 2002»
16 years 8 days ago
Hardness amplification within NP
We study the average-case hardness of the class NP against deterministic polynomial time algorithms. We prove that there exists some constant ? > 0 such that if there is some l...
Ryan O'Donnell
75
Voted
STOC
2002
ACM
115views Algorithms» more  STOC 2002»
16 years 8 days ago
Reimer's inequality and tardos' conjecture
Let f : {0, 1}n {0, 1} be a boolean function. For 0 let D (f) be the minimum depth of a decision tree for f that makes an error for fraction of the inputs x {0, 1}n . We also ma...
Clifford D. Smyth
STOC
2002
ACM
91views Algorithms» more  STOC 2002»
16 years 8 days ago
New results on monotone dualization and generating hypergraph transversals
This paper considers the problem of dualizing a monotone CNF (equivalently, computing all minimal transversals of a hypergraph), whose associated decision problem is a prominent o...
Thomas Eiter, Georg Gottlob, Kazuhisa Makino