eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Leibniz International Proceedings in Informatics
1868-8969
2018-06-04
5:1
5:31
10.4230/LIPIcs.CCC.2018.5
article
NP-hardness of Minimum Circuit Size Problem for OR-AND-MOD Circuits
Hirahara, Shuichi
1
Oliveira, Igor C.
2
Santhanam, Rahul
2
Department of Computer Science, The University of Tokyo, Tokyo, Japan
Department of Computer Science, University of Oxford, Oxford, United Kingdom
The Minimum Circuit Size Problem (MCSP) asks for the size of the smallest boolean circuit that computes a given truth table. It is a prominent problem in NP that is believed to be hard, but for which no proof of NP-hardness has been found. A significant number of works have demonstrated the central role of this problem and its variations in diverse areas such as cryptography, derandomization, proof complexity, learning theory, and circuit lower bounds.
The NP-hardness of computing the minimum numbers of terms in a DNF formula consistent with a given truth table was proved by W. Masek [William J. Masek, 1979] in 1979. In this work, we make the first progress in showing NP-hardness for more expressive classes of circuits, and establish an analogous result for the MCSP problem for depth-3 circuits of the form OR-AND-MOD_2. Our techniques extend to an NP-hardness result for MOD_m gates at the bottom layer under inputs from (Z / m Z)^n.
https://drops.dagstuhl.de/storage/00lipics/lipics-vol102-ccc2018/LIPIcs.CCC.2018.5/LIPIcs.CCC.2018.5.pdf
NP-hardness
Minimum Circuit Size Problem
depth-3 circuits