幫助中心 | 我的帳號 | 關於我們
進階搜尋
car

同類熱銷排行榜

最近瀏覽的商品

電腦程序設計藝術(卷4B組合演算法2英文版)(精)/圖靈原版電腦科學系列

  • 作者：(美)高德納|責編:王軍花
  • 出版社：人民郵電
  • ISBN：9787115667601
  • 出版日期：2025/05/01
  • 裝幀：精裝
  • 頁數：673
人民幣：RMB 299.8 元      售價：元
放入購物車
加入收藏夾
內容大鋼
    「電腦程序設計藝術」系列是圖靈獎得主高德納傾盡心血進行的一項巨大的寫作計劃，這套書被公認為電腦科學領域的權威之作，深入闡述了程序設計和演算法理論，對電腦領域的發展有著極為深遠的影響。高德納是演算法和程序設計領域的先驅者，對電腦科學發展史也有著深入的研究，書中在介紹眾多理論的同時，也給出了相關的歷史和發展進程，成為本書的一大特色。本書是該系列的卷4B，以7.2.2節開篇，討論回溯編程，內容包括舞蹈鏈、精準覆蓋問題、演算法謎題、可滿足性問題等。
    本書適合從事電腦科學、計算數學等各方面工作的人員閱讀，也適合高等院校相關專業的師生作為教學參考書，對於想深入理解電腦演算法的讀者，是一份必不可少的珍品。
作者介紹
(美)高德納|責編:王軍花
    高德納（Donald E.Knuth），著名電腦科學家，演算法與程序設計技術的先驅者、斯坦福大學電腦系榮休教授、電腦排版系統TEX和METAFONT字體系統的發明人，因諸多成就以及大量富於創造力和具有深遠影響的著作（19部書，1160篇論文）而譽滿全球。近些年，他將精力全部投入到《電腦程序設計藝術》七卷集的史詩般創作中。Knuth教授獲得過許多獎項和榮譽，包括美國電腦協會圖靈獎、美國國家科學獎章、美國數學學會的斯蒂爾獎，以及因發明先進技術于1996年榮獲的京都獎。1996年，設立了以其名字命名的Donald E.Knuth獎，授予那些為電腦科學基礎做出傑出貢獻的人。
目錄
重溫預備數學知識
  不等式
  秩
  從秩得到的尾部不等式
  應用
  幾乎必然和確乎必然的陳述
  習題
第7章  組合查找
  7.2  生成所有可能的組合對象
    7.2.1  生成基本組合模式
    7.2.2  回溯編程
      數據結構
      沃克方法
      排列與蘭福德對
      單詞矩形
      無逗點碼
      選擇的動態排序
      重溫順序分配
      無逗點碼問題的列表
      行動和撤銷的一般機制
      無逗點碼的回溯
      運行時間估計
      *估計解的個數
      分解問題
      歷史注記
      習題
      7.2.2.1  舞蹈鏈
      精確覆蓋問題
      副項
      進度報告
      數獨
      多聯骨牌
      多聯立方
      分解精確覆蓋問題
      受限顏色覆蓋
      引入重數
      *新的舞步
      *分析演算法X
      *分析匹配問題
      *保持適當的專註
      利用局部等價性
      *預處理選項
      最小成本解
      *實現最小成本截斷
      *使用ZDD的舞蹈鏈
      總結
      歷史注記
      習題（第1組）
      習題（第2組）
      習題（第3組）

      7.2.2.2  可滿足性
      一個簡單的例子
      精確覆蓋
      圖著色
      因式分解整數
      故障測試
      學習布爾函數
      有界模型檢測
      互斥中的應用
      數字體層成像
      SAT實例——總結
      回溯求解可滿足性問題
      惰性數據結構
      從單元子句強制移動
      演算法的比較
      *通過更加努力地工作來獲得提速
      *通過前瞻來獲得提速
      *更進一步的前瞻
      隨機可滿足性問題
      分析隨機2SAT問題
      歸結法
      *一般歸結法的下界
      使用歸結的SAT求解
      由衝突驅動的子句學習
      不可滿足性證書
      *清除無用的子句
      *刷新文字並重新開始
      蒙特卡羅演算法
      局部引理
      跡與板塊
      跡上的算術
      *跡與局部引理
      *消息傳遞
      *預處理子句
      將約束編碼為子句
      單元傳播與強制
      對稱性破缺
      保可滿足性的映射
      100個測試樣例
      調整參數
      利用並行化
      簡史
      習題
習題答案
附錄A  數值表
附錄B  記號索引
附錄C  演算法、定理、引理、推論和程序索引
附錄D  組合問題索引
附錄E  習題解答中謎題的答案

  • 商品搜索：
  • | 高級搜索
首頁│ 新手上路│ 客服中心│ 關於我們│ 聯絡我們│ Top↑│
Copyrightc 1999~2008 美商天龍國際圖書股份有限公司 臺灣分公司. All rights reserved.
營業地址:臺北市中正區重慶南路一段103號1F 105號1F-2F
讀者服務部電話：02-2381-2033 02-2381-1863　時間：週一-週五 10:00-17:00
　服務信箱：bookuu@69book.com 客戶、意見信箱:cs@69book.com
ICP證：浙B2-20060032