Presentation | 2002/4/18 An Explicit Lower Bound of 5n-o(n) for Boolean Circuits Kazuo IWAMA, Hiroki MORIZUMI, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | The current best lower bound of 4.5n-o(n) for an explicit family of Boolean circuits over the basis U_2 [1] is improved to 5n-o(n) using the same family of circuits. Our lower bound applies to any Strongly-Two-Dependent Boolean function, which is defined by Oded Lachish and Ran Raz in [1]. We modify the parameter called SD(C) for a circuit C, from SD(C)=Size(C)-0.5・Degeneracy(C) in [1] to SD(C)=Size(C)-Degeneracy(C) that was originally used in [2]. That plays a key role in the improvement. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Circuit complexity / Boolean circuit / P / NP / Strongly-Two-Dependent |
Paper # | COMP2002-1 |
Date of Issue |
Conference Information | |
Committee | COMP |
---|---|
Conference Date | 2002/4/18(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Theoretical Foundations of Computing (COMP) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | An Explicit Lower Bound of 5n-o(n) for Boolean Circuits |
Sub Title (in English) | |
Keyword(1) | Circuit complexity |
Keyword(2) | Boolean circuit |
Keyword(3) | P |
Keyword(4) | NP |
Keyword(5) | Strongly-Two-Dependent |
1st Author's Name | Kazuo IWAMA |
1st Author's Affiliation | Graduate School of Informatics, Kyoto Univ.() |
2nd Author's Name | Hiroki MORIZUMI |
2nd Author's Affiliation | Graduate School of Informatics, Kyoto Univ. |
Date | 2002/4/18 |
Paper # | COMP2002-1 |
Volume (vol) | vol.102 |
Number (no) | 31 |
Page | pp.pp.- |
#Pages | 8 |
Date of Issue |