组合问题的解决与优化-华中科技大学研究生院.doc

附件6． 学院（系、所）国际一流水平 研究生课程简介 (中英文各一份) 课程名称：组合问题的解决与优化课程代码：210.551课程类型：□一级学科基础课 □二级学科基础课 □其它：硕士生专修课程 考核方式： 考试 教学方式：讲授适用专业： 理工科适用层次：*□ 硕士 □ 博士开课学期： 秋季 总学时：24学分：1.5先修课程要求：离散数学 算法设计与分析 计算复杂性课程组教师姓名职 称专 业年 龄学术方向李初民 （负责人）教授计算机50NP难度问题的现实求解许如初副教授计算机56NP难度问题的现实求解课程负责教师教育经历及学术成就简介： 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:助理研究员，法国贡比涅大学 3?研究 研究领域和所获的科研奖 工作领域是启发式和元启发式方法求解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算法，在李初民教授的网页可查到。 课程教学目标： 引导学生对NP-hard问题的理论以及学术界对于此问题的研究现状有较深入地了解与认识，使学生理解研究此类问题的理论意义与实际应用价值，培养学生对于此问题的研究兴趣，进而对于组合问题的解决与优化做进一步的有价值的工作。 课程大纲：（章节目录） 这门课程是一门关于困难的组合问题以及组合优化的现实求解的课程，注重的是问题的理论与实际意义，要求学生阅读最新的文献并组织讨论。 绪论（2学时） §1.1 算法的复杂性， §1.2 判定问题和优化问题， §1.3 P问题与NP问题， §1.4 组合问题以及组合问题的优化， §1.5 NP完全与NP难， §1.6 多项式复杂性与指数复杂性的比较 第二章 Cook定理（6学时） §2.1 第一个NP完全问题：SAT §2.2 组合问题归约为SAT §2.3 组合问题归约为SAT的例子：图染色问题规约为SAT，皇后问题规约为SAT §2.4 图灵机 §2.5 Cook定理的证明：NP问题的解的验证归约为SAT 第三章 SAT算法（4学时） §3.1 SAT的完备算法，基于二叉搜索树的DPLL程序，分支启发式，消解法简化SAT问题,冲突导致的子句学习，子句学习的例子 §3.2 SAT求解的局部搜索算法：集中性与分散性，有前途的变元 §3.3 SAT国际竞赛 第四章 MaxSAT 算法（6学时） §4.1 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