Abstract:In this paper, we propose distributed algorithms that solve a system 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 {\em private} equation known to this node only, and the nodes aim to compute the exact set of solutions to the system without exchanging their local equations. We show that each private Boolean equation can be locally lifted to a linear algebraic equation under a basis of Boolean vectors, leading to a network linear equation that is distributedly solvable using existing distributed linear equation algorithms as a subroutine. A number of exact or approximate solutions to the induced linear equation are then computed at each node from different initial values. The solutions to the original Boolean equations are eventually computed locally via a Boolean vector search algorithm. We prove that given 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, our algorithms return the exact solution set of the Boolean equations at each node with high probability. Furthermore, we present an algorithm for distributed verification of the satisfiability of Boolean equations, and prove its correctness. Finally, we show that by utilizing linear equation solvers with differential privacy to replace the in-network computing routines, the overall distributed Boolean equation algorithms can be made differentially private. Under the standard Laplace mechanism, we prove an explicit level of noises that can be injected in the linear equation steps for ensuring a prescribed level of differential privacy.

Research on Satisfiability Threshold of Class of Boolean Equations

Algorithmic analysis on a class of Boolean equations

Algebraic characteristics and satisfiability threshold of random Boolean equations.

Approximate Solutions Of Fuzzy Relation Equations(Ii) Based On Boolean-Type Implications

Decomposition and Resolution of Fuzzy Relation Equations (II) Based on Boolean-Type Implications

Advances in Satisfiability Solving Techniques

Distributed Algorithms for Boolean Equations Over Networks

Distributed Algorithms that Solve Boolean Equations with Local and Differential Privacies

An Overview of Recent Developments in Big Boolean Equations

A Polynomial Time Bounded-error Quantum Algorithm for Boolean Satisfiability

Zeon and Idem-Clifford Formulations of Boolean Satisfiability

A survey of SAT solver

Estimating the Volume of Solution Space for Satisfiability Modulo Linear Real Arithmetic

Combining Binary Decision Diagrams and Boolean Satisfiability for Equivalence Checking

Error Bounds for Approximate Solutions of Abstract Inequality Systems and Infinite Systems of Inequalities on Banach Spaces

Finding Unsatisfiable Subformulas With Stochastic Method

An algorithm for calculating the satisfiability degree

Backtracking Search Algorithm for Satisfiability Degree Calculation.

On Theoretical Complexity and Boolean Satisfiability

On a Certain NP-Complete Problem

Efficient Characteristic Set Algorithms for Equation Solving in Finite Fields and Applications in Cryptanalysis