(Enter summary)
Abstract: Recent work by Bernasconi, Damm and Shparlinski showed that
the set of square-free numbers is not in AC
, and raised as an open
question whether similar (or stronger) lower bounds could be proved
for the set of prime numbers. In this note, we show that the Boolean
majority function is AC
-Turing reducible to the set of prime numbers
(represented in binary). From known lower bounds on Maj (due to
Razborov and Smolensky) we conclude that primality cannot be tested
in AC
[p] for... (Update)
Context of citations to this paper: More
...proved in [3, 4] that g does not belong to the class AC 0 . On the other hand, even a stronger result has recently been obtained in [1]. 2 Basic Definitions Let B n = f0; 1g n denote the n dimensional Boolean cube. For a binary vector a 2 B n we denote by a (i) the vector...
.... is known, see [19] Some results of this paper have recently been generalized in [6] Several more relevant results can also be found in [1, 7]. 2 Basic Definitions Let Bn = f0; 1g n denote the n dimensional Boolean cube. We will use the notation jf j to denote the number of...
Cited by: More
On the Complexity of Some Arithmetic Problems over F2[T] - Allender, Bernasconi, Damm, ..
(Correct)
Subset Sum "cubes" and the Complexity of Prime Testing. - Woods (2000)
(Correct)
Communication Complexity And Fourier Coefficients Of The.. - Shparlinski (2000)
(Correct)
Similar documents (at the sentence level):
11.5%: A Lower Bound for Primality - Allender, Saks, al. (1999)
(Correct)
Active bibliography (related documents): More All
0.4: Circuit Complexity of Testing Square-Free Numbers - Bernasconi, Shparlinski (1999)
(Correct)
0.3: On Polynomial Representations of Boolean Functions Related to.. - Shparlinski (1998)
(Correct)
0.3: On the Average Sensitivity of Testing Square-Free Numbers - Bernasconi, Damm, al. (1998)
(Correct)
Similar documents based on text: More All
0.3: Time-Space Tradeoffs in the Counting Hierarchy - Allender, Kouck, Ronneburger (2001)
(Correct)
0.2: Reducing the Complexity of Reductions - Agrawal, Allender, Impagliazzo, al. (1997)
(Correct)
0.2: Uniform Circuits for Division: Consequences and Problems - Allender, Barrington, Hesse (2000)
(Correct)
Related documents from co-citation: More All
4: Constant depth circuits, Fourier transform, and learnability (context) - Linial, Mansour et al. - 1993
4: The average sensitivity of bounded-depth circuits (context) - Boppana - 1997
4: Circuit and decision tree complexity of some number theoretic problems
- Bernasconi, Damm et al. - 1998
BibTeX entry: (Update)
E. Allender, M. Saks and I. E. Shparlinski, `A lower bound for primality', Proc. IEEE Conf. on Comp. Compl., IEEE, 1999 (to appear). http://citeseer.ist.psu.edu/allender99lower.html More
@article{ allender99lower,
author = "Eric Allender and Igor Shparlinski and Michael E. Saks",
title = "A Lower Bound for Primality",
journal = "Electronic Colloquium on Computational Complexity (ECCC)",
volume = "6",
number = "010",
year = "1999",
url = "citeseer.ist.psu.edu/allender99lower.html" }
Citations (may not include all citations):
189
Algebraic methods in the theory of lower bounds for Boolean .. (context) - Smolensky - 1987
92
Riemann's hypothesis and tests for primality (context) - Miller - 1976
92
Constant depth reducibility (context) - Chandra, Stockmeyer et al. - 1984
70
Two theorems on random polynomial time (context) - Adleman - 1978
66
A fast Monte Carlo test for primality (context) - Solovay, Strassen
57
and Circuit Complexity (context) - Straubing, Automata et al. - 1994
54
Lower bounds on the size of bounded depth networks over a co.. (context) - Razborov
51
On distinguishing prime numbers from composite numbers (context) - Adleman, Pomerance et al. - 1987
36
Recognizing primes in random polynomial time (context) - Adleman, Huang - 1987
28
Springer-Verlag (context) - Prachar - 1957
18
Number theoretic methods in cryptography: Complexity lower b.. (context) - Shparlinski - 1999
15
One-way functions and circuit complexity (context) - Boppana, Lagarias - 1987
14
Reducing the complexity of reductions
- Agrawal, Allender et al. - 1997
10
Circuit complexity of testing square-free numbers
- Bernasconi, Shparlinski - 1999
9
On polynomial representations of Boolean functions related t..
- Shparlinski - 1998
9
Circuit and decision tree complexity of some number theoreti..
- Bernasconi, Damm et al. - 1998
8
On tape bounds for single letter alphabet language processin.. (context) - Hartmanis, Berman - 1976
8
Probabilistic algorithm for primality testing (context) - Rabin - 1980
8
Reductions in circuit complexity: An isomorphism theorem and..
- Agrawal, Allender et al. - 1998
7
the average sensitivity of testing square-free numbers
- Bernasconi, Damm et al. - 1999
5
Computational Complexity Column
- Allender, the et al. - 1998
5
Lower bounds for arithmetic problems (context) - Meidanis - 1991
5
the recognition of primes by automata (context) - Hartmanis, Shank - 1968
4
Two infinite sets of primes with fast primality tests (context) - Pintz, Steiger et al. - 1989
3
the circuit complexity of primality (context) - Lipton, Viglas
3
Circuits in bounded arithmetic (context) - Mantzivis - 1992
2
The average sensitivity of square-freeness (context) - Bernasconi, Damm et al. - 1999
2
the number of primes in an arithmetic progression (context) - Page - 1935
Documents on the same site (http://athos.rutgers.edu/~allender/publications/complete_list.html): More
Limitations of the Upward Separation Technique - Allender (1990)
(Correct)
A Note on the Representational Incompatibility of Function.. - Allender, Kearns (2002)
(Correct)
Algebraic Methods for Proving Lower Bounds in Circuit Complexity - Allender
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC