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 Finite-time Least Squares Solver for Network Linear Equations.

Distributed Least Squares Solver for Network Linear Equations.

Network flows that solve least squares for linear equations

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

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

Distributedly Solving Network Linear Equations With Event-Based Algorithms

A Distributed Algorithm for Resource Allocation Over Dynamic Digraphs.

Distributed Sparse Recursive Least-Squares over Networks

Scalable Distributed Least Squares Algorithm for Linear Algebraic Equations via Scheduling

Distributed Sparse Total Least-Squares over Networks

Distributed Solvers for Network Linear Equations with Scalarized Compression

Distributed Algorithms for Linear Equations Over General Directed Networks

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

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

A Networked Parallel Algorithm for Solving Linear Algebraic Equations

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

Distributed least square solution method to linear algebraic equations over multiagent networks

Distributed Algorithms for Boolean Equations Over Networks

Distributed Algorithm for a Finite Time Horizon Resource Allocation over a Directed Network