An Introduction to Circuit Complexity and a Guide to Håstad's Proof
Author | : Allan Heydon |
Publisher | : |
Total Pages | : 55 |
Release | : 1990 |
ISBN-10 | : OCLC:22716303 |
ISBN-13 | : |
Rating | : 4/5 ( Downloads) |
Download or read book An Introduction to Circuit Complexity and a Guide to Håstad's Proof written by Allan Heydon and published by . This book was released on 1990 with total page 55 pages. Available in PDF, EPUB and Kindle. Book excerpt: These ideas are the b̀uilding blocks' of the proof itself. A brief history of related result is given. Then, an intuitive description of the proof and a r̀oad map' of its structure (which has several levels and branches) are presented to provide an overall gist of what is going on behind the formal mathematics which follow. The heart of the proof is the so-called S̀witching Lemma', which is given considerable attention. The main result and a corollary are then stated and proven."