自适应约束满足问题求解方法的研究

作者: 王海燕

出版社: 科学出版社

出版时间: 2021-03

版次: 1

ISBN: 9787030674135

定价: 75.00

装帧: 其他

开本: 16开

纸张: 纯质纸

分类: 教材教辅考试>教材>高职教材>工程技术

4人买过

约束求解是人工智能领域非常热门的方向之一，是约束程序的核心。自适应约束求解方法是研究热点并带领约束求解的发展方向。

  《自适应约束满足问题求解方法的研究》详述在约束求解的分支策略选择、变量选择、值选择以及约束传播等相关环节应用自适应理念的方法，重点介绍自适应对求解效率的影响。各章主要研究实现自适应约束求解的技术和方法，包括：比较分析典型分支策略，突出自适应分支策略的优势；比较分析典型变量排序启发式，实现自适应变量选择约束求解方法；结合自适应值选择与自适应分支，实现自适应值选择约束求解方法；设计并实现自适应约束传播约束求解方法。

  《自适应约束满足问题求解方法的研究》可作为计算机科学与技术、智能处理、信息技术等相关专业的硕士、博士研究生和计算机科技工作者的教材或参考书。王海燕，博士后、硕士研究生导师，渥太华大学访问学者，中国计算机学会会员。主要从事人工智能、约束求解、约束优化、康复工程等领域的研究和教学工作。主持国家及省部级科研项目6项，参与国家及省部级科研项目10项，在国内外学术期刊及会议上发表论文20余篇，参编教材2部，申请计算机软件著作权2项。获得吉林省教育技术成果三等奖1项、吉林省科学技术成果奖1项、四平市科学技术成果1项，获得吉林省本科高校青年教师课堂教学大赛三等奖1项。目录

第1章　概述    1

1.1  引言    1

1.2  研究背景与研究现状    2

1.3  当前存在的主要问题    4

1.4  本书工作及组织结构    5

本章小结    8

第2章　约束满足问题相关背景知识    9

2.1  约束满足问题    9

2.2  约束求解    11

2.2.1  约束求解方法    11

2.2.2  约束求解过程    12

2.2.3  自适应约束求解    13

2.3  约束传播    15

2.3.1  引言    15

2.3.2  相容性技术    16

2.4  标准测试用例    21

2.4.1  现实世界实例    21

2.4.2  模式化实例    22

2.4.3  学术实例    22

2.4.4  半随机化实例    23

2.4.5  随机实例    24

本章小结    25

第3章　自适应分支选择    26

3.1  引言    26

3.2  分支策略及其比较    26

3.2.1  分支策略    26

3.2.2  分支策略性能对比    28

3.3  自适应分支策略    29

3.3.1  完全2way分支策略和受限2way分支策略间的自适应    29

3.3.2  实验评测    31

3.4  自适应分支策略的改进    33

3.4.1  辅助顾问启发式的改进    33

3.4.2  AdaptBranchLVO自适应分支求解算法    42

本章小结    49

第4章　自适应变量选择    51

4.1  典型变量排序启发式    51

4.1.1  静态变量排序启发式    51

4.1.2  动态变量排序启发式    52

4.2  自适应变量选择实现    53

本章小结    57

第5章　自适应值选择    58

5.1  引言    58

5.2  典型的值排序启发式    59

5.3  自适应值选择实现    60

5.3.1  典型自适应值排序启发式    60

5.3.2  自适应值选择与自适应分支的结合    62

本章小结    73

第6章　自适应约束传播    74

6.1  引言    74

6.2  两种约束传播方法之间的自适应传播    75

6.2.1  自适应约束传播启发式    75

6.2.2  基于比特位操作的自适应约束传播    77

6.2.3  基于AC与LmaxRPC的自适应约束传播    84

6.3  多种约束传播方法学习型自适应    91

本章小结    93

第7章　聚类分析理论及实践改进    94

7.1  聚类分析理论    94

7.1.1  聚类分析的定义    94

7.1.2  聚类分析的算法分类    94

7.1.3  聚类分析的过程    95

7.2  聚类分析实践改进    96

7.2.1  局部概率引导的优化Kmeans 算法    96

7.2.2  Canopy在划分聚类算法中对K选取的优化    105

本章小结    113

第8章　结论与展望    114

8.1  结论    114

8.2  展望    115

参考文献    117
内容简介:
约束求解是人工智能领域非常热门的方向之一，是约束程序的核心。自适应约束求解方法是研究热点并带领约束求解的发展方向。

《自适应约束满足问题求解方法的研究》详述在约束求解的分支策略选择、变量选择、值选择以及约束传播等相关环节应用自适应理念的方法，重点介绍自适应对求解效率的影响。各章主要研究实现自适应约束求解的技术和方法，包括：比较分析典型分支策略，突出自适应分支策略的优势；比较分析典型变量排序启发式，实现自适应变量选择约束求解方法；结合自适应值选择与自适应分支，实现自适应值选择约束求解方法；设计并实现自适应约束传播约束求解方法。

《自适应约束满足问题求解方法的研究》可作为计算机科学与技术、智能处理、信息技术等相关专业的硕士、博士研究生和计算机科技工作者的教材或参考书。
作者简介:
王海燕，博士后、硕士研究生导师，渥太华大学访问学者，中国计算机学会会员。主要从事人工智能、约束求解、约束优化、康复工程等领域的研究和教学工作。主持国家及省部级科研项目6项，参与国家及省部级科研项目10项，在国内外学术期刊及会议上发表论文20余篇，参编教材2部，申请计算机软件著作权2项。获得吉林省教育技术成果三等奖1项、吉林省科学技术成果奖1项、四平市科学技术成果1项，获得吉林省本科高校青年教师课堂教学大赛三等奖1项。
目录:
目录

第1章　概述    1

1.1  引言    1

1.2  研究背景与研究现状    2

1.3  当前存在的主要问题    4

1.4  本书工作及组织结构    5

本章小结    8

第2章　约束满足问题相关背景知识    9

2.1  约束满足问题    9

2.2  约束求解    11

2.2.1  约束求解方法    11

2.2.2  约束求解过程    12

2.2.3  自适应约束求解    13

2.3  约束传播    15

2.3.1  引言    15

2.3.2  相容性技术    16

2.4  标准测试用例    21

2.4.1  现实世界实例    21

2.4.2  模式化实例    22

2.4.3  学术实例    22

2.4.4  半随机化实例    23

2.4.5  随机实例    24

本章小结    25

第3章　自适应分支选择    26

3.1  引言    26

3.2  分支策略及其比较    26

3.2.1  分支策略    26

3.2.2  分支策略性能对比    28

3.3  自适应分支策略    29

3.3.1  完全2way分支策略和受限2way分支策略间的自适应    29

3.3.2  实验评测    31

3.4  自适应分支策略的改进    33

3.4.1  辅助顾问启发式的改进    33

3.4.2  AdaptBranchLVO自适应分支求解算法    42

本章小结    49

第4章　自适应变量选择    51

4.1  典型变量排序启发式    51

4.1.1  静态变量排序启发式    51

4.1.2  动态变量排序启发式    52

4.2  自适应变量选择实现    53

本章小结    57

第5章　自适应值选择    58

5.1  引言    58

5.2  典型的值排序启发式    59

5.3  自适应值选择实现    60

5.3.1  典型自适应值排序启发式    60

5.3.2  自适应值选择与自适应分支的结合    62

本章小结    73

第6章　自适应约束传播    74

6.1  引言    74

6.2  两种约束传播方法之间的自适应传播    75

6.2.1  自适应约束传播启发式    75

6.2.2  基于比特位操作的自适应约束传播    77

6.2.3  基于AC与LmaxRPC的自适应约束传播    84

6.3  多种约束传播方法学习型自适应    91

本章小结    93

第7章　聚类分析理论及实践改进    94

7.1  聚类分析理论    94

7.1.1  聚类分析的定义    94

7.1.2  聚类分析的算法分类    94

7.1.3  聚类分析的过程    95

7.2  聚类分析实践改进    96

7.2.1  局部概率引导的优化Kmeans 算法    96

7.2.2  Canopy在划分聚类算法中对K选取的优化    105

本章小结    113

第8章　结论与展望    114

8.1  结论    114

8.2  展望    115

参考文献    117