A new distributed algorithm for efficient generalized arc-consistency propagation
- Publication Type:
- Journal Article
- Autonomous Agents and Multi-Agent Systems, 2018, 32 (5), pp. 569 - 601
- Issue Date:
|Kong2018_Article_ANewDistributedAlgorithmForEff.pdf||Published Version||1.09 MB|
Copyright Clearance Process
- Recently Added
- In Progress
- Closed Access
This item is closed access and not available.
© 2018, The Author(s). 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 DisAC3.1, which leaks less private information of agents than existing distributed arc-consistency algorithms. In particular, 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 DisAC3.1 to DisGAC3.1, which is the first distributed algorithm that enforces generalized arc-consistency on k-ary (k≥ 2) constraint satisfaction problems. Theoretical analyses show that our algorithms are efficient in both time and space. Experiments also demonstrate that DisAC3.1 outperforms the state-of-the-art distributed arc-consistency algorithm and that DisGAC3.1 ’s performance scales linearly in the number of agents.
Please use this identifier to cite or link to this item: