In this note, we use lower bounds on Boolean multiplicative complexity to prove lower bounds on Boolean circuit complexity. We give a very simple proof of a 7n/3-c lower bound on the circuit complexity of a large class of functions representable by high degree polynomials over GF(2). The key idea of the proof is a circuit complexity measure assigning different weights to XOR and AND gates.

Original languageEnglish
Title of host publicationPrograms, Proofs, Processes - 6th Conference on Computability in Europe, CiE 2010, Proceedings
Pages239-245
Number of pages7
DOIs
StatePublished - 29 Jul 2010
Event6th Conference on Computability in Europe, CiE 2010 - Ponta Delgada, Azores, Portugal
Duration: 30 Jun 20104 Jul 2010

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6158 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference6th Conference on Computability in Europe, CiE 2010
Country/TerritoryPortugal
CityPonta Delgada, Azores
Period30/06/104/07/10

    Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

ID: 49825553