论文标题
具有考试时间表案例研究的离散域的约束驱动解决方案模型
A Constraint Driven Solution Model for Discrete Domains with a Case Study of Exam Timetabling Problems
论文作者
论文摘要
许多科学和工程应用都需要通过满足一组约束来寻找解决方案来计划和优化问题。这些约束问题(CPS)通常是NP完整的,可以正式化为约束满意度问题(CSP)或约束优化问题(COPS)。进化算法(EAS)是在各种问题领域无处不在的优化问题的好求解器,但是EAS的传统操作员对约束“盲目”或通常使用依赖问题的目标功能;因为他们没有从搜索解决方案的约束中利用信息。 EA,智能约束处理进化算法(ICHEA)的一种变化已被证明是一种多功能约束,在我们早期的工作中(Sharma and Sharma,2012)在我们的早期作品中引入了持续约束问题(Sharma and Sharma,2012),从而从约束中提取信息,从而在搜索方面提取了它,以提高搜索能力。在本文中,ICHEA已被证明可以解决基准考试的时间表问题,这是一个经典的警察。提出的方法在解决方案质量方面通过EA的其他最先进的方法证明了竞争成果。 ICHEA首先使用其婚外交叉运营商逐渐满足所有给定的约束,然后使用传统和增强运营商的组合来优化解决方案。通常,通过EAS求解的CP是基于问题的基于惩罚的适应性功能。我们还提出了一个基于通用首选项的解决方案模型,该模型不需要问题依赖于问题的健身函数,但是目前它仅适用于相互排斥的约束。
Many science and engineering applications require finding solutions to planning and optimization problems by satisfying a set of constraints. These constraint problems (CPs) are typically NP-complete and can be formalized as constraint satisfaction problems (CSPs) or constraint optimization problems (COPs). Evolutionary algorithms (EAs) are good solvers for optimization problems ubiquitous in various problem domains, however traditional operators for EAs are 'blind' to constraints or generally use problem dependent objective functions; as they do not exploit information from the constraints in search for solutions. A variation of EA, Intelligent constraint handling evolutionary algorithm (ICHEA), has been demonstrated to be a versatile constraints-guided EA for continuous constrained problems in our earlier works in (Sharma and Sharma, 2012) where it extracts information from constraints and exploits it in the evolutionary search to make the search more efficient. In this paper ICHEA has been demonstrated to solve benchmark exam timetabling problems, a classic COP. The presented approach demonstrates competitive results with other state-of-the-art approaches in EAs in terms of quality of solutions. ICHEA first uses its inter-marriage crossover operator to satisfy all the given constraints incrementally and then uses combination of traditional and enhanced operators to optimize the solution. Generally CPs solved by EAs are problem dependent penalty based fitness functions. We also proposed a generic preference based solution model that does not require a problem dependent fitness function, however currently it only works for mutually exclusive constraints.