Weizmann Logo
ECCC
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style



REPORTS > DETAIL:

Revision(s):

Revision #1 to TR26-178 | 25th September 2026 20:28

Optimal Hitting Set Generators via A Potential-Descent Framework

RSS-Feed




Revision #1
Authors: Gonen Krak
Accepted on: 25th September 2026 20:28
Downloads: 148
Keywords: 


Abstract:

We develop a new framework for constructing explicit hitting-set generators (HSGs) for classes of Boolean functions. The framework is inspired by the Ajtai–Wigderson approach based on iterated pseudorandom restrictions. We use this framework to construct HSGs for read-once CNFs and read-once CNFs with parities. For formulas on $n$ variables with density at least $\varepsilon$, our generators use $O(\log(n/\varepsilon))$ seed bits. This bound is optimal up to a constant factor. Applying the hitting reduction of Gopalan, Meka, Reingold, Trevisan, and Vadhan gives the same seed bound for general ordered width-3 read-once branching programs. For this class, our construction is the first to achieve optimal dependence on both length and acceptance density. The result provides further evidence supporting the longstanding conjecture $\mathrm{L} = \mathrm{RL}$



Changes to previous version:

Bypassed an unnecessary epsilon <= 1/2 limitation; Updated ECCC abstract that was truncated previously.


Paper:

TR26-178 | 6th September 2026 17:29

Optimal Hitting Set Generators via A Potential-Descent Framework





TR26-178
Authors: Gonen Krak
Publication: 13th September 2026 15:23
Downloads: 424
Keywords: 


Abstract:

We use this framework to construct HSGs for read-once CNFs and read-once CNFs with parities. For formulas on $n$ variables with density at least $\varepsilon$, our generators use $O(\log(n/\varepsilon))$ seed bits. This bound is optimal up to a constant factor. Applying the hitting reduction of Gopalan, Meka, Reingold, Trevisan, and Vadhan gives the same seed bound for general ordered width-3 read-once branching programs. For this class, our construction is the first to achieve optimal dependence on both length and acceptance density. The result provides further evidence supporting the longstanding conjecture $\mathrm{L} = \mathrm{RL}$



ISSN 1433-8092 | Imprint