作者信息

屈婉玲，北京大学信息科学技术学院教授，博士生导师，长期从事离散数学、算法分析和计算复杂性等方向的教学和研究工作。参与完成多项国家研究课题，撰写多部教材、教学参考书与译著，其中包括国家规划教材、北京市精品教材、教育部高等教育精品教材等，曾获得北京市教学成果奖一等奖，被评为北京大学十佳教师和北京市优秀教师，系国家精品课“离散数学”课程主持人，“算法设计与分析”课程主讲教师。 刘田，博士，北京大学信息科学技术学院副教授，中国电子学会电路与系统分会图论与系统优化专委会副理事长，中国计算机学会理论计算机科学专委会委员，主要从事算法分析与计算复杂度方面的研究和教学工作，翻译多部国外著名离散数学和计算理论教材，系国家精品课“离散数学”课程主讲教师，“算法设计与分析”课程主讲教师。本书的编写得到国家自然科学基金（61370052）的资助。 张立昂，北京大学信息科学技术学院教授，博士生导师，一直从事数学和理论计算机科学的教学与研究工作，主要研究方向是计算复杂性理论和算法设计与分析，撰写多部教材、教学参考书与译著，其中包括国家规划教材、北京市精品教材、教育部高等教育精品教材等，曾获得北京市教学成果奖一等奖和教育部科技进步二等奖。 王捍贫，博士，北京大学信息科学技术学院教授，博士生导师，软件研究所副所长，中国人工智能学会离散智能计算专委会主任，长期从事离散数学、形式化方法及算法设计与分析的教学和研究工作，主持完成多项国家研究课题，撰写和翻译多部离散数学和计算理论教材，曾获得北京市教学成果奖一等奖，系国家精品课“离散数学”课程主讲教师，国家精品资源共享课“离散数学”课程主持人，“算法设计与分析”课程主讲教师。