We orchestrate a randomized algorithm for #$k$-SAT which counts the exact number of satisfying assignments in $2^{o(n)}$ time. The existence of such algorithm signifies that the #ETH is hereby refuted, and so are $\oplus$ETH, ETH, #SETH, $\oplus$SETH and SETH.
翻译:我们为#k$-SAT设计了一个随机的算法,它以2美元(n)美元的时间来计算满足任务的确切数量。这种算法的存在表明,“ETH”被驳斥,而“ETH”、“ETH”、“SETH”、“SETH”和“SETH”被驳斥。