In this paper, we study an extension of Schoning's algorithm [Schoning, 1991] for 3SAT, the clustered Sparrow algorithm We also present strong arguments that this algorithm is polynomial.
翻译:在本文中,我们研究Shoning的3SAT算法[Schoning,1991年]的延伸, 集中式麻雀算法。 我们还提出了有力的论据,认为这种算法是多元的。