A physical model for the satisfiability problem
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.
Unable to display preview. Download preview PDF.
- 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.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.Gu, J., Global Optimization For Satisfiability (SAT) Problem, IEEE Transactions on Knowledge and Data Engineering, Vol.6, No. 3, June 1994.Google Scholar
- 4.Li, W., Huang, W., A mathematical-physical approach to the satisfiability problem, Science in China, Vol.38, No.1, 1995.Google Scholar
- 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.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