Solving the MaxCSPs using MMC with teaching strategy

Shuangmei Zhao,Jiaxu Cui,Yonggang Zhang
DOI: https://doi.org/10.13232/j.cnki.jnju.2018.01.015
2018-01-01
Abstract:Constraint Satisfaction Problem(CSP)is an important research direction of artificial intelligence.It involves finding a value for each one of a set of problem variables which constraints specify that some subsets of values cannot be used together.It can model a wide range of combinatorial problems and has many applications in artificial intelligence,operations search,programming languages,databases and other areas of computer science.Common ap-plications include configuration,scheduling and planning.A solution is an assignment of a single value from its domain to each variable and no constraint is violated.A problem may have one,many,or no solutions.If this problem has one or more solutions,we call it satisfiable or consistent.However,in practical,many problems always don't have a solution which satisfies all the constraints which can be called "over constraints".The Maximum Constraint Satisfaction Problem(MaxCSP)is the simplest and most effective framework to solve over-constrained satisfaction problems which we often meet in life.Its idea is to find solutions that satisfies as many constraints as possible.And its essence is to constrain optimization problem.Inspired by a large number of success experiences in solving the continuous constrained optimization problems using metaheuristic algorithm,we solve MaxCSP using the recently proposed MMC(Method of Musical Composition)algorithm.In this paper,we add the leading strategy based on the standard MMC algorithm and make it discretized to solve MaxCSP.Finally,we carry out experiments on the popular MaxCSP instance set and compare it with the improved Teaching-learning-based Optimization(TLBO)algorithm and Differential Evolution(DE)algorithm.The experimental results show that our improved algorithm has obvious advantages both on satisfied CSP and on unsatisfied CSP.
What problem does this paper attempt to address?