Abstract
Distributed constraint satisfaction problems (DisCSPs) are composed of agents, each holding its own variables, that are connected by constraints to variables of other agents. Due to the distributed nature of the problem, message delay can have unexpected effects on the behavior of distributed search algorithms on DisCSPs. This has been recently shown in experimental studies of asynchronous backtracking algorithms (Bejar et al., Artif. Intell., 161:117–148, 2005; Silaghi and Faltings, Artif. Intell., 161:25–54, 2005). To evaluate the impact of message delay on the run of DisCSP search algorithms, a model for distributed performance measures is presented. The model counts the number of non concurrent constraints checks, to arrive at a solution, as a non concurrent measure of distributed computation. A simpler version measures distributed computation cost by the non-concurrent number of steps of computation. An algorithm for computing these distributed measures of computational effort is described. The realization of the model for measuring performance of distributed search algorithms is a simulator which includes the cost of message delays. Two families of distributed search algorithms on DisCSPs are investigated. Algorithms that run a single search process, and multiple search processes algorithms. The two families of algorithms are described and associated with existing algorithms. The performance of three representative algorithms of these two families is measured on randomly generated instances of DisCSPs with delayed messages. The delay of messages is found to have a strong negative effect on single search process algorithms, whether synchronous or asynchronous. Multi search process algorithms, on the other hand, are affected very lightly by message delay.
Similar content being viewed by others
References
Bejar, R., Domshlak, C., Fernandez, C., Gomes, K., Krishnamachari, B., Selman, B., Valls, M.: Sensor networks and distributed csp: communication, computation and complexity. Artif. Intell. 161(1–2), 117–148 (2005)
Bessiere, C., Maestre, A., Brito, I., Meseguer, P.: Asynchronous backtracking without adding links: A new member in the abt family. Artif. Intell. 161(1–2), 7–24 (2005)
Brito, I., Meseguer, P.: Synchronous, asnchronous and hybrid algorithms for discsp. In: Workshop on Distributed Constraints Reasoning(DCR-04) CP-2004, Toronto, September 2004
Dechter, R.: Constraints Processing. Morgan Kaufman, San Mateo, California (2003)
Ginsberg, M.L.: Dynamic backtracking. J. Artif. Intell. Res. 1, 25–46 (1993)
Hamadi, Y.: Interleaved backtracking in distributed constraint networks. Int. J. Artif. Intell. Tools 11, 167–188 (2002)
Lamport, L.: Time, clocks and the ordering of events in distributed system. Commun. ACM 2, 95–114 (1978)
Lynch, N.A.: Distributed Algorithms. Morgan Kaufmann, San Mateo, California (1997)
Meisels, A., Razgon, I., Kaplansky, E., Zivan, R.: Comparing performance of distributed constraints processing algorithms. In: Proceedings of AAMAS-2002 Workshop on Distributed Constraint Reasoning DCR, Bologna, pp. 86–93, July 2002
Meisels, A., Zivan, R.: Asynchronous forward-checking for distributed csps. In: Zhang, W. (ed.) Frontiers in Artificial Intelligence and Applications. IOS, Amsterdam, The Netherlands (2003)
Prosser, P.: Hybrid algorithms for the constraint satisfaction problem. Comput. Intell. 9, 268–299 (1993)
Prosser, P.: An empirical study of phase transitions in binary constraint satisfaction problems. Artif. Intell. 81, 81–109 (1996)
Silaghi, M.C.: Asynchronously solving problems with privacy requirements. PhD thesis, Swiss Federal Institute of Technology (EPFL) (2002)
Silaghi, M.C., Faltings, B.: Parallel proposals in asynchronous search. Technical Report 01/#371, EPFL, August 2001. http://liawww.epfl.ch/cgi-bin/Pubs/recherche
Silaghi, M.C., Faltings, B.: Asynchronous aggregation and consistency in distributed constraint satisfaction. Artif. Intell. 161(1–2), 25–54 (2005)
Smith, B.M.: Locating the phase transition in binary constraint satisfaction problems. Artif. Intell. 81, 155–181 (1996)
Solotorevsky, G., Gudes, E., Meisels, A.: Modeling and solving distributed constraint satisfaction problems(dcsps). In: Constraint Processing-96, pp. 561–562, New Hamphshire, October 1996
Yokoo, M.: Algorithms for distributed constraint satisfaction problems: A review. Auton. Agents Multi-Agent Syst. 3, 198–212 (2000)
Yokoo, M., Hirayama, K., Sycara, K.: The phase transition in distributed constraint satisfaction problems: first results. In: Proceedings of CP-2000, pp. 515–519, Singapore (2000)
Zivan, R., Meisels, A.: Parallel backtrack search on discsps. In: Proceedings of Workshop on Distributed Constraint Reasoning DCR-02, Bologna, July 2002
Zivan, R., Meisels, A.: Synchronous vs asynchronous search on discsps. In: Proceedings of the 1st European Workshop on Multi Agent System, EUMAS, Oxford, December 2003
Zivan, R., Meisels, A.: Concurrent backtrack search for discsps. In: Proceedings of FLAIRS-04, pp. 776–781, Miami Florida, May 2004
Zivan, R., Meisels, A.: Concurrent dynamic backtracking for distributed csps. Artificial Intelligence Journal 170, 440–461 (2006)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Zivan, R., Meisels, A. Message delay and DisCSP search algorithms. Ann Math Artif Intell 46, 415–439 (2006). https://doi.org/10.1007/s10472-006-9033-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10472-006-9033-2