Boolean Function Complexity

Advances and Frontiers

Authors:

ISBN: 978-3-642-24507-7 (Print) 978-3-642-24508-4 (Online)

Table of contents (20 chapters)

  1. Front Matter

    Pages i-xv

  2. The Basics

    1. Front Matter

      Pages 1-1

    2. No Access

      Book Chapter

      Pages 3-53

      Our Adversary: The Circuit

    3. No Access

      Book Chapter

      Pages 55-77

      Analysis of Boolean Functions

  3. Communication Complexity

    1. Front Matter

      Pages 79-79

    2. No Access

      Book Chapter

      Pages 81-92

      Games on Relations

    3. No Access

      Book Chapter

      Pages 93-134

      Games on 0-1 Matrices

    4. No Access

      Book Chapter

      Pages 135-156

      Multi-Party Games

  4. Circuit Complexity

    1. Front Matter

      Pages 157-157

    2. No Access

      Book Chapter

      Pages 159-203

      Formulas

    3. No Access

      Book Chapter

      Pages 205-228

      Monotone Formulas

    4. No Access

      Book Chapter

      Pages 229-243

      Span Programs

    5. No Access

      Book Chapter

      Pages 245-284

      Monotone Circuits

    6. No Access

      Book Chapter

      Pages 285-300

      The Mystery of Negations

  5. Bounded Depth Circuits

    1. Front Matter

      Pages 301-301

    2. No Access

      Book Chapter

      Pages 303-338

      Depth-3 Circuits

    3. No Access

      Book Chapter

      Pages 339-369

      Large-Depth Circuits

    4. No Access

      Book Chapter

      Pages 371-402

      Circuits with Arbitrary Gates

  6. Branching Programs

    1. Front Matter

      Pages 403-403

    2. No Access

      Book Chapter

      Pages 405-437

      Decision Trees

    3. No Access

      Book Chapter

      Pages 439-455

      General Branching Programs

    4. No Access

      Book Chapter

      Pages 457-478

      Bounded Replication

    5. No Access

      Book Chapter

      Pages 479-490

      Bounded Time

  7. Fragments of Proof Complexity

    1. Front Matter

      Pages 491-491

    2. No Access

      Book Chapter

      Pages 493-519

      Resolution

    3. No Access

      Book Chapter

      Pages 521-556

      Cutting Plane Proofs

    4. No Access

      Book Chapter

      Pages 557-573

      Epilogue

  8. Back Matter

    Pages 575-617