Abstract:In this paper, we study systems of Boolean equations over a network, where each node in the network possesses only one Boolean equation from the system. The Boolean equation assigned at any particular node is a private equation known to this node only, and the aim of the paper is to develop distributed algorithms that allow all the nodes to obtain solutions to the network Boolean equations without exchanging their local Boolean equations. First, we observe that the Boolean equations can be locally lifted to a system of linear algebraic equations under a basis of Boolean vectors, which is distributedly solvable using existing distributed linear equation algorithms as a subroutine. Next, we construct a distributed Boolean equation solver by the nodes solving the lifted linear network equation for a number of randomly selected initial values, and then converting the algebraic solutions into solutions to the original Boolean equations by a novel Boolean vector search algorithm. We prove that for solvable Boolean equations, when the initial values of the nodes for the distributed linear equation solving step are i.i.d selected according to a uniform distribution in a high-dimensional cube, such an algorithm returns the exact solution set of the Boolean equations at each node with high probability. We also present an algorithm for distributed verification of the satisfiability of Boolean equations when the solvability is not known beforehand, and prove its correctness. Finally, we show that by utilizing linear equation solvers with differential privacy to replace the in-network computing routines, the distributed Boolean equation algorithms can be made differentially private.

Distributed Least Squares Solver for Network Linear Equations.

Distributed Finite-time Least Squares Solver for Network Linear Equations.

Network flows that solve least squares for linear equations

Distributed Linear Equations over Random Networks

Distributed algorithms for the least square solution of linear equations

Solving least-squares problems in directed networks: A distributed approach

Distributed Algorithms for Solving a Least Squares Solution of Linear Algebraic Equations

An Event-Based Distributed Least Square Linear Equation Solver Employing Network Flow

Distributedly Solving Network Linear Equations With Event-Based Algorithms

Distributed Algorithms for Linear Equations Over General Directed Networks

Distributed Sparse Total Least-Squares over Networks

Distributed Sparse Recursive Least-Squares over Networks

Distributed Least-Squares Iterative Methods in Networks: A Survey.

Scalable Distributed Least Square Algorithms for Large-Scale Linear Equations Via an Optimization Approach

Distributed Solvers for Network Linear Equations with Scalarized Compression

Scalable Distributed Least Squares Algorithm for Linear Algebraic Equations via Scheduling

A Networked Parallel Algorithm for Solving Linear Algebraic Equations

An Expanded Distributed Algorithm for Dynamic Resource Allocation over Strongly Connected Topologies

Distributed Constrained Nonlinear Least-Squares Estimation Algorithm Over Unbalanced Directed Networks

Distributed Solver for Discrete-Time Lyapunov Equations over Dynamic Networks with Linear Convergence Rate

Distributed Algorithms for Boolean Equations Over Networks