Abstract
Generalized arc-consistency propagation is predominantly used in constraint solvers to efficiently prune the search space when solving constraint satisfaction problems. Although many practical applications can be modelled as distributed constraint satisfaction problems, no distributed arc-consistency algorithms so far have considered the privacy of individual agents. In this paper, we propose a new distributed arc-consistency algorithm, called $$\mathsf {DisAC3.1}$$ , which leaks less private information of agents than existing distributed arc-consistency algorithms. In particular, $$\mathsf {DisAC3.1}$$ uses a novel termination determination mechanism, which allows the agents to share domains, constraints and communication addresses only with relevant agents. We further extend $$\mathsf {DisAC3.1}$$ to $$\mathsf {DisGAC3.1}$$ , which is the first distributed algorithm that enforces generalized arc-consistency on k-ary ( $$k\ge 2$$ ) constraint satisfaction problems. Theoretical analyses show that our algorithms are efficient in both time and space. Experiments also demonstrate that $$\mathsf {DisAC3.1}$$ outperforms the state-of-the-art distributed arc-consistency algorithm and that $$\mathsf {DisGAC3.1}$$ ’s performance scales linearly in the number of agents.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.