Proof Complexity Generators

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F25%3A10509699" target="_blank" >RIV/00216208:11320/25:10509699 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1017/9781009611664" target="_blank" >http://dx.doi.org/10.1017/9781009611664</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1017/9781009611664" target="_blank" >10.1017/9781009611664</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Proof Complexity Generators

Popis výsledku v původním jazyce

The P vs. NP problem is one of the fundamental problems of mathematics. It asks whether propositional tautologies can be recognized by a polynomial-time algorithm. The problem would be solved in the negative if one could show that there are propositional tautologies that are very hard to prove, no matter how powerful the proof system you use. This is the foundational problem (the NP vs. coNP problem) of proof complexity, an area linking mathematical logic and computational complexity theory. Written by a leading expert in the field, this book presents a theory for constructing such hard tautologies. It introduces the theory step by step, starting with the historic background and a motivational problem in bounded arithmetic, before taking the reader on a tour of various vistas of the field. Finally, it formulates several research problems to highlight new avenues of research.

Název v anglickém jazyce

Proof Complexity Generators

Popis výsledku anglicky

The P vs. NP problem is one of the fundamental problems of mathematics. It asks whether propositional tautologies can be recognized by a polynomial-time algorithm. The problem would be solved in the negative if one could show that there are propositional tautologies that are very hard to prove, no matter how powerful the proof system you use. This is the foundational problem (the NP vs. coNP problem) of proof complexity, an area linking mathematical logic and computational complexity theory. Written by a leading expert in the field, this book presents a theory for constructing such hard tautologies. It introduces the theory step by step, starting with the historic background and a motivational problem in bounded arithmetic, before taking the reader on a tour of various vistas of the field. Finally, it formulates several research problems to highlight new avenues of research.

Druh

B - Odborná kniha

CEP obor

—

OECD FORD obor

10101 - Pure mathematics

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2025

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

ISBN

978-1-00-961170-1

Počet stran knihy

134

Název nakladatele

Cambridge University Press

Místo vydání

Velká Británie

Kód UT WoS knihy

—