Skip to main navigation Skip to search Skip to main content

Approximability of minimum AND-circuits

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

Abstract

Given a set of monomials, the Minimum-AND-Circuit problem asks for a circuit that computes these monomials using AND-gates of fan-in two and being of minimum size. We prove that the problem is not polynomial time approximable within a factor of less than 1.0051 unless P = NP, even if the monomials are restricted to be of degree at most three. For the latter case, we devise several efficient approximation algorithms, yielding an approximation ratio of 1.278. For the general problem, we achieve an approximation ratio of d-3/2, where d is the degree of the largest monomial. In addition, we prove that the problem is fixed parameter tractable with the number of monomials as parameter. Finally, we reveal connections between the MINIMUM AND-CIRCUIT problem and several problems from different areas.

Original languageEnglish
Title of host publicationAlgorithm Theory – SWAT 2006
Subtitle of host publication10th Scandinavian Workshop on Algorithm Theory, Riga, Latvia, July 6-8, 2006: Proceedings
EditorsLars Arge, Rusins Freivalds
PublisherSpringer
Pages292-303
Number of pages12
ISBN (Electronic)978-3-540-35755-1
ISBN (Print)978-3-540-35753-7
DOIs
Publication statusPublished - 1 Jan 2006
Externally publishedYes
Event10th Scandinavian Workshop on Algorithm Theory, SWAT 2006 - Riga, Latvia
Duration: 6 Jul 20068 Jul 2006
Conference number: 10

Publication series

NameLecture Notes in Computer Science
Volume4059
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference10th Scandinavian Workshop on Algorithm Theory, SWAT 2006
Abbreviated titleSWAT 2006
Country/TerritoryLatvia
CityRiga
Period6/07/068/07/06

Keywords

  • Approximation ratio
  • Vertex cover
  • Input instance
  • Addition chain
  • Input gate

Fingerprint

Dive into the research topics of 'Approximability of minimum AND-circuits'. Together they form a unique fingerprint.

Cite this