Advertisement

A physical model for the satisfiability problem

  • Huang Wenqi
  • Li Wei
  • Lu Weifeng
  • Zhang Yuping
Session 10B: Algorithms
Part of the Lecture Notes in Computer Science book series (LNCS, volume 959)

Abstract

An one to one and onto mapping between the set of conjunctive normal forms and a subset of the potential functions of static electricity fields is constructed; and it has been further proved that a conjunctive normal form is satisfiable if and only if the minimum of the corresponding potential function is zero. It is also shown that the local search method has the same physical model as the gradient method given in this paper.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Gu, J., Efficient Local Search for Very Large-Scale Satisfiability Problem, SIGART Bulletin, Vol. 3, No. 1, Jan. 1992, pp.8–12.Google Scholar
  2. 2.
    Gu, J., Local Search For Satisfiability (SAT) Problem, IEEE Transactions on Systems, Man, and Cybernetics, Vol. 23, No. 4, July/August 1993.Google Scholar
  3. 3.
    Gu, J., Global Optimization For Satisfiability (SAT) Problem, IEEE Transactions on Knowledge and Data Engineering, Vol.6, No. 3, June 1994.Google Scholar
  4. 4.
    Li, W., Huang, W., A mathematical-physical approach to the satisfiability problem, Science in China, Vol.38, No.1, 1995.Google Scholar
  5. 5.
    Mitchell,D.,Selman,B.,and Levesque,H.J.(1992),Hard and easy distributions of SAT problems. Proceedings AAAI-92,San Jose,CA,459–465.Google Scholar
  6. 6.
    Selman,B.and Levesque,H.J.,and Mitchell,D.G.(1992), A New Method for Solving Hard Satisfiability Problems, Proc. AAAI-92,San Jose,CA,440–446.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Huang Wenqi
    • 1
  • Li Wei
    • 2
  • Lu Weifeng
    • 2
  • Zhang Yuping
    • 2
  1. 1.Dept. of Computer ScienceHuazhong University of Science and TechnologyWu HanP.R.China
  2. 2.Dept. of Computer ScienceBeijing University of Aeronautics and AstronauticsBeijingP.R.China

Personalised recommendations