A note on the bottleneck counting argument

J. Simon, Shi-Chun Tsai

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

5 Scopus citations

Abstract

Both the bottleneck counting argument and Razborov's approximation method have been used to prove exponential lower bounds for monotone circuits. We show that under the monotone circuit model for every proof by the approximation method, there is a bottleneck counting proof and vice versa. We also illustrate the elegance of the bottleneck counting technique with a simple self-explained example: the proof of a (previously known) lower bound for the 3-CLIQUEn problem by the bottleneck counting argument.

Original languageEnglish
Title of host publicationProceedings - 12th Annual IEEE Conference on Computational Complexity, CCC 1997 (Formerly: Structure in Complexity Theory Conference)
PublisherIEEE Computer Society
Pages297-301
Number of pages5
ISBN (Electronic)0818679077
DOIs
StatePublished - 1997
Event12th Annual IEEE Conference on Computational Complexity, CCC 1997 - Ulm, Germany
Duration: 24 Jun 199727 Jun 1997

Publication series

NameProceedings of the Annual IEEE Conference on Computational Complexity
ISSN (Print)1093-0159

Conference

Conference12th Annual IEEE Conference on Computational Complexity, CCC 1997
Country/TerritoryGermany
CityUlm
Period24/06/9727/06/97

Fingerprint

Dive into the research topics of 'A note on the bottleneck counting argument'. Together they form a unique fingerprint.

Cite this