Der Artikel ist weiterhin als ^^OTHERCONDITION^^ verfügbar.
Autor: Ilario Bonacina
ISBN-13: 9783319734521
Einband: Book
Seiten: 130
Gewicht: 383 g
Format: 244x159x17 mm
Sprache: Englisch

Space in Weak Propositional Proof Systems

82,38 €*
Proof complexity is a research area that studies the concept of complexity from the point of view of logic
Introduction.- Total Space in Resolution.- Space in Polynomial Calculus.- Space Lower Bounds: Applications.- A Postlude: SETH and Resolution Size.
This book considers logical proof systems from the point of view of their space complexity. After an introduction to propositional proof complexity the author structures the book into three main parts. Part I contains two chapters on resolution, one containing results already known in the literature before this work and one focused on space in resolution, and the author then moves on to polynomial calculus and its space complexity with a focus on the combinatorial technique to prove monomial space lower bounds. The first chapter in Part II addresses the proof complexity and space complexity of the pigeon principles. Then there is an interlude on a new type of game, defined on bipartite graphs, essentially independent from the rest of the book, collecting some results on graph theory. Finally Part III analyzes the size of resolution proofs in connection with the Strong Exponential Time Hypothesis (SETH) in complexity theory.
Autor: Ilario Bonacina
Ilario Bonacina did his PhD at the Computer Science Department at Sapienza Università di Roma under the supervision of Nicola Galesi. After a postdoc in the Theoretical Computer Science Group at KTH Royal Institute of Technology (Stockholm), he is currently a postdoc in the Computer Science Department at Universitat Politècnica de Catalunya (Barcelona). His research interests include computational complexity and mathematical logic.

Zu diesem Artikel ist noch keine Rezension vorhanden.
Helfen sie anderen Besuchern und verfassen Sie selbst eine Rezension.



Autor: Ilario Bonacina
ISBN-13:: 9783319734521
ISBN: 3319734520
Erscheinungsjahr: 24.01.2018
Verlag: Springer-Verlag GmbH
Gewicht: 383g
Seiten: 130
Sprache: Englisch
Auflage 2018
Sonstiges: Buch, 244x159x17 mm, Bibliographie