Distributed Algorithms for Boolean Equations Over Networks

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 distribu...

Full description

Saved in:

Bibliographic Details
Published in:	IEEE transactions on automatic control Vol. 68; no. 11; pp. 1 - 16
Main Authors:	Qi, Hongsheng, Li, Bo, Jing, Rui-Juan, Wang, Lei, Proutiere, Alexandre, Shi, Guodong
Format:	Journal Article
Language:	English
Published:	New York IEEE 01.11.2023 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subjects:	Algorithms Boolean Boolean equation Consensus algorithm Differential equations Differential privacy Distributed algorithm Distributed algorithms Exact solutions Heuristic algorithms Linear algebra Linear equations Mathematical models Nodes Privacy Search algorithms Signal processing algorithms Solvers
ISSN:	0018-9286, 1558-2523, 1558-2523
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

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.
AbstractList	In this article, 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 this article 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 independent identically distributed 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 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.
Author	Wang, Lei Li, Bo Proutiere, Alexandre Qi, Hongsheng Shi, Guodong Jing, Rui-Juan
Author_xml	– sequence: 1 givenname: Hongsheng orcidid: 0000-0002-1698-7570 surname: Qi fullname: Qi, Hongsheng organization: Key Laboratory of Systems and Control, Institute of Systems Science, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing, China – sequence: 2 givenname: Bo orcidid: 0000-0003-4885-0656 surname: Li fullname: Li, Bo organization: Key Laboratory of Mathematics Mechanization, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing, China – sequence: 3 givenname: Rui-Juan orcidid: 0000-0001-6932-8862 surname: Jing fullname: Jing, Rui-Juan organization: Faculty of Science, Jiangsu University, Zhenjiang, China – sequence: 4 givenname: Lei orcidid: 0000-0002-6109-5619 surname: Wang fullname: Wang, Lei organization: College of Control Science and Engineering, Zhejiang University, China – sequence: 5 givenname: Alexandre orcidid: 0000-0002-4679-4673 surname: Proutiere fullname: Proutiere, Alexandre organization: Department of Automatic Control, KTH Royal Institute of Technology, Stockholm, Sweden – sequence: 6 givenname: Guodong orcidid: 0000-0002-5929-9655 surname: Shi fullname: Shi, Guodong organization: Australian Center for Field Robotics, School of Aerospace, Mechanical and Mechatronic Engineering, The University of Sydney, NSW, Australia
BackLink	https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-344478$$DView record from Swedish Publication Index (Kungliga Tekniska Högskolan)
BookMark	eNp9kM1PwjAYhxuDiYDePXhY4nnYr22tNwT8SIhc0GvTjg4KY4W2k_jfOxwmxoOnN2_yPG9-768HOpWtNADXCA4QgvxuPhwNMMRkQDBFmGRnoIuShMU4waQDuhAiFnPM0gvQ837drCmlqAvux8YHZ1Qd9CIalkvrTFhtfVRYFz1YW2pZRZN9LYOxlY9mH9pFrzocrNv4S3BeyNLrq9Psg7fHyXz0HE9nTy-j4TTOMUNJzDOmComgYilk-YIsVIoLnvAsZRnHWCmkiUQU5SrjVGoIeVEwzVMME6hUoUkfxO1df9C7WomdM1vpPoWVRozN-1BYtxSbsBKEUpqxhr9t-Z2z-1r7INa2dlUTUWDGcJLhLCUNlbZU7qz3ThciN-H7zeCkKQWC4tiraHoVx17FqddGhH_En0D_KDetYrTWv3BIMIOUfAF3OIPx
CODEN	IETAA9
CitedBy_id	crossref_primary_10_3390_s23083845 crossref_primary_10_1007_s42401_025_00380_y
Cites_doi	10.1109/TAC.2016.2612819 10.1007/s10601-012-9121-3 10.1109/TIT.2013.2275131 10.1007/978-0-85729-097-7 10.1137/1.9780898719048 10.1109/TAC.2016.2541298 10.1109/ISGT-Europe47291.2020.9248851 10.1137/S0036144593251710 10.1016/j.automatica.2013.02.015 10.1145/1217856.1217859 10.1145/2184319.2184338 10.1109/TNSE.2018.2829520 10.1109/TAC.2010.2043294 10.1073/pnas.0305937101 10.1016/j.automatica.2009.03.006 10.1109/ACC.2007.4282726 10.1017/CBO9780511804090 10.1561/9781601988195 10.1016/j.jco.2012.07.001 10.1137/1.9780898719772 10.1137/0405044 10.1109/TAC.1986.1104412 10.1109/TNN.2003.821555 10.1016/s0169-7218(11)00410-2 10.1109/TAC.2015.2414771 10.1515/9781400835355 10.1016/j.jcss.2017.03.016 10.1109/TAC.2011.2163874 10.1109/TIT.2012.2191450 10.1109/JPROC.2010.2052531 10.1109/TIT.2010.2050940 10.1016/j.automatica.2017.03.016 10.1109/TIT.2015.2468584 10.1109/CDC42340.2020.9304144 10.1016/j.automatica.2013.01.015 10.1109/FOCS.2013.77 10.1109/TSP.2009.2036046 10.1109/TSP.2020.3006760 10.1109/TAC.2021.3057139 10.1109/TAC.2010.2041686 10.3233/SAT190070 10.1109/TNET.2008.925623 10.1016/j.automatica.2019.108798
ContentType	Journal Article
Copyright	Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2023
Copyright_xml	– notice: Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2023
DBID	97E RIA RIE AAYXX CITATION 7SC 7SP 7TB 8FD FR3 JQ2 L7M L~C L~D ADTPV AOWAS D8V
DOI	10.1109/TAC.2023.3241237
DatabaseName	IEEE Xplore (IEEE) IEEE All-Society Periodicals Package (ASPP) 1998–Present IEEE/IET Electronic Library CrossRef Computer and Information Systems Abstracts Electronics & Communications Abstracts Mechanical & Transportation Engineering Abstracts Technology Research Database Engineering Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional SwePub SwePub Articles SWEPUB Kungliga Tekniska Högskolan
DatabaseTitle	CrossRef Technology Research Database Computer and Information Systems Abstracts – Academic Mechanical & Transportation Engineering Abstracts Electronics & Communications Abstracts ProQuest Computer Science Collection Computer and Information Systems Abstracts Engineering Research Database Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Professional
DatabaseTitleList	Technology Research Database
Database_xml	– sequence: 1 dbid: RIE name: IEEE Xplore url: https://ieeexplore.ieee.org/ sourceTypes: Publisher
DeliveryMethod	fulltext_linktorsrc
Discipline	Engineering
EISSN	1558-2523
EndPage	16
ExternalDocumentID	oai_DiVA_org_kth_344478 10_1109_TAC_2023_3241237 10032804
Genre	orig-research
GrantInformation_xml	– fundername: Jiangsu Provincial Program for High-Level Innovative and Entrepreneurial Talents Introduction – fundername: National Key R&D Program of China grantid: 2018YFA0703800 – fundername: Strategic Priority Research Program of Chinese Academy of Sciences grantid: XDA27000000 – fundername: Australian Research Council grantid: DP190103615; LP210200473; DP220101197 – fundername: Natural Science Foundation of Jiangsu Province grantid: BK20200903 – fundername: National Natural Science Foundation of China grantid: 61873262; 61733018; 12101267
GroupedDBID	-~X .DC 0R~ 29I 4.4 5GY 6IK 97E AAJGR AARMG AASAJ AAWTH ABAZT ABQJQ ABVLG ACGFO ACGFS ACIWK ACNCT AENEX AGQYO AHBIQ AKJIK AKQYR ALMA_UNASSIGNED_HOLDINGS ASUFR ATWAV BEFXN BFFAM BGNUA BKEBE BPEOZ CS3 DU5 EBS F5P HZ~ IFIPE IPLJI JAVBF LAI M43 MS~ O9- OCL P2P RIA RIE RNS TAE TN5 ~02 3EH 5VS AAYXX AETIX AGSQL AI. AIBXA ALLEH CITATION EJD H~9 IAAWW IBMZZ ICLAB IDIHD IFJZH VH1 VJK 7SC 7SP 7TB 8FD FR3 JQ2 L7M L~C L~D ADTPV AOWAS D8V
ID	FETCH-LOGICAL-c2815-978bfa10b8608cd3db62f9597687922bb1e3a141cb794ae009ff8e962050bbfe3
IEDL.DBID	RIE
ISSN	0018-9286 1558-2523
IngestDate	Tue Nov 04 16:59:20 EST 2025 Mon Jun 30 10:22:44 EDT 2025 Sat Nov 29 05:41:07 EST 2025 Tue Nov 18 20:53:17 EST 2025 Wed Aug 27 02:18:20 EDT 2025
IsPeerReviewed	true
IsScholarly	true
Issue	11
Language	English
License	https://ieeexplore.ieee.org/Xplorehelp/downloads/license-information/IEEE.html https://doi.org/10.15223/policy-029 https://doi.org/10.15223/policy-037
LinkModel	DirectLink
MergedId	FETCHMERGED-LOGICAL-c2815-978bfa10b8608cd3db62f9597687922bb1e3a141cb794ae009ff8e962050bbfe3
Notes	ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14
ORCID	0000-0003-4885-0656 0000-0002-5929-9655 0000-0002-4679-4673 0000-0001-6932-8862 0000-0002-6109-5619 0000-0002-1698-7570
PQID	2882572763
PQPubID	85475
PageCount	16
ParticipantIDs	crossref_citationtrail_10_1109_TAC_2023_3241237 crossref_primary_10_1109_TAC_2023_3241237 ieee_primary_10032804 proquest_journals_2882572763 swepub_primary_oai_DiVA_org_kth_344478
PublicationCentury	2000
PublicationDate	2023-11-01
PublicationDateYYYYMMDD	2023-11-01
PublicationDate_xml	– month: 11 year: 2023 text: 2023-11-01 day: 01
PublicationDecade	2020
PublicationPlace	New York
PublicationPlace_xml	– name: New York
PublicationTitle	IEEE transactions on automatic control
PublicationTitleAbbrev	TAC
PublicationYear	2023
Publisher	IEEE The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher_xml	– name: IEEE – name: The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
References	ref13 ref35 ref12 ref34 ref15 ref37 ref14 ref36 ref31 ref30 ref11 ref33 ref10 ref32 ref1 ref17 ref39 ref16 ref38 ref19 ref18 ref24 ref23 ref45 ref26 ref25 ref20 ref42 ref41 ref22 ref44 ref21 ref28 ref27 ref29 ref8 ref7 ref9 ref4 ref3 ref6 Corblin (ref2) 2007 ref5 ref40 Wang (ref43) 2021
References_xml	– ident: ref14 doi: 10.1109/TAC.2016.2612819 – ident: ref25 doi: 10.1007/s10601-012-9121-3 – volume-title: Integrative Post-Genomics year: 2007 ident: ref2 article-title: A SAT-based approach to decipher gene regulatory networks – ident: ref17 doi: 10.1109/TIT.2013.2275131 – ident: ref28 doi: 10.1007/978-0-85729-097-7 – ident: ref39 doi: 10.1137/1.9780898719048 – ident: ref38 doi: 10.1109/TAC.2016.2541298 – ident: ref32 doi: 10.1109/ISGT-Europe47291.2020.9248851 – ident: ref29 doi: 10.1137/S0036144593251710 – ident: ref34 doi: 10.1016/j.automatica.2013.02.015 – ident: ref23 doi: 10.1145/1217856.1217859 – ident: ref5 doi: 10.1145/2184319.2184338 – ident: ref10 doi: 10.1109/TNSE.2018.2829520 – ident: ref27 doi: 10.1109/TAC.2010.2043294 – ident: ref45 doi: 10.1073/pnas.0305937101 – ident: ref26 doi: 10.1016/j.automatica.2009.03.006 – ident: ref33 doi: 10.1109/ACC.2007.4282726 – year: 2021 ident: ref43 article-title: Differentially private distributed computation via public-private communication networks – ident: ref1 doi: 10.1017/CBO9780511804090 – ident: ref35 doi: 10.1561/9781601988195 – ident: ref3 doi: 10.1016/j.jco.2012.07.001 – ident: ref42 doi: 10.1137/1.9780898719772 – ident: ref40 doi: 10.1137/0405044 – ident: ref18 doi: 10.1109/TAC.1986.1104412 – ident: ref7 doi: 10.1109/TNN.2003.821555 – ident: ref6 doi: 10.1016/s0169-7218(11)00410-2 – ident: ref13 doi: 10.1109/TAC.2015.2414771 – ident: ref30 doi: 10.1515/9781400835355 – ident: ref8 doi: 10.1016/j.jcss.2017.03.016 – ident: ref22 doi: 10.1109/TAC.2011.2163874 – ident: ref16 doi: 10.1109/TIT.2012.2191450 – ident: ref15 doi: 10.1109/JPROC.2010.2052531 – ident: ref20 doi: 10.1109/TIT.2010.2050940 – ident: ref36 doi: 10.1016/j.automatica.2017.03.016 – ident: ref21 doi: 10.1109/TIT.2015.2468584 – ident: ref44 doi: 10.1109/CDC42340.2020.9304144 – ident: ref9 doi: 10.1016/j.automatica.2013.01.015 – ident: ref41 doi: 10.1109/FOCS.2013.77 – ident: ref19 doi: 10.1109/TSP.2009.2036046 – ident: ref37 doi: 10.1109/TSP.2020.3006760 – ident: ref11 doi: 10.1109/TAC.2021.3057139 – ident: ref12 doi: 10.1109/TAC.2010.2041686 – ident: ref24 doi: 10.3233/SAT190070 – ident: ref4 doi: 10.1109/TNET.2008.925623 – ident: ref31 doi: 10.1016/j.automatica.2019.108798
SSID	ssj0016441
Score	2.44088
Snippet	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... In this article, we study systems of Boolean equations over a network, where each node in the network possesses only one Boolean equation from the system. The...
SourceID	swepub proquest crossref ieee
SourceType	Open Access Repository Aggregation Database Enrichment Source Index Database Publisher
StartPage	1
SubjectTerms	Algorithms Boolean Boolean equation Consensus algorithm Differential equations Differential privacy Distributed algorithm Distributed algorithms Exact solutions Heuristic algorithms Linear algebra Linear equations Mathematical models Nodes Privacy Search algorithms Signal processing algorithms Solvers
Title	Distributed Algorithms for Boolean Equations Over Networks
URI	https://ieeexplore.ieee.org/document/10032804 https://www.proquest.com/docview/2882572763 https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-344478
Volume	68
hasFullText	1
inHoldings	1
isFullTextHit
isPrint
journalDatabaseRights	– providerCode: PRVIEE databaseName: IEEE Xplore customDbUrl: eissn: 1558-2523 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0016441 issn: 1558-2523 databaseCode: RIE dateStart: 19630101 isFulltext: true titleUrlDefault: https://ieeexplore.ieee.org/ providerName: IEEE
link	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV09T8MwELUAMcDAN6J8KQNCYkhJbCe22QoUMRUGQGxW7FygojTQtPx-znFalQEktgy2ZT37fO9i3ztCTpgEznLLQnTuGKAodw6mLA6ZSmzOkohmSV4XmxC9nnx-VvdNsnqdCwMA9eMzaLvP-i4_L-3E_SpDC3fqb079c1EI4ZO1ZlcGzrH7YxctmMrZnWSkzh86V21XJryN7AFPavHDB9VFVX7yy3nN0NrP3Kz_c4YbZK0hlEHH74BNsgDDLbI6JzO4TS6unTquK2wFedAZvJSj_vj1vQqQrwaXZTmAbBh0P73mdxXc4eYOev51eLVDHm-6D1e3YVMzIbRUxkmIQaEpsjgyMo0kop2blBYKo4ZUCkWpMTGwLOaxNWiIGSDDKgoJKqVREhlTANslS8NyCHskQG5lLaeQG-C8KKhhPKEigRRygURDtcj5FEVtG0FxV9dioOvAIlIacdcOd93g3iJnsx4fXkzjj7Y7Dt65dh7ZFjmcrpRuzK3SFOOEBJlYylrk1K_erKPTz77uP3U0LpR-G79qxjkXcv-X8Q_IipuGTzc8JEvj0QSOyLL9Gver0XG95b4BgnLRJw
linkProvider	IEEE
linkToHtml	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LT9wwEB5VUKlwgPIS29I2B4TUQ5bEj8TubXmJqrD0sK24WbEzKatuN-1m4fczjsNqObRSbznYlvXZ4_km9nwDcMgVCl46HpNzpwBF-3Mw42nMtXQllwkrZNkWm8iHQ3V7q792yeptLgwito_PsO8_27v8snb3_lcZWbhXf_Pqn6tSCJaGdK3FpYF37eHgJRtmanErmejj0eC07wuF94k_0FmdP_NCbVmV5wxzWTW09TQXm_85x9ew0VHKaBD2wBa8wOk2rC8JDe7ApzOvj-tLW2EZDSY_6tl4fveriYixRid1PcFiGp3_CarfTXRD2zsahvfhzS58uzgfnV7GXdWE2DGVypjCQlsVaWJVlijCu7QZqzTFDZnKNWPWpsiLVKTOkikWSByrqhTqjCUysbZCvgcr03qK-xARu3JOMCwtClFVzHIhWS4xwzInqqF7cPyEonGdpLivbDExbWiRaEO4G4-76XDvwcdFj99BTuMfbXc9vEvtArI9OHhaKdMZXGMYRQqSuFjGe3AUVm_R0Ston42_DwwtlPk5vzNcCJGrN38Z_wO8uhxdX5mrz8Mvb2HNTykkHx7Aynx2j-_gpXuYj5vZ-3b7PQKNeNRu
openUrl	ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Distributed+Algorithms+for+Boolean+Equations+Over+Networks&rft.jtitle=IEEE+transactions+on+automatic+control&rft.au=Qi%2C+Hongsheng&rft.au=Li%2C+Bo&rft.au=Jing%2C+Rui-Juan&rft.au=Wang%2C+Lei&rft.date=2023-11-01&rft.issn=1558-2523&rft.volume=68&rft.issue=11&rft.spage=6589&rft_id=info:doi/10.1109%2FTAC.2023.3241237&rft.externalDocID=oai_DiVA_org_kth_344478
thumbnail_l	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0018-9286&client=summon
thumbnail_m	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0018-9286&client=summon
thumbnail_s	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0018-9286&client=summon