Some Subsystems of Constant-Depth Frege with Parity
نویسندگان
چکیده
منابع مشابه
Bounded Arithmetic and Constant Depth Frege Proofs
We discuss the Paris-Wilkie translation from bounded arithmetic proofs to bounded depth propositional proofs in both relativized and non-relativized forms. We describe normal forms for proofs in bounded arithmetic, and a definition of Σ -depth for PK-proofs that makes the translation from bounded arithmetic to propositional logic particularly transparent. Using this, we give new proofs of the w...
متن کاملApproximation and Small Depth Frege Proofs
Ajtai [Ajt] recently proved that if for some fixed d, every formula in a Frege proof of the propositional pigeonhole principle PHP, has depth at most d, then the proof size is not less than any polynomial in n. By introducing the notion of an “approximate proof” we demonstrate how to eliminate the non-standard model theory, including the non-constructive use of the compactness theorem, from Ajt...
متن کاملLower Bounds for a Proof System with an Expentential Speed-up over Constant-Depth Frege Systems and over Polynomial Calculus
We prove lower bounds for a proof system having exponential speed-up over both polynomial calculus and constant-depth Frege systems in DeMorgan language.
متن کاملInstructor : Emanuele Viola Scribe : Eric Miles Parity requires large constant - depth circuits ( II ) Correlation bounds for parity
Then, let q(x) = ∑ m∈M (am ·m(x)) be the weighted sum of these monomials, for a set of weights {am}m∈M . We want to choose the weights in order to give q the properties already stated, which is equivalent to finding a non-trivial solution to a certain system of equations. Denote S = {s1, . . . , s|S|} and M = {m1, . . . ,m|M |}. Then, the system of equations we would like to solve is m1(s1...
متن کاملEffects of Upward Seepage on Depth of Scour Hole Downstream of Free Falling Jets Under Constant Tail Water Depth
rade control structures are used to control bed erosion in steep small rivers mostly in the mountains. Scour downstream of this structure can lead to failure. Over the past years, the effect of different variables on this phenomena have been studied, however the effect of upward seepage which is common due to head difference of the banks water table or water surface level between the upstream a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Computational Logic
سال: 2018
ISSN: 1529-3785,1557-945X
DOI: 10.1145/3243126