Results 1  10
of
19
Uniform ConstantDepth Threshold Circuits for Division and Iterated Multiplication
, 2002
"... this paper. 2.1. Circuit Classes We begin by formally defining the three circuit complexity classes that will concern us here. These are given by combinatorial restrictions on the circuits of the family. We will then define the uniformity restrictions we will use. Finally, we will give the equival ..."
Abstract

Cited by 38 (8 self)
 Add to MetaCart
this paper. 2.1. Circuit Classes We begin by formally defining the three circuit complexity classes that will concern us here. These are given by combinatorial restrictions on the circuits of the family. We will then define the uniformity restrictions we will use. Finally, we will give the equivalent formulations of uniform circuit complexity classes in terms of descriptive complexity classes
Power from Random Strings
 IN PROCEEDINGS OF THE 43RD IEEE SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE
, 2002
"... We show that sets consisting of strings of high Kolmogorov complexity provide examples of sets that are complete for several complexity classes under probabilistic and nonuniform reductions. These sets are provably not complete under the usual manyone reductions. Let ..."
Abstract

Cited by 36 (15 self)
 Add to MetaCart
We show that sets consisting of strings of high Kolmogorov complexity provide examples of sets that are complete for several complexity classes under probabilistic and nonuniform reductions. These sets are provably not complete under the usual manyone reductions. Let
Reductions in Circuit Complexity: An Isomorphism Theorem and a Gap Theorem
 Journal of Computer and System Sciences
"... We show that all sets that arecomplete for NP under nonuniform AC are isomorphic under nonuniform AC computable isomorphisms. Furthermore, these sets remain NPcomplete even under nonuniform NC reductions. ..."
Abstract

Cited by 30 (12 self)
 Add to MetaCart
We show that all sets that arecomplete for NP under nonuniform AC are isomorphic under nonuniform AC computable isomorphisms. Furthermore, these sets remain NPcomplete even under nonuniform NC reductions.
Arithmetic circuits and counting complexity classes
 In Complexity of Computations and Proofs,J.Krajíček, Ed. Quaderni di Matematica
"... Arithmetic circuits are the focus of renewed attention in the complexity theory community. It is easy to list a few of the reasons for the increased interest: • Innovative work by Kabanets and Impagliazzo [KI03] shows that, in ..."
Abstract

Cited by 17 (3 self)
 Add to MetaCart
Arithmetic circuits are the focus of renewed attention in the complexity theory community. It is easy to list a few of the reasons for the increased interest: • Innovative work by Kabanets and Impagliazzo [KI03] shows that, in
Proofs, Codes, and PolynomialTime Reducibilities
"... We show how to construct proof systems for NP languages where a deterministic polynomialtime verifier can check membership, given any N (2=3)+ffl bits of an N bit witness of membership. ..."
Abstract

Cited by 12 (0 self)
 Add to MetaCart
We show how to construct proof systems for NP languages where a deterministic polynomialtime verifier can check membership, given any N (2=3)+ffl bits of an N bit witness of membership.
Comparing reductions to NPcomplete sets
 Electronic Colloquium on Computational Complexity
, 2006
"... Under the assumption that NP does not have pmeasure 0, we investigate reductions to NPcomplete sets and prove the following: (1) Adaptive reductions are more powerful than nonadaptive reductions: there is a problem that is Turingcomplete for NP but not truthtablecomplete. (2) Strong nondetermin ..."
Abstract

Cited by 12 (4 self)
 Add to MetaCart
Under the assumption that NP does not have pmeasure 0, we investigate reductions to NPcomplete sets and prove the following: (1) Adaptive reductions are more powerful than nonadaptive reductions: there is a problem that is Turingcomplete for NP but not truthtablecomplete. (2) Strong nondeterministic reductions are more powerful than deterministic reductions: there is a problem that is SNPcomplete for NP but not Turingcomplete. (3) Every problem that is manyone complete for NP is complete under lengthincreasing reductions that are computed by polynomialsize circuits. The first item solves one of Lutz and Mayordomo’s “Twelve Problems in ResourceBounded Measure ” (1999). We also show that every manyone complete problem for NE is complete under onetoone, lengthincreasing reductions that are computed by polynomialsize circuits. 1
A Lower Bound for Primality
, 1999
"... Recent work by Bernasconi, Damm and Shparlinski proved lower bounds on the circuit complexity of the squarefree numbers, and raised as an open question if similar (or stronger) lower bounds could be proved for the set of prime numbers. In this short note, we answer this question affirmatively, by s ..."
Abstract

Cited by 11 (5 self)
 Add to MetaCart
Recent work by Bernasconi, Damm and Shparlinski proved lower bounds on the circuit complexity of the squarefree numbers, and raised as an open question if similar (or stronger) lower bounds could be proved for the set of prime numbers. In this short note, we answer this question affirmatively, by showing that the set of prime numbers (represented in the usual binary notation) is not contained in AC 0 [p] for any prime p. Similar lower bounds are presented for the set of squarefree numbers, and for the problem of computing the greatest common divisor of two numbers. 1 Introduction What is the computational complexity of the set of prime numbers? There is a large body of work presenting important upper bounds on the complexity of the set of primes (including [AH87, APR83, Mil76, R80, SS77]), but  Supported in part by NSF grant CCR9734918. y Supported in part by NSF grant CCR9700239. z Supported in part by ARC grant A69700294. as was pointed out recently in [BDS98a, BDS9...
The Descriptive Complexity Approach to LOGCFL
, 1998
"... Building upon the known generalizedquantifierbased firstorder characterization of LOGCFL, we lay the groundwork for a deeper investigation. Specifically, we examine subclasses of LOGCFL arising from varying the arity and nesting of groupoidal quantifiers. Our work extends the elaborate theory ..."
Abstract

Cited by 11 (5 self)
 Add to MetaCart
Building upon the known generalizedquantifierbased firstorder characterization of LOGCFL, we lay the groundwork for a deeper investigation. Specifically, we examine subclasses of LOGCFL arising from varying the arity and nesting of groupoidal quantifiers. Our work extends the elaborate theory relating monoidal quantifiers to NC and its subclasses. In the absence of the BIT predicate, we resolve the main issues: we show in particular that no single outermost unary groupoidal quantifier with FO can capture all the contextfree languages, and we obtain the surprising result that a variant of Greibach's "hardest contextfree language" is LOGCFLcomplete under quantifierfree BITfree projections. We then prove that FO with unary groupoidal quantifiers is strictly more expressive with the BIT predicate than without. Considering a particular groupoidal quantifier, we prove that firstorder logic with majority of pairs is strictly more expressive than firstorder with major...
Constantdepth circuits for arithmetic in finite fields of characteristic two
 In Proceedings of the 23rd International Symposium on Theoretical Aspects of Computer Science (STACS), Lecture Notes in Computer Science
, 2006
"... We study the complexity of arithmetic in finite fields of characteristic two, F2n. We concentrate on the following two problems: • Iterated Multiplication: Given α1, α2,...,αt ∈ F2 n, compute α1 · α2 · · ·αt ∈ F2 n. • Exponentiation: Given α ∈ F2 n and a tbit integer k, compute αk ∈ F2 n. ..."
Abstract

Cited by 11 (6 self)
 Add to MetaCart
We study the complexity of arithmetic in finite fields of characteristic two, F2n. We concentrate on the following two problems: • Iterated Multiplication: Given α1, α2,...,αt ∈ F2 n, compute α1 · α2 · · ·αt ∈ F2 n. • Exponentiation: Given α ∈ F2 n and a tbit integer k, compute αk ∈ F2 n.
Some Pointed Questions Concerning Asymptotic Lower Bounds, And News From The Isomorphism Front
 Current Trends in Theoretical Computer Science
, 2001
"... this article, we now know that such problems are all isomorphic to the standard complete set for the complexity class, under depththree AC ..."
Abstract

Cited by 4 (1 self)
 Add to MetaCart
this article, we now know that such problems are all isomorphic to the standard complete set for the complexity class, under depththree AC