Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Lower Bounds for Polynomial Calculus: NonBinomial Case

Summary: Lower Bounds for Polynomial Calculus:
Non­Binomial Case
Michael Alekhnovich # , Alexander A. Razborov +
September 27, 2000
We generalize recent linear lower bounds for Polynomial Calculus
based on binomial ideals. We produce a general hardness criterion
(that we call immunity) which is satisfied by a random function and
prove linear lower bounds on the size of PC refutations for a wide class
of tautologies based on immune functions. As some applications of our
techniques, we introduce mod p Tseitin tautologies in the Boolean case
(e.g. in the presence of axioms x 2
= x i ), prove that they are hard for
PC over fields with characteristic di#erent from p, and generalize them
to Flow tautologies which are based on the MAJORITY function and
are proved to be hard over any field. We also show
the# n) lower
bound for random k­CNF's over fields of characteristic 2.
1 Introduction


Source: Alekhnovich, Michael - Institute for Advanced Study, Princeton University


Collections: Mathematics; Computer Technologies and Information Sciences