See this document in CiteSeerX!

Non-cancellative Boolean Circuits: A Generalization of Monotone Boolean Circuits  (Make Corrections)  
Rimli Sengupta, H. Venkateswaran
Theoretical Computer Science



  Home/Search   Context   Related

 
View or download:
washington.edu/homes/rimli/p...manus.ps
washington.edu/homes/rimli/p...canc.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  washington.edu/homes/rimli/ (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Cancellations are known to be helpful in efficient algebraic computation of polynomials over fields. We define a notion of cancellation in Boolean circuits and define Boolean circuits that do not use cancellation to be non-cancellative. Non-cancellative Boolean circuits are a natural generalization of monotone Boolean circuits. We show that in the absence of cancellation, Boolean circuits require super-polynomial size to compute the determinant interpreted over GF(2). This non-monotone... (Update)

Active bibliography (related documents):   More   All
0.5:   Monotone Separation of Logarithmic Space from Logarithmic Depth - Grigni, Sipser (1995)   (Correct)
0.2:   Computing Non-ground Representations of Stable Models - Eiter, Lu, Subrahmanian (1997)   (Correct)
0.2:   Conflictfreeness as a Basis for Schema Integration - Ekenberg, Johannesson (1995)   (Correct)

Similar documents based on text:   More   All
0.2:   Cancellation Is Exponentially Powerful for Computing the.. - Sengupta (1997)   (Correct)
0.2:   On Learning Monotone Boolean Functions - Blum, Burch, Langford (1998)   (Correct)
0.2:   A Lower Bound for Monotone Arithmetic Circuits Computing.. - Sengupta, Venkateswaran   (Correct)

BibTeX entry:   (Update)

@article{ sengupta00noncancellative,
    author = "Rimli Sengupta and H. Venkateswaran",
    title = "Non-cancellative {Boolean} circuits: {A} generalization of monotone {Boolean} circuits",
    journal = "Theoretical Computer Science",
    volume = "237",
    number = "1--2",
    pages = "197--212",
    year = "2000",
    url = "citeseer.ist.psu.edu/295589.html" }
Citations (may not include all citations):
83   The monotone circuit complexity of Boolean functions (context) - Alon, Boppana - 1987
52   A very hard log space counting class (context) - Alvarez, Jenner - 1990
48   Two applications of inductive counting for complementation p.. (context) - Borodin, Cook et al. - 1989
26   Monotone versus positive (context) - Ajtai, Gurevich - 1987
25   Structure and importance of the logspaceMOD class (context) - Buntrock, Damm et al. - 1992
19   Superpolynomial lower bounds for monotone span programs - Babai, Gal et al. - 1996
13   Monotone separation of Logspace from NC (context) - Grigni, Sipser
5   A catalogue of complexity classes (context) - Johnson - 1990
2   Structure in monotone complexity - Grigni - 1991

Documents on the same site (http://www.cs.washington.edu/homes/rimli/):   More
Comparative Performance Evaluation of Routing.. - Das.. (1998)   (Correct)
A Lower Bound for Monotone Arithmetic Circuits Computing.. - Sengupta, Venkateswaran   (Correct)
Cancellation Is Exponentially Powerful for Computing the.. - Rimli Sengupta Dept   (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