We propose a simple idea for improving the randomized algorithm of Hertli (2014) [2] for the Unique 3SAT problem. Using recently developed techniques (Hertli (2015) [3] and Scheder–Steinberger (2017) [7]), we can derive from this algorithm currently the fastest randomized algorithm for the general 3SAT problem. Though the efficiency improvement is extremely small, we hope that this idea would lead to better improvements.

中文翻译：

---

唯一3SAT问题的Hertli算法的改进

对于唯一3SAT问题，我们提出了一个简单的想法来改进Hertli（2014）[2]的随机算法。使用最新开发的技术（Hertli（2015）[3]和Scheder–Steinberger（2017）[7]），我们可以从该算法中得出当前通用3SAT问题最快的随机算法。尽管效率提升非常小，但我们希望这种想法能够带来更好的改善。