• Kapcsolat

  • Hírlevél

  • Rólunk

  • Szállítási lehetőségek

  • Hírek

  • 0
    Proof Complexity Generators

    Proof Complexity Generators by Krajíek, Jan;

    Sorozatcím: London Mathematical Society Lecture Note Series; 497;

      • 10% KEDVEZMÉNY?

      • A kedvezmény csak az 'Értesítés a kedvenc témákról' hírlevelünk címzettjeinek rendeléseire érvényes.
      • Kiadói listaár GBP 45.00
      • Az ár azért becsült, mert a rendelés pillanatában nem lehet pontosan tudni, hogy a beérkezéskor milyen lesz a forint árfolyama az adott termék eredeti devizájához képest. Ha a forint romlana, kissé többet, ha javulna, kissé kevesebbet kell majd fizetnie.

        22 774 Ft (21 690 Ft + 5% áfa)
      • Kedvezmény(ek) 10% (cc. 2 277 Ft off)
      • Discounted price 20 497 Ft (19 521 Ft + 5% áfa)

    Beszerezhetőség

    Még nem jelent meg, de rendelhető. A megjelenéstől számított néhány héten belül megérkezik.

    Why don't you give exact delivery time?

    A beszerzés időigényét az eddigi tapasztalatokra alapozva adjuk meg. Azért becsült, mert a terméket külföldről hozzuk be, így a kiadó kiszolgálásának pillanatnyi gyorsaságától is függ. A megadottnál gyorsabb és lassabb szállítás is elképzelhető, de mindent megteszünk, hogy Ön a lehető leghamarabb jusson hozzá a termékhez.

    A termék adatai:

    • Kiadó Cambridge University Press
    • Megjelenés dátuma 2025. május 31.

    • ISBN 9781009611701
    • Kötéstípus Puhakötés
    • Terjedelem143 oldal
    • Nyelv angol
    • 700

    Kategóriák

    Rövid leírás:

    Discover a state-of-the-art theory aiming to construct hard propositional tautologies needed to solve the NP vs. coNP problem.

    Több

    Hosszú leírás:

    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.

    Több

    Tartalomjegyzék:

    1. Introduction; 2. The dWPHP problem; 3. &&&964;-formulas and generators; 4. The stretch; 5. Nisan-Wigderson generator; 6. Gadget generator; 7. The case of ER; 8. Consistency results; 9. Contexts; 10. Further research; Special symbols; References; Index.

    Több
    Mostanában megtekintett
    previous
    Proof Complexity Generators

    Proof Complexity Generators

    Krajíek, Jan;

    22 774 Ft

    The Handbook of Research in World Language Instruction

    The Handbook of Research in World Language Instruction

    Russell, Victoria; Murphy-Judy, Kathryn; John Troyan, Francis;(ed.)

    126 525 Ft

    Polygraphs: From Rewriting to Higher Categories

    Polygraphs: From Rewriting to Higher Categories

    Ara, Dimitri; Burroni, Albert; Guiraud, Yves;

    45 549 Ft

    Geometry and Non-Convex Optimization

    Geometry and Non-Convex Optimization

    Pardalos, Panos M.; Rassias, Themistocles M.; (ed.)

    90 774 Ft

    The Handbook of Research in World Language Instruction

    The Handbook of Research in World Language Instruction

    Russell, Victoria; Murphy-Judy, Kathryn; John Troyan, Francis;(ed.)

    50 610 Ft

    Introduction to Aeroelasticity

    Introduction to Aeroelasticity

    DeLaurier, James;

    50 604 Ft

    next