Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Survey-propagation decimation through distributed local computations   We discuss the implementation of two distributed solvers of the random K-SAT
problem, based on some development of the recently introduced
survey-propagation (SP) algorithm. The first solver, called the "SP diffusion
algorithm", diffuses as dynamical information the maximum bias over the system,
so that variable nodes can decide to freeze in a self-organized way, each
variable making its decision on the basis of purely local information. The
second solver, called the "SP reinforcement algorithm", makes use of
time-dependent external forcing messages on each variable, which let the
variables get completely polarized in the direction of a solution at the end of
a single convergence. Both methods allow us to find a solution of the random
3-SAT problem in a range of parameters comparable with the best previously
described serialized solvers. The simulated time of convergence towards a
solution (if these solvers were implemented on a distributed device) grows as
log(N).

3
The categories of this paper are: physics
6
The categories of this paper are: astro-ph
12
The categories of this paper are: nucl-th
17
The categories of this paper are: q-fin
22
The categories of this paper are: chao-dyn
31
The categories of this paper are: ao-sci
32
The categories of this paper are: atom-ph
26
The categories of this paper are: bayes-an
1
The categories of this paper are: cs
20
The categories of this paper are: acc-phys
5
The categories of this paper are: gr-qc
23
The categories of this paper are: solv-int
25
The categories of this paper are: patt-sol
19
The categories of this paper are: eess
28
The categories of this paper are: alg-geom
21
The categories of this paper are: adap-org