Local search for distributed SAT with complex local problems

Katsutoshi Hirayama, Makoto Yokoo

Research output: Contribution to conferencePaper

12 Citations (Scopus)

Abstract

A distributed constraint satisfaction problem (DisCSP) is a general framework that can formalize various application problems in Multi-Agent Systems. The authors have developed a series of algorithms for solving DisCSPs, including an iterative improvement algorithm called the distributed breakout (DB) algorithm. This algorithm, however, deals only with DisCSPs where each agent has exactly one local variable and the relevant constraints to the variable. In this paper, we propose a new algorithm called MULTI-DB for solving distributed SAT (DisSAT) where each agent has multiple local variables and the relevant clauses to the variables. We conduct an experiment to compare MULTI-DB with the previous algorithm called MULTI-AWC on well-known (Dis)3-SAT benchmarks. The results are very impressive since MULTI-DB has much less average communication and computation costs for almost all cases (at least an order of magnitude less for larger problems). We also identify a trade-off between communication and computation costs of algorithms when we vary the degree of decentralization.

Original languageEnglish
Pages1199-1206
Number of pages8
DOIs
Publication statusPublished - Jan 1 2002
EventProceedings of the 1st International Joint Conference on: Autonomous Agents and Multiagent Systems - Bologna, Italy
Duration: Jul 15 2002Jul 19 2002

Other

OtherProceedings of the 1st International Joint Conference on: Autonomous Agents and Multiagent Systems
CountryItaly
CityBologna
Period7/15/027/19/02

All Science Journal Classification (ASJC) codes

  • Engineering(all)

Fingerprint Dive into the research topics of 'Local search for distributed SAT with complex local problems'. Together they form a unique fingerprint.

  • Cite this

    Hirayama, K., & Yokoo, M. (2002). Local search for distributed SAT with complex local problems. 1199-1206. Paper presented at Proceedings of the 1st International Joint Conference on: Autonomous Agents and Multiagent Systems, Bologna, Italy. https://doi.org/10.1145/545094.545099