by Hui Kau Cheung Henry. / Thesis (M.Phil.)--Chinese University of Hong Kong, 2002. / Includes bibliographical references (leaves 107-112). / Abstracts in English and Chinese. / Abstract --- p.ii / Acknowledgments --- p.iii / Chapter 1 --- Introduction --- p.1 / Chapter 1.1 --- Motivation --- p.1 / Chapter 1.2 --- Organizations of the Thesis --- p.2 / Chapter 2 --- Background --- p.4 / Chapter 2.1 --- Constraint Satisfaction Problems --- p.4 / Chapter 2.1.1 --- Local Consistency Algorithm --- p.5 / Chapter 2.1.2 --- Backtracking Solver --- p.8 / Chapter 2.1.3 --- The Branch-and-Bound Algorithm --- p.10 / Chapter 2.2 --- Over-constrained Problems --- p.14 / Chapter 2.2.1 --- Weighted Constraint Satisfaction Problems --- p.15 / Chapter 2.2.2 --- Possibilistic Constraint Satisfaction Problems --- p.15 / Chapter 2.2.3 --- Fuzzy Constraint Satisfaction Problems --- p.16 / Chapter 2.2.4 --- Partial Constraint Satisfaction Problems --- p.17 / Chapter 2.2.5 --- Semiring-Based Constraint Satisfaction Problems --- p.18 / Chapter 2.2.6 --- Valued Constraint Satisfaction Problems --- p.22 / Chapter 2.3 --- The Theory of Constraint Hierarchies --- p.23 / Chapter 2.4 --- Related Work --- p.26 / Chapter 2.4.1 --- An Incremental Hierarchical Constraint Solver --- p.28 / Chapter 2.4.2 --- Transforming Constraint Hierarchies into Ordinary Con- straint System --- p.29 / Chapter 2.4.3 --- The SCSP Framework --- p.30 / Chapter 2.4.4 --- The DeltaStar Algorithm --- p.32 / Chapter 2.4.5 --- A Plug-In Architecture of Constraint Hierarchy Solvers --- p.34 / Chapter 3 --- Local Consistency in Constraint Hierarchies --- p.36 / Chapter 3.1 --- A Reformulation of Constraint Hierarchies --- p.37 / Chapter 3.1.1 --- Error Indicators --- p.37 / Chapter 3.1.2 --- A Reformulation of Comparators --- p.38 / Chapter 3.1.3 --- A Reformulation of Solution Set --- p.40 / Chapter 3.2 --- Local Consistency in Classical CSPs --- p.41 / Chapter 3.3 --- Local Consistency in SCSPs --- p.42 / Chapter 3.4 --- Local Consistency in CHs --- p.46 / Chapter 3.4.1 --- The Operations of Error Indicator --- p.47 / Chapter 3.4.2 --- Constraint Hierarchy k-Consistency --- p.49 / Chapter 3.4.3 --- A Comparsion between CHAC and PAC --- p.50 / Chapter 3.4.4 --- The CHAC Algorithm --- p.52 / Chapter 3.4.5 --- Time and Space Complexities of the CHAC Algorithm --- p.53 / Chapter 3.4.6 --- Correctness of the CHAC Algorithm --- p.56 / Chapter 4 --- A Consistency-Based Finite Domain Constraint Hierarchy Solver --- p.59 / Chapter 4.1 --- The Branch-and-Bound CHAC Solver --- p.59 / Chapter 4.2 --- Correctness of the Branch-and-Bound CHAC Solver --- p.61 / Chapter 4.3 --- An Example Execution Trace --- p.64 / Chapter 4.4 --- Experiments and Results --- p.66 / Chapter 4.4.1 --- Experimental Setup --- p.68 / Chapter 4.4.2 --- The First Experiment --- p.71 / Chapter 4.4.3 --- The Second Experiment --- p.94 / Chapter 5 --- Concluding Remarks --- p.103 / Chapter 5.1 --- Summary and Contributions --- p.103 / Chapter 5.2 --- Future Work --- p.104 / Bibliography --- p.107
Identifer | oai:union.ndltd.org:cuhk.edu.hk/oai:cuhk-dr:cuhk_323815 |
Date | January 2002 |
Contributors | Hui, Kau Cheung Henry., Chinese University of Hong Kong Graduate School. Division of Computer Science and Engineering. |
Source Sets | The Chinese University of Hong Kong |
Language | English, Chinese |
Detected Language | English |
Type | Text, bibliography |
Format | print, xii, 112 leaves : ill. ; 30 cm. |
Rights | Use of this resource is governed by the terms and conditions of the Creative Commons “Attribution-NonCommercial-NoDerivatives 4.0 International” License (http://creativecommons.org/licenses/by-nc-nd/4.0/) |
Page generated in 0.0019 seconds