The #ETH is False, #k-SAT is in Sub-Exponential Time
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.
Na minha lista:
| Autor principal: | |
|---|---|
| Formato: | Artigo |
| Publicado em: |
2021
|
| Assuntos: | |
| Acesso em linha: | https://arxiv.org/abs/2102.02624 http://arxiv.org/abs/2102.02624 |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|