ECCC-Report TR06-045https://eccc.weizmann.ac.il/report/2006/045Comments and Revisions published for TR06-045en-usSat, 20 May 2006 00:00:00 +0300
Revision 1
| Approximability of Minimum AND-Circuits |
Jan Arpe,
Bodo Manthey
https://eccc.weizmann.ac.il/report/2006/045#revision1Given 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.
Sat, 20 May 2006 00:00:00 +0300https://eccc.weizmann.ac.il/report/2006/045#revision1
Paper TR06-045
| Approximability of Minimum AND-Circuits |
Jan Arpe,
Bodo Manthey
https://eccc.weizmann.ac.il/report/2006/045Given 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.
Fri, 31 Mar 2006 02:09:03 +0300https://eccc.weizmann.ac.il/report/2006/045