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.

Distributedly Solving Network Linear Equations With Event-Based Algorithms

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

A Distributed Event-Triggered Algorithm for Economic Dispatch Problem over Unbalanced Directed Network

Distributed Linear Equations over Random Networks

Distributed Least Squares Solver for Network Linear Equations.

Event-triggered Distributed Nash Equilibrium Seeking over Directed Graphs and Its Application to Power Management

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

A Distributed Algorithm With Event-Triggered Communication For Resource Allocation Problem

A Networked Parallel Algorithm for Solving Linear Algebraic Equations

Distributed event-triggered Nash equilibrium seeking for non-cooperative games on unbalanced digraphs

Convergence Analysis of Distributed Kalman Filtering for Relative Sensing Networks

Distributed Solvers for Network Linear Equations with Scalarized Compression

Distributed Algorithms for Linear Equations Over General Directed Networks

Projection Consensus for Solving Linear Equations over Random Networks

Distributed Algorithms for Boolean Equations Over Networks

Network flows that solve least squares for linear equations

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

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

A Distributed Algorithm for Solving Positive Definite Linear Equations Over Networks With Membership Dynamics

A Resilient Distributed Algorithm for Solving Linear Equations

Scalable, Distributed Algorithms for Solving Linear Equations via Double-Layered Networks