2014 IEEE 29th Conference on Computational Complexity (CCC) 2014
DOI: 10.1109/ccc.2014.34
|View full text |Cite
|
Sign up to set email alerts
|

Mining Circuit Lower Bound Proofs for Meta-algorithms

Abstract: Abstract-We show that circuit lower bound proofs based on the method of random restrictions yield non-trivial compression algorithms for "easy" Boolean functions from the corresponding circuit classes. The compression problem is defined as follows: given the truth table of an n-variate Boolean function f computable by some unknown small circuit from a known class of circuits, find in deterministic time poly(2 n ) a circuit C (no restriction on the type of C) computing f so that the size of C is less than the t… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1

Citation Types

1
39
0

Year Published

2014
2014
2018
2018

Publication Types

Select...
6
1

Relationship

4
3

Authors

Journals

citations
Cited by 23 publications
(40 citation statements)
references
References 52 publications
1
39
0
Order By: Relevance
“…This class of formulas is also lossily compressible in the sense of [9]. That is, given the truth table of a Boolean function f : {0, 1} n → {1, −1} which is promised to be computable by an unknown de Morgan (read-once) formula of size s, we can compute in deterministic time 2 O(n) , a Boolean circuit C of size about n s 1/Γ+ , where Γ is the corresponding shrinkage exponent, such that C agrees with f on all but exp(−n Ω(1) ) fraction of n-bit inputs.…”
Section: ) Fourier Concentration and Correlation Boundsmentioning
confidence: 99%
See 2 more Smart Citations
“…This class of formulas is also lossily compressible in the sense of [9]. That is, given the truth table of a Boolean function f : {0, 1} n → {1, −1} which is promised to be computable by an unknown de Morgan (read-once) formula of size s, we can compute in deterministic time 2 O(n) , a Boolean circuit C of size about n s 1/Γ+ , where Γ is the corresponding shrinkage exponent, such that C agrees with f on all but exp(−n Ω(1) ) fraction of n-bit inputs.…”
Section: ) Fourier Concentration and Correlation Boundsmentioning
confidence: 99%
“…In the language of [27,9], this means that we have a deterministic lossy-compression algorithm for the class of de Morgan formulas of sub-quadratic size. 1 Similarly, we get, for read-once de Morgan formulas on n inputs, a lossy-compression algorithm producing a circuit of size at most exp(n 1/3+ ) which agrees with the formula on all but at most exp(−n Ω( ) ) fraction of inputs.…”
Section: Compressionmentioning
confidence: 99%
See 1 more Smart Citation
“…
We give a deterministic #SAT algorithm for de Morgan formulas of size up to n 2.63 , which runs in time 2 n−n Ω(1) . This improves upon the deterministic #SAT algorithm of [3], which has similar running time but works only for formulas of size less than n 2.5 . Our new algorithm is based on the shrinkage of de Morgan formulas under random restrictions, shown by Paterson and Zwick [12].
…”
mentioning
confidence: 97%
“…Fomin and Kratsch [15], Robson [31] or Williams [38]). Indeed, the algorithm of Santhanam [33] for QBF satisfiability and of Chen et al [8] for counting satisfying assignments of a formula are both based on memoization. Therefore our main contribution is to show that, when based on the lower bounds of Neciporuk and de Oliveira Oliveira, memoization can be made to work surprisingly well for (quantified) satisfiability of bounded treewidth circuits.…”
Section: Introductionmentioning
confidence: 99%