計算機程序設計藝術.卷4B-組合算法 (二) 高德納 9787115666338 【台灣高等教育出版社】

*書籍均為代購，我們向大陸付款發訂後即無法取消，為避免造成不必要的損失，
下訂前請慎重考慮！下訂前請慎重考慮！謝謝。
*完成訂單後正常情形下約兩周可抵台。
*本賣場提供之資訊僅供參考，以到貨標的為正確資訊。
印行年月：202504*若逾兩年請先於客服中心或Line洽詢存貨情況，謝謝。
台灣(台北市)在地出版社，每筆交易均開具統一發票，祝您中獎最高1000萬元。
書名：計算機程序設計藝術.卷4B-組合算法 (二)
ISBN：9787115666338
出版社：人民郵電
著編譯者：高德納
頁數：590
所在地：中國大陸 *此為代購商品
書號：1741572
可大量預訂，請先連絡。

編輯推薦
適讀人群 ：計算機與算法專業研究人員與從業者
《計算機程序設計藝術》堪稱計算機科學領域的瑰寶。從事研究的人驚豔于其精美優雅的分析，而普通程序員則一直在卓有成效地利用書中提供的各種方案解決日常問題。這些書展現了作者的博觀、清晰、精確和幽默，所有的人都欽佩不已。高德納是算法和程序設計領域的先驅者，對計算機科學發展史也有著深入的研究，書中在介紹眾多理論的同時，也給出了相關的歷史和發展歷程，成為本書的一大特色。
《計算機程序設計藝術》系列被公認為計算機科學領域的專業之作，深入闡述了程序設計理論，對計算機領域的發展有著極為深遠的影響。本書是該系列的第4卷B，書中第4卷A的基礎上，進一步介紹了組合算法相關的核心知識，內容涉及布爾函數、按位操作技巧、元組和排列、組合和分區以及所有的樹等。

內容簡介
《計算機程序設計藝術》堪稱計算機科學領域的瑰寶。從事研究的人驚豔于其精美優雅的分析，而普通程序員則一直在卓有成效地利用書中提供的各種方案解決日常問題。這些書展現了作者的博觀、清晰、精確和幽默，所有的人都欽佩不已。高德納是算法和程序設計領域的先驅者，對計算機科學發展史也有著深入的研究，書中在介紹眾多理論的同時，也給出了相關的歷史和發展歷程，成為本書的一大特色。《計算機程序設計藝術》系列被公認為計算機科學領域的權威之作，深入闡述了程序設計理論，對計算機領域的發展有著極為深遠的影響。本書是該系列的第4卷B，書中第4卷A的基礎上，進一步介紹了組合算法相關的核心知識，內容涉及布爾函數、按位操作技巧、元組和排列、組合和分區以及所有的樹等。

作者簡介
高德納（Donald E Knuth）
1974年圖靈獎得主，斯坦福大學計算機系榮休教授，美國國家科學院院士，美國工程院院士。
計算機科學家，算法與程序設計技術的先驅者、計算機排版系統TEX和METAFONT字體系統的發明人，因諸多成就以及大量富於創造力和具有深遠影響的著作（19部書，160篇論文）而譽滿全球。
近些年，他將精力全部投入到”計算機程序設計藝術”七卷集的史詩般創作中。
Knuth教授獲得過許多獎項和榮譽，包括美國國家科學獎章 、計算機先鋒獎、美國數學學會的斯蒂爾獎、IEEE馮 諾依曼獎，以及因發明先進技術於1996年榮獲的京都獎。1996年，Donald E Knuth獎設立，授予那些為計算機科學基礎做出傑出貢獻的人。

精彩書評
這是一部包含一切基礎算法的寶典，是它教給了這一代軟件開發人員關於計算機程序設計的絕大多數知識。——Byte雜誌1995年9月刊
我簡直說不清楚這些書給我的學習和娛樂帶來了多少歡樂時光。我在各種場合一有空就仔細研讀，在車上，在餐館，上班時，回到家裡甚至有次觀看我兒子的球賽，趁他沒上場的時候，我還拿出來看了一陣子。——Charles Long
如果你自以為是一個很好的程序員，請去讀讀高德納的”計算機程序設計藝術”系列吧要是你真把它讀下來了，就毫無疑問可以給我遞簡歷了。——比爾 蓋茨
遇到問題需要把高德納的著作請下書架，總是個令人愉悅的經歷。我發現，只要翻一翻這些書，就會立竿見影地”鎮住”計算機。——Jonathan Laventhol

目錄

重溫預備數學知識 1
不等式 3
鞅 5
從鞅得到的尾部不等式 6
應用 8
幾乎必然和確乎必然的陳述 9
習題 10
第7 章 組合查找 [4A 1]
7 2 生成所有可能的組合對象 [4A 234]
7 2 1 生成基本組合模式 [4A 234]
7 2 2 回溯編程 26
數據結構 27
沃克方法 28
排列與蘭福德對 29
單詞矩形 31
無逗點碼 32
選擇的動態排序 33
重溫順序分配 33
無逗點碼問題的列表 35
行動和撤銷的一般機制 36
無逗點碼的回溯 38
運行時間估計 39
*估計解的個數 42
分解問題 43
歷史注記 45
習題 46
7 2 2 1 舞蹈鏈 55
精確覆蓋問題 56
副項 60
進度報告 61
數獨 62
多聯骨牌 67
多聯立方 69
分解精確覆蓋問題 70
受限顏色覆蓋 73
引入重數 78
*新的舞步 81
*分析算法X 83
*分析匹配問題 86
*保持適當的專注 88
利用局部等價性 90
*預處理選項 91
最小成本解 93
*實現最小成本截斷 97
*使用ZDD 的舞蹈鏈 99
總結 102
歷史注記 102
習題（第 1 組） 103
習題（第 2 組） 130
習題（第3 組） 145
7 2 2 2 可滿足性 154
一個簡單的例子 156
精確覆蓋 157
圖著色 158
因式分解整數 160
故障測試 161
學習布爾函數 165
有界模型檢測 167
互斥中的應用 169
數字體層成像 173
SAT 實例——總結 175
回溯求解可滿足性問題 175
惰性數據結構 177
從單元子句強制移動 179
算法的比較 181
*通過更加努力地工作來獲得提速 182
*通過前瞻來獲得提速 185
*更進一步的前瞻 190
隨機可滿足性問題 191
分析隨機2SAT 問題 195
歸結法 197
*一般歸結法的下界 199
使用歸結的SAT 求解 202
由衝突驅動的子句學習 203
不可滿足性證書 209
*清除無用的子句 211
*刷新文字並重新開始 214
蒙特卡羅算法 215
局部引理 218
跡與板塊 220
跡上的算術 221
*跡與局部引理 223
*消息傳遞 226
*預處理子句 230
將約束編碼為子句 231
單元傳播與強制 236
對稱性破缺 238
保可滿足性的映射 240
100個測試樣例 244
調整參數 253
利用並行化 257
簡史 257
習題 260
習題答案 303
附錄A 數值表 544
附錄B 記號索引 548
附錄C 算法、定理、引理、推論和程序索引 553
附錄D 組合問題索引 554
附錄E 習題解答中謎題的答案 557
人名索引 560
索引 570

詳細資料或其他書籍請至台灣高等教育出版社查詢，查後請於客服中心或Line或本社留言板留言，我們即儘速上架。

大陸簡體正版圖書，訂購後正常情形下約兩周可抵台。