See this document in CiteSeerX!

A Lower Bound for Primality (1999)  (Make Corrections)  (5 citations)
Eric Allender + Dept. of Computer Science Rutgers University...
Electronic Colloquium on Computational Complexity (ECCC)



  Home/Search   Context   Related

 
View or download:
rutgers.edu/pub/allender/primes.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  rutgers.edu/~alle...complete_list (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(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