2013级--学期安排 (第四学期)

学习周历

</tr> </tr>

tbd	4-1x：数论基础	掌握数论的基础知识，理解典型的数论问题及其解决思路	TJ第2章 CS第2章第2节	模算术的概念与处理方法在数论中的应用	TJ第2章练习13、14、15、16、19、22、28、29、30、31 TJ第2章编程练习1、3 CS第2.2节问题2、4、6、8、15、16、17、19	WS第13章项目3 WS第13章项目8
tbd	4-1x：数论算法	掌握数论中一些基本问题的算法	TC第31章第1、2、3、4、5、8节	数论算法的问题大小度量方式的特殊性	TC第31.1节练习12、13 TC第31.2节练习4、5、6、9 TC第31.3节练习5 TC第31.4节练习2、3 TC第31.5节练习2、3 TC第31.6节练习2、3	实现解模线性方程组的程序 实现两个任意长度整数精确相乘的程序
tbd	4-1x：密码算法	掌握公钥密码系统的基本原理 理解其中核心的数论算法	TJ第7章 TC第31章第7、9节	数论算法的核心作用	TJ第7章练习3、7、9、12 TC第31.7节练习1、2 TC第31章问题2、3	实现Miller-Rabin算法 如果有兴趣，尝试了解与实现ASK算法
tbd	3-1x：代数编码	理解如何能建立利于查错，纠错的编码系统 理解抽象代数的应用意义	TJ第8章	群的性质如何保证编码系统的性质	TJ第8章练习6、7、8、9、11、13、18、19、21、22、23	WS第16章项目6
tbd	4-1x：串匹配	掌握最常用的字符串匹配算法	TC第32章	匹配算法的原理及其适用性	TC第32.1节练习2、3、4 TC第32.2节练习1、2、3、4 TC第32.3节练习2、3、5	KMP算法，比较普通文本与由5个符号组成的很长的串上效率的差异
tbd	[4-1：问题的形式化描述]	熟悉以基于集合的形式化方式描述问题以及相关的对象，为严格的算法分析打下基础	JH第2章第3节	如何有效地理解形式化描述？	JH第2章练习2.3.1.7、2.3.1.8、2.3.3.8	附录A.01
tbd	[4-2：NP完全理论初步]	理解如何按照问题难度对问题进行分类 理解NPC的证明方法	TC第34章	规约在NPC理论中的意义	TC第34.1节练习2、3、5 TC第34.2节练习3、4、6、11 TC第34.3节练习2 TC第34.4节练习3、5、7 TC第34.5节练习6	附录A.02
tbd	[4-7：近似算法的基本概念]	理解近似算法相关的基本概念 理解近似算法的基本评价方法	JH第4章第1、2节	近似算法分类的基本参考指标以及意义	JH第4章练习4.2.1.4、4.2.1.5、4.2.3.3、4.2.3.4、4.2.3.5	附录A.07
tbd	[4-18：启发式算法]	通过典型的模拟淬火算法，理解启发式算法的基本概念、其价值以及局限性 理解遗传算法的基本思想及其适用性	JH第6章	如何从自然界获得灵感，以非常简单的思路改造算法	列出这学期讨论的典型“难题”，在每个题目下列出可能采用的解法，并比较解的质量与代价。	附录A.18