A new random CSP (constraint satisfaction pro blem) model is proposed in this paper. By analyzing the expected number of nodes in a search tree, the average running time used by the backtracking algorithm o n random constraint satisfaction problems is studied. The results show that the model can generate hard CSP instances, and the expected number of nodes required for finding all solutions or proving that no solution exists becomes exponentia lly large as the number of variables grows. Therefore, the model can be used to analyze the nature of hard instances and evaluate the performance of CSP algorit hms, and hence it helps the researchers to design more efficient algorithms.
[1]Dechter, R. Constraint satisfaction. In: The MIT Encyclopedia of th e Cognitive Sciences (MITECS). 1998. ftp://ftp.ics.uci.edu/pub/CSP-repository/p apers/R68.ps.
[2]Borow, D.G., Brady, M. Special volume on frontiers in problem solving: ph ase transitions and complexity. Artificial Intelligence, 1996,81(1~2):1~15.
[3]Smith, B.M., Dyer, M.E. Locating the phase transition in binary constrain t satisfaction problems. Artificial Intelligence, 1996,81(1~2):155~181.
[4]Frost, D. Algorithms and heuristics for constraint satisfaction problems [Ph.D. Thesis]. University of California, Irvine, 1997. ftp://ftp.ics.uci.edu/ pub/CSP-repository/papers/R69.ps.
[5]Kondrak, G., Beek, P.V. A theoretical valuation of selected algorithms. A rtificial Intelligence, 1997,89(1~2):365~387.
[6]Prosser, P. An empirical study of phase transitions in binary constraint satisfaction problems. Artificial Intelligence, 1996,81(1~2):81~109.
[7]Purdom, P.W. Backtracking and random constraint satisfaction. Annals of M athematics and Artificial Intelligence, 1997,20(1~4):393~410.
[8]Purdom, P.W, Brown, C.A. An average time analysis of backtracking. SIAM J ournal on Computing, 1981,10(3):583~593.