2015级--讨论记录 (第四学期)

2017年02月23日 主题：线性规划 [课件]

习题讲解

• 线性规划的形式
• 线性规划中的对偶
• 使用线性规划建模最短路径问题

报告

• 证明：线性规划的可行区域是凸集 [陆纪圆][葛一帆]
• 证明 CLRS 引理 29.2 [王睿][吴澄杰]

问题

• 线性规划在 Game Theory 中的简单应用

2017年03月02日 主题：线性规划 [无新课件；见上次课件]

习题讲解

• 线性规划中的对偶 (Problem 29-1: Linear inequality feasibility problem)

报告

• 循环群非单位元讨论 [徐碧村] [魏楠]
• 交换群证明 [陈永恒]

2017年03月09日 主题：群论基础知识 [现仅有手写版本，课件制作中]

习题讲解

• 群与子群
• Abelian 群
• 二面体群（D_4 与它的10个子群）
• 循环群

报告

• 2阶魔方背后的群论知识 [吴澄杰、陈永恒]

问题

• 置换群在 15-Puzzle 中的应用 [An Analysis of the 15-Puzzle.pdf] （建议：根据所讲解的构造性证明做“15-Puzzle Solver”编程练习）