A geometric approach to anytime constraint solving for TCSPs

  • Yeh Hong-ming
  • Jane Yung-jen Hsu
  • Han-shen Huang
Search (Constraint Satisfaction, Heuristic Search)
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1531)


Temporal constraint satisfaction problems (TCSPs) are typically modelled as graphs or networks. Efficient algorithms are only available to find solutions for problems with limited topology. In this paper, we propose constraint geometry as an alternative approach to modeling TCSPs. Finding solutions to a TCSP is transformed into a search problem in the corresponding n-dimensional space. Violations of constriants can be measured in terms of spatial distances. As a result, approximate solutions can be identified when it is impossible or impractical to find exact solutions. A real-numbered evolutionary algorithm with special mutation operators has been designed to solve the general class of TCSPs. It can render approximate solutions at any time and improve the solution quality if given more time. Experiments on hundreds of randomly generated problems with representative parameters showed that the algorithm is more efficient and robust in comparison with the pathconsistency algorithm.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    R. Dechter, I. Meiri, and J. Pearl. Temporal constraint networks. Artificial Intelligence, 49:61–95, 1991.MATHMathSciNetCrossRefGoogle Scholar
  2. 2.
    R. Dechter and J. Pearl. Network-based heuristic for constraint-satisfaction problems. Artificial Intelligence 34:1–38, 1987.MATHMathSciNetCrossRefGoogle Scholar
  3. 3.
    J. L. Devore. Probability and Statistics for Engineering and the Sciences. Brooks/Cole Publishing Company, Monterey, California, second edition, 1987.MATHGoogle Scholar
  4. 4.
    R. M. Haralick and L. G. Shapiro. Computer and Robot Vision, page 61. Addison-Wesley, 1993.Google Scholar
  5. 5.
    J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, second, extended edition, 1984.Google Scholar
  6. 6.
    E. Rich and K. Knight. Artificial Intelligence, chapter 2. McGraw-Hill, second edition, 1991.Google Scholar
  7. 7.
    G. Syswerda. Uniform crossover in genetic algorithms. In J. D. Schaffer, editor, Proceedings of the Third International Conference on Genetic Algorithms, San Mateo, California, 1989. Kaufmann Publishers.Google Scholar
  8. 8.
    H. Yeh. Genetic algorithms for generalized temporal-constraint-satisfaction-problem. Master’s thesis, National Taiwan University, June 1995.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Yeh Hong-ming
    • 1
  • Jane Yung-jen Hsu
    • 1
  • Han-shen Huang
    • 1
  1. 1.Department of Computer Science and Information EngineeringNational Taiwan UniversityTaipeiTaiwan, R.O.C.

Personalised recommendations