(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