Journal of the ACM (JACM)
Journal of Computer and System Sciences
A Computing Procedure for Quantification Theory
Journal of the ACM (JACM)
A machine program for theorem-proving
Communications of the ACM
Short proofs are narrow—resolution made simple
Journal of the ACM (JACM)
Pseudorandom generators in propositional proof complexity
FOCS '00 Proceedings of the 41st Annual Symposium on Foundations of Computer Science
Exponential Lower Bounds for the Running Time of DPLL Algorithms on Satisfiable Formulas
Journal of Automated Reasoning
Goldreich's One-Way Function Candidate and Myopic Backtracking Algorithms
TCC '09 Proceedings of the 6th Theory of Cryptography Conference on Theory of Cryptography
Effective preprocessing in SAT through variable and clause elimination
SAT'05 Proceedings of the 8th international conference on Theory and Applications of Satisfiability Testing
CSR'10 Proceedings of the 5th international conference on Computer Science: theory and Applications
Applications of SAT solvers to cryptanalysis of hash functions
SAT'06 Proceedings of the 9th international conference on Theory and Applications of Satisfiability Testing
Lower bounds for myopic DPLL algorithms with a cut heuristic
ISAAC'11 Proceedings of the 22nd international conference on Algorithms and Computation
On the security of Goldreich’s one-way function
Computational Complexity - 13th International Workshop on Randomization and Computation Random 09
Hi-index | 0.00 |
We prove an exponential lower bound on the average time of inverting Goldreich's function by drunken backtracking algorithms; this resolves the open question stated in Cook et al. (Proceedings of TCC, pp. 521---538, 2009). The Goldreich's function has n binary inputs and n binary outputs. Every output depends on d inputs and is computed from them by the fixed predicate of arity d. Our Goldreich's function is based on an expander graph and on the nonlinear predicates that are linear in Ω(d) variables. Drunken algorithm is a backtracking algorithm that somehow chooses a variable for splitting and randomly chooses the value for the variable to be investigated at first.After the submission to the journal we found out that the same result was independently obtained by Rachel Miller.