Space in Polynomial Calculus

Chapter

Abstract

In this chapter we consider in detail the propositional proof system polynomial calculus, briefly introduced in Sect. 1.1.2. We introduce some complexity measures—size, degree, monomial space and total space—and we show some techniques useful to prove lower bounds on those.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.Departament de Ciències de la ComputacióUniversitat Politècnica de CatalunyaBarcelonaSpain

Personalised recommendations