***
Proof Complexity Generators, Paperback
d0e779fa-cfb5-54e5-825a-53d21d4fef18
Vândut si livrat de:
Elefant
Cost livrare: va fi calculat in pagina de comanda.
324,99 lei
+325 puncte
|
|---|
room
Livrare gratuită
în Pickup Point de la 49.99 lei
swap_vertical_circle
Retur gratuit
Conform Termeni și condiții
assignment_turned_in
Verificare colet
Înainte de plată TEST
Descriere
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.
mai multmai putin more_horiz
- Publisher: Cambridge University Press
- Author(s): Jan (Charles University, Prague) Krajicek
- Illustration(s): Worked examples or Exercises
- Number of pages: 134
- Collection: London Mathematical Society Lecture Note Series
- Publication date: 2025
- Dimensions: 228 x 153 x 9
- Cover type: Paperback / softback
Detalii
- Autor
- ***
- Editura
- Cambridge University Press
- Colectie
- London Mathematical Society Lecture Note Series
- Anul aparitiei
- 2.025
- Luna aparitiei
- 6
- Tip coperta
- Brosata
- Numar de pagini
- 134
- Format
- 228 x 153
- ISBN
- 1009611704
- Cod de bare
- 9781009611701
- Tara de origine
- Marea Britanie