Network structures are reconstructed from dynamical data by respectively
naive mean field (nMF) and Thouless-Anderson-Palmer (TAP) approximations. For
TAP approximation, we use two methods to reconstruct the network: a) iteration
method; b) casting the inference formula to a set of cubic equations and
solving it directly. We investigate inference of the asymmetric Sherrington-
Kirkpatrick (S-K) model using asynchronous update. The solutions of the sets
cubic equation depend of temperature T in the S-K model, and a critical
temperature Tc is found around 2.1.
Tree-based protocols are ubiquitous in distributed systems. They are
flexible, they perform generally well, and, in static conditions, their
analysis is mostly simple. Under churn, however, node joins and failures can
have complex global effects on the tree overlays, making analysis surprisingly
subtle. To our knowledge, few prior analytic results for performance estimation
of tree based protocols under churn are currently known. We study a simple
Bellman-Ford-like protocol which performs network size estimation over a
tree-shaped overlay.
We consider the regular balanced model of formula generation in conjunctive
normal form (CNF) introduced by Boufkhad, Dubois, Interian, and Selman. We say
that a formula is $p$-satisfying if there is a truth assignment satisfying
$1-2^{-k}+p 2^{-k}$ fraction of clauses. Using the first moment method we
determine upper bound on the threshold clause density such that there are no
$p$-satisfying assignments with high probability above this upper bound. There
are two aspects in deriving the lower bound using the second moment method.
We consider the regular model of formula generation in conjunctive normal
form (CNF) introduced by Boufkhad et. al. We derive an upper bound on the
satisfiability threshold and NAE-satisfiability threshold for regular random
$k$-SAT for any $k \geq 3$. We show that these bounds matches with the
corresponding bound for the uniform model of formula generation.