Boolean Function Complexity: Advances and Frontiers

پیچیدگی مدار بولی ترکیبی از علم کامپیوتر است و شامل بسیاری از مسائل جذاب است که بیان و توضیح آن‌ها، حتی برای افراد عادی، آسان است. این کتاب توصیفی جامع از استدلال‌های پایه کران پایین است که بسیاری از جواهرات این «واترلو پیچیدگی» را که در طی چندین دهه گذشته کشف شده‌اند، تا نتایج یکی دو سال گذشته، پوشش می‌دهد. بسیاری از مسائل باز که با عنوان مسائل پژوهشی مشخص شده اند، در طول مسیر ذکر شده اند. مشکلات عمدتا از طعم ترکیبی هستند اما راه حل های آنها می تواند پیامدهای بزرگی در پیچیدگی مدار و علوم کامپیوتر داشته باشد. این کتاب مورد توجه دانشجویان تحصیلات تکمیلی و محققان در زمینه های علوم کامپیوتر و ریاضیات گسسته خواهد بود.

Boolean circuit complexity is the combinatorics of computer science and involves many intriguing problems that are easy to state and explain, even for the layman. This book is a comprehensive description of basic lower bound arguments, covering many of the gems of this “complexity Waterloo” that have been discovered over the past several decades, right up to results from the last year or two. Many open problems, marked as Research Problems, are mentioned along the way. The problems are mainly of combinatorial flavor but their solutions could have great consequences in circuit complexity and computer science. The book will be of interest to graduate students and researchers in the fields of computer science and discrete mathematics.