《自適應約束滿足問題求解方法的研究》是一本2021年出版的圖書，由科學出版社出版
基本介紹
- 中文名：自適應約束滿足問題求解方法的研究
- 作者：王海燕,趙劍,史麗娟
- 類別：建築工程類圖書
- 出版社：科學出版社
- 出版時間：2021年
- 開本：16 開
- 裝幀：平裝-膠訂
- ISBN：9787030674135
內容簡介,作者簡介,圖書目錄,
內容簡介
約束求解是人工智慧領域非常熱門的方向之一，是約束程式的核心。自適應約束求解方法是研究熱點並帶領約束求解的發展方向。
《自適應約束滿足問題求解方法的研究》詳述在約束求解的分支策略選擇、變數選擇、值選擇以及約束傳播等相關環節套用自適應理念的方法，重點介紹自適應對求解效率的影響。各章主要研究實現自適應約束求解的技術和方法，包括：比較分析典型分支策略，突出自適應分支策略的優勢；比較分析典型變數排序啟發式，實現自適應變數選擇約束求解方法；結合自適應值選擇與自適應分支，實現自適應值選擇約束求解方法；設計並實現自適應約束傳播約束求解方法。
《自適應約束滿足問題求解方法的研究》可作為計算機科學與技術、智慧型處理、信息技術等相關專業的碩士、博士研究生和計算機科技工作者的教材或參考書。
作者簡介
王海燕，博士後、碩士研究生導師，渥太華大學訪問學者，中國計算機學會會員。主要從事人工智慧、約束求解、約束最佳化、康復工程等領域的研究和教學工作。主持國家及省部級科研項目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
