City University of Hong Kong
DSpace
 

CityU Institutional Repository >
3_CityU Electronic Theses and Dissertations >
ETD - Dept. of Electronic Engineering  >
EE - Master of Philosophy  >

Please use this identifier to cite or link to this item: http://hdl.handle.net/2031/4480

Title: Rostering with constraint programming and heuristic
Other Titles: Xian zhi ji shu yu zhi qin bian pai zhi yan jiu
限制技術於值勤編排之研究
Authors: Wong, Yat Chung (黄逸聰)
Department: Dept. of Electronic Engineering
Degree: Master of Philosophy
Issue Date: 2004
Publisher: City University of Hong Kong
Subjects: Constraint programming (Computer science)
Heuristic programming
Notes: CityU Call Number: QA76.612.W66 2004
Includes bibliographical references (leaves 97-104)
Thesis (M.Phil.)--City University of Hong Kong, 2004
vii, 104 leaves : ill. ; 30 cm.
Type: Thesis
Abstract: Constraint Satisfaction Problem (CSP) is one of the active branches in Artificial Intelligence (AI) research. Many real world problems can be modeled as CSP naturally from business to engineering domains. Efficient techniques for solving CSPs have been widely studied in the last two decades, which is called Constraint Programming (CP). In general, CP can be divided into two main approaches, complete systematic search and incomplete local search. This thesis focuses on the first one, which is usually referred as systematic tree search incorporate with constraint consistency techniques. Search space can be efficiently reduced by repeatedly invoking constraint consistency check without affecting the original solution space. In addition, variable and value ordering heuristics are also important in tree search. A suitable heuristic can guide the search process direct to the first solution effectively. We first propose two enhancements in existing variable and value ordering heuristics, which are called MWO/FFP hybrid and Relaxed FFP. Former focuses on solving problems which large variance in degree of node, and latter focus on some evenly constrained problems. Classical problems – map coloring and N-Queen problem are used to test our approaches. Experiment results shown that our approach outperforms existing techniques. Many real world problems, such as rostering problem have been solved by CP. Nurse Rostering Problem (NRP) is one of the intensively studied applications in CSP. Unfortunately, most of these problems are NP-complete, conventional generic techniques are usually not able to solve this kind of problem within a reasonable time limit. Focusing on Nurse Rostering Problem (NRP), we developed three CSP techniques for this particular problem. They are Meta-level Reasoning (MR), Probability-based Ordering heuristic (PO) and integration of these two approaches – MRPO. Meta-Level Reasoning is a preprocessing procedure, which analyzes constraint relationship and generates more useful constraints. With constraint analysis, we may also able to discover insolvable problem before searching. The idea of Probability-based Ordering heuristic is similar to Relaxed FFP. This heuristic approximate the probability of a label occur in solution set and select the highest probability label to instantiate. The approximation is done by scoring functions, which related to properties of different constraints. Experiments show both MR and PO alone improves the search speed significantly. Furthermore, with minor changes, these two approaches can be integrate together perfectly to form a hybrid algorithm – MRPO. Experiment results show that MRPO gains advantages from both MR and PO.
Online Catalog Link: http://lib.cityu.edu.hk/record=b1871335
Appears in Collections:EE - Master of Philosophy

Files in This Item:

File Description SizeFormat
fulltext.html159 BHTMLView/Open
abstract.html159 BHTMLView/Open

Items in CityU IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Valid XHTML 1.0!
DSpace Software © 2013 CityU Library - Send feedback to Library Systems
Privacy Policy · Copyright · Disclaimer