Fortell venner om denne varen:
Proof Complexity Generators - London Mathematical Society Lecture Note Series
Krajicek, Jan (Charles University, Prague)
Pris
NOK 599
Bestillingsvarer
Forventes levert 17. - 24. okt
Legg til iMusic ønskeliste
eller
Proof Complexity Generators - London Mathematical Society Lecture Note Series
Krajicek, Jan (Charles University, Prague)
This book presents a state-of-the-art theory in the field of proof complexity, aiming to construct hard propositional tautologies needed to solve the P vs. NP problem in the negative. The theory is introduced step by step, starting with the historic background, and several potential new avenues of research are highlighted.
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 26. juni 2025 |
| ISBN13 | 9781009611701 |
| Utgivere | Cambridge University Press |
| Antall sider | 134 |
| Mål | 153 × 228 × 9 mm · 206 g |
Vis alle
Mer med Krajicek, Jan (Charles University, Prague)
Se alt med Krajicek, Jan (Charles University, Prague) ( f.eks. Pocketbok og Innbunden bok )