#SAT 破防：四学者给出打破 2^m 时间屏障的新算法

Sanjay Jain、Junqiang Peng、Frank Stephan、Mingyu Xiao 的新 arXiv 论文打破 #SAT 的 2^m 时间屏障，对任意常数 k 的 #k-SAT 给出 O(2^(m(1-1/O(k)))) 算法。论文同时对 #2-occ-SAT（图中边覆盖计数为特例）给出 O(2^(mω/3)) 算法，ω<2.3714 为矩阵乘法指数，并证明了相应下界。