《離散數(shù)學(xué)引論》是1986年天津科學(xué)技術(shù)出版社出版的圖書，作者是張錦文、沈瑞民。
內(nèi)容簡介
本書供數(shù)學(xué)、應(yīng)用數(shù)學(xué)、計(jì)算機(jī)科學(xué)技術(shù)、信息等專業(yè)的研究生和需要較深離散數(shù)學(xué)的本科生選用。全書劃分六篇，主要內(nèi)容如下：
圖論與算法圖論、組合論、代數(shù)系統(tǒng)、數(shù)理邏輯、離散數(shù)學(xué)中的空間、矩陣和擬陣、Turing機(jī)和計(jì)算復(fù)雜度理論，每篇配有難易適當(dāng)?shù)淖銐蜃鳂I(yè)題。
全書概念與理論明晰嚴(yán)謹(jǐn)，注重算法與應(yīng)用，文字洗練生動，立論深入淺出，可讀與可教性強(qiáng)。
目錄
序 言
第一篇 圖及其算法
1.1 什么是圖論
1.2 圖的定義
1.3 Brouwer不動點(diǎn)定理
1.4 Dijkstra算法
習(xí)題一
1.5 樹
1.6 生成樹
1.6.1 生成樹的個數(shù)
1.6.2 最優(yōu)生成樹的Kruskal算法
1.7 常用樹
1.7.1 有序二元樹
1.7.2 Huffman樹
習(xí)題二
1.8 平面圖
1.8.1 平面圖及其Euler公式
1.8.2 對偶圖和極大平面圖
1.8.3 Kuratowsky定理
1.8.4 圖的厚度
習(xí)題三
1.9 縱深搜索和平面嵌入算法
1.9.1 廣度優(yōu)先與深度優(yōu)先搜索算法
1.9.2 求割頂和塊的算法
1.9.3 有向圖的DFS和極大強(qiáng)連通子圖的算法
1.9.4 平面嵌入算法
習(xí)題四
1.10 匹配
1.10.1 匹配理論
1.10.2 二分圖中最大匹配與最佳匹配的算法
習(xí)題五
1.11 圖上遍歷
1.11.1 Euler圖
1.11.2 求Euler回路的算法
1.11.3 中國郵路問題
1.11.4 Harmihon圖
習(xí)題六
1.12 色
1.12.1 邊色數(shù)
..........
第二篇 組合基礎(chǔ)
第三篇 代數(shù)與計(jì)數(shù)
第四篇 離散數(shù)學(xué)中的空間。矩陣和擬陣
第五篇 不確定Turing機(jī)和計(jì)算的時(shí)間復(fù)雜度
第六篇 數(shù)理邏輯
習(xí)題一
習(xí)題二
參考文獻(xiàn)
參考資料 >