Proof Complexity Generators

Autor Julie Moreau

Proof Complexity Generators - Julie Moreau Nedostupné

Proof Complexity Generators

Autor Julie Moreau

0.0 z 5 hvězdiček 0 hodnocení čtenářů

Kniha ( měkká vazba )

    • Produkt je nedostupný.
E-shopové listy

Při zaslání zboží balíčkem

K nákupu nad 99 Kč dárek zdarma v hodnotě 19 Kč

E-shopové listy

Prokletí Harrow Lake

Při zaslání zboží balíčkem

K nákupu nad 2199 Kč dárek zdarma v hodnotě 349 Kč

Prokletí Harrow Lake

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.… Přejít na celý popis

Caught Up: V pasti Deset let ji tajně sleduje a anonymně s ní komunikuje. Když se Nico objeví v jejím klubu v masce, Lauren odhalí jeho identitu. A také to, že může mít prsty ve vraždě jejího otce… Více informací

K tomuto produktu zákazníci kupují

Popis Hodnocení 0.0 z 5 hvězdiček 0 Vývoj ceny

Popis

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.

Sdílet

kategorie
Knihy » Cizojazyčná literatura » English literature
Témata
Nakladatel
Cambridge
Rozměr
153 x 228 x 9
jazyk
angličtina
Vazba
měkká vazba
Hmotnost
206 g
isbn
978-1-00-961170-1
Počet stran
134
datum vydání
26.06.2025
ean
9781009611701

Hodnocení a recenze čtenářů Nápověda

0.0 z 5 0 hodnocení čtenářů

0× 5 hvězdiček 0× 4 hvězdičky 0× 3 hvězdičky 0× 2 hvězdičky 0× 1 hvezdička

Přidejte své hodnocení knihy

Načíst další hodnocení

Zobrazit všechna hodnocení

Přidat hodnocení

Vývoj ceny

Vývoj ceny Nápověda

Získejte přehled o vývoji ceny za posledních 60 dní.

Maloobchodní cena Minimální prodejní cena: 0 Kč Nápověda

Články, které stojí za pozornost

Zobrazit blog

Články, které stojí za pozornost