Sciweavers

CC
2007
Springer
13 years 12 months ago
The Resolution Complexity of Independent Sets and Vertex Covers in Random Graphs
Paul Beame, Russell Impagliazzo, Ashish Sabharwal
CC
2006
Springer
147views System Software» more  CC 2006»
13 years 12 months ago
Complexity of Ring Morphism Problems
Abstract. We study the complexity of the isomorphism and automorphism problems for finite rings. We show that both integer factorization and graph isomorphism reduce to the problem...
Neeraj Kayal, Nitin Saxena
CC
2006
Springer
101views System Software» more  CC 2006»
13 years 12 months ago
Inductive Time-Space Lower Bounds for Sat and Related Problems
We improve upon indirect diagonalization arguments for lower bounds on explicit problems within the polynomial hierarchy. Our contributions are summarized as follows.
Ryan Williams
CC
2006
Springer
108views System Software» more  CC 2006»
13 years 12 months ago
Languages to diagonalize against advice classes
Variants of Kannan's Theorem are given where the circuits of the original theorem are replaced by arbitrary recursively presentable classes of languages that use advice string...
Chris Pollett
CC
2006
Springer
133views System Software» more  CC 2006»
13 years 12 months ago
The complexity of chromatic strength and chromatic edge strength
The sum of a coloring is the sum of the colors assigned to the vertices (assuming that the colors are positive integers). The sum (G) of graph G is the smallest sum that can be ach...
Dániel Marx
CC
2006
Springer
123views System Software» more  CC 2006»
13 years 12 months ago
On the complexity of approximating k-set packing
Given a k-uniform hypergraph, the Maximum k-Set Packing problem is to find the maximum disjoint set of edges. We prove that this problem cannot be efficiently approximated to with...
Elad Hazan, Shmuel Safra, Oded Schwartz
CC
2006
Springer
125views System Software» more  CC 2006»
13 years 12 months ago
A tight lower bound for restricted pir protocols
We show that any 1-round 2-server Private Information Retrieval Protocol where the answers are 1-bit long must ask questions that are at least n - 2 bits long, which is nearly equa...
Richard Beigel, Lance Fortnow, William I. Gasarch
CC
2008
Springer
133views System Software» more  CC 2008»
13 years 12 months ago
Hardness Amplification via Space-Efficient Direct Products
We prove a version of the derandomized Direct Product lemma for deterministic space-bounded algorithms. Suppose a Boolean function g : {0, 1}n {0, 1} cannot be computed on more th...
Venkatesan Guruswami, Valentine Kabanets