History


Please fill in your query. A complete syntax description you will find on the General Help page.
Random CNF’s are hard for the polynomial calculus. (English)
Comput. Complexity 19, No. 4, 501-519 (2010).
Summary: We prove linear lower bounds on the Polynomial Calculus (PC) refutation-degree of random CNF whenever the underlying field has characteristic greater than 2. Our proof follows by showing the PC refutation-degree of an unsatisfiable system of linear equations modulo 2 is equivalent to its Gaussian width, a concept defined by the late Mikhail Alekhnovich. The equivalence of refutation-degree and Gaussian width, which is the main contribution of this paper, allows us to also simplify the refutation-degree lower bounds of {\it S. Buss} et al. [J. Comput. Syst. Sci. 62, No.~2, 267‒289 (2001; Zbl Zbl 1007.03052)] and additionally prove non-trivial upper bounds on the resolution and PC complexity of refuting unsatisfiable systems of linear equations.
WorldCat.org
Valid XHTML 1.0 Transitional Valid CSS!