附件6. 学院（系、所）国际一流水平 研究生课程简介.docVIP

附件6． 学院（系、所）国际一流水平 研究生课程简介 中英文各一份 课程名称：组合问题的解决与优化 课程代码：210.551 课程类型：□一级学科基础课 □二级学科基础课 □其它：硕士生专修课程 考核方式： 考试 教学方式：讲授 适用专业： 理工科 适用层次：*□ 硕士 □ 博士 开课学期： 秋季 总学时：24 学分：1.5 先修课程要求：离散数学 算法设计与分析 计算复杂性 课程组教师姓名 职 称 专 业 年 龄 学术方向 李初民 （负责人） 教授 计算机 50 NP难度问题的现实求解 许如初 副教授 计算机 56 NP难度问题的现实求解 课程负责教师教育经历及学术成就简介： 1?学位博士，法国贡比涅大学（University?of?Technology?of??Compiegne），1990年1月硕士, 法国贡比涅大学（University?of?Technology?of??Compiegne），1985年7月学士, 中国华中科技大学，1983年7月2?职务2003-现在:教授，法国儒尔－凡尔纳大学（University??of?Picardie?Jules?Verne）1990-2003:副教授，法国儒尔－凡尔纳大学1989-1990:助理研究员，法国贡比涅大学?研究研究领域和所获的科研奖工作领域是启发式和元启发式方法求解NP-Hard组合优化问题。我们使用变元和限制建立问题的模型，于是所有可能的变元赋值构成了我们的搜索空间。我们研究两类方法：完备算法和不完备算法。完备算法隐式地枚举搜索空间，寻找满足所有的限制的变元赋值，而不完备算法则使用某种启发策略求得一个近似解。从1998起，获得由法国科技部（the?French?ministry?of??research）颁发的科研奖，每年5000欧元。该奖项四年一审，即每四年评审一个学者的工作，以决定在下一个四年里是否予以奖励。的科研奖于2002年和2006年两次被延。国际竞赛奖SAT竞赛2005年，算法G2WSAT获银奖，参赛者共40人,2007年，算法AdaptG2WSAT0获银奖，参赛者共40人，2007年，我们的算法AdaptG2WSAT+获铜奖，参赛者共40人，2009年，我们的算法AdaptG2WSAT2009++获铜奖，参赛者共50人，2009年，我们的算法TNM获金奖，参赛者共50人。细节见： /如下的SAT算法：Satz, EqSatz?, Psatz?, G2WSAT, adaptG2WSAT0和adaptG2WSAT+是世界上最好的SAT算法，在的网页可查到。2学时）Cook定理（6学时）SAT §2.2 组合问题归约为SAT §2.3 组合问题归约为SAT的例子：图染色问题规约为SAT，皇后问题规约为SAT §2.4 图灵机 §2.5 Cook定理的证明：NP问题的解的验证归约为SAT 第三章 SAT算法（4学时） SAT的完备算法，基于二叉搜索树的DPLL程序，分支启发式，消解法简化SAT问题,冲突导致的子句学习，子句学习的例子 §3.2 SAT求解的局部搜索算法：集中性与分散性，有前途的变元 §3.3 SAT国际竞赛 第四章 MaxSAT 算法（6学时）MaxSAT的应用 §4.2 MaxSAT的分支限界算法 §4.3 使用MaxSAT的分支限界算法计算下界检测不相交的不可满足子句集 §4.4 MaxSAT的推理规则及其整数规划的证明 §4.5 MaxSAT国际评估 第五章 基于MaxSAT的MaxClique求解以及使用SAT和MaxSAT技术讨论组合优化问题（6学时）5.1 MaxClique的分支限界算法上界 §5.2 不同的MaxClique问题编码为MaxSAT问题 §5.3 基于MaxSAT的上界 §5.4 基于SAT和MaxSAT求解组合问题和组合优化问题是有前途的研究方向的讨论 教材： 李初民教授根据自己的研究工作撰写的讲稿 主要参考书： Recent proceedings of IJCAI, AAAI, CP, SAT conferences Handbook of Satisfiability, Editors: Armin Biere, Marijn Heule, Hans van Maaren and Toby Walsh , IOS Press, ISBN 978-1-58603-929-5, 2009 Computers and intractability : a guide to the theory of NP-Completeness, by Garey, Michael R.; Johnson, David S. 本