图论与代数结构是离散数学的主要组成部分，是计算机科学的数学基础。全书共 9 章，第 1~6 章 为图论部分，包括图论基本概念、道路与回路、树、平面图与图的着色、匹配、网络流；第 7~8 章为 代数结构，包括代数结构预备知识和群论基础；第 9 章为图论编程实验。 全书结构紧凑、内容精练、证明严谨。为了便于读者理解和掌握，书中提供了丰富的例题，给出 了许多经典的算法，并附有许多不同难度的习题，供读者选择使用。 本书可作为计算机专业学生的教科书或参考书，也可供计算机工程技术人员作参考。

崔勇，博士，清华大学计算机系教授、博导，网络技术研究所所长，国家优秀青年科学基金、教育部新世纪人才和中创软件人才奖获得者，中国通信标准化协会理事，国际互联网标准化组织IETF IPv6过渡工作组主席，担任2个IEEE Transactions期刊编委。他获得国家技术发明奖二等奖1次、国家科学技术进步奖二等奖1次、省部级科技进步一等奖4次以及国家信息产业重大发明2次。

前 言 “离散数学”是计算机专业的基础数学课程，它以离散量为研究对象，主要包括数理逻辑、集合论、图论和代数结构四部分内容。清华大学计算机科学与技术系把“离散数学”安排为“数理逻辑与集合论”和“图论与代数结构”两门课程，分两个学期讲授，各占48学时。 本书第1～6 章是图论部分，第1 章介绍了图的基本概念及其代数表示方法，第2～6章分别详细讨论了道路与回路、树、平面图与图的着色、匹配和网络流等图论的主要内容，并将它们与计算机应用紧密结合，分析介绍了经典的图论算法，给出其正确性证明与复杂性分析；第7～8 章是代数结构部分，主要讨论了群论的基础内容，这是抽象代数的重要内容，也是计算机科学的重要数学基础；第9 章为图论编程实验，设计了10 组不同难度的图论编程实验供读者选用，包含7 组针对前6 章图论内容设计的专题实验和3 组具有一定难度的综合性编程实验，这些实验能够使读者在图论算法的设计、分析、编程和应用等方面得到较好的训练与培养。书中给出了大量的例题，它们不但有助于读者对概念的理解，同时也帮助读者掌握不同的证明方法。各章后面附有较多的习题，并标注了习题的难度，供读者参考选用。 本书在戴一奇主持编著的《图论与代数结构》教材基础上修订完成。其中，崔勇修订了图论部分第1～6 章，并新增了第9 章图论编程实验；张小平修订了第1～8 章代数结构内容，并由戴一奇审定了全书。 本书有配套教学PPT、配套线上实验系统等辅助教学资源和读者服务社群，可通过如下二维码获取。 由于水平所限，本书难免出现错误，恳切希望得到广大读者，特别是讲授此课程教师们的批评与指正。 作者...