Performance of Sequential Local Algorithms for the Random NAE-$K$-SAT Problem
We formalize the class of “sequential local algorithms" and show that these algorithms fail to find satisfying assignments on random instances of the “Not-All-Equal-$K$-SAT” (NAE-$K$-SAT) problem if the number of message passing iterations is bounded by a function moderately growing in the numb...
Príomhchruthaitheoirí: | , |
---|---|
Rannpháirtithe: | |
Formáid: | Alt |
Teanga: | en_US |
Foilsithe / Cruthaithe: |
Society for Industrial and Applied Mathematics
2017
|
Rochtain ar líne: | http://hdl.handle.net/1721.1/110193 https://orcid.org/0000-0001-8898-8778 |