[ACM讲义.ppt

1、＃ ACM讲义(数学) 河南工程学院计算机科学与工程系 郭小波 dvwt@163.com ACM：Association for Computing Machinery 美国计算机协会 ICPC：International Collegiate Programming Contest 国际大学生程序设计竞赛 ACM/ ICPC 由美国计算机协会主办的国际大学生程序设计竞赛 ACM/ICPC 是世界上公认的历史悠久、规模最大、水平最高的国际大学生程序设计竞赛。 学习目的： 通过教学，使学生能掌握ACM竞赛的基本知识，掌握与了解高级数据结构、离散数学、初等数论、数值计算、计算机算法、人工智能、时空权衡、图算法、计算几何等等内容。并能综合运用这些知识，利用程序语言进行ACM竞赛题目的设计与编写。 推荐学习资料： 刘汝佳，黄亮 著 ，算法艺术与信息学竞赛 ，清华大学出版社 ，2004年1月出版 郭嵩山等著，《国际大学生程序设计竞赛辅导教程》，北京大学出版社，2001年12月第1版 《组合数学》 《计算几何》 相关的知识 ACM需要哪些数学知识 1、离散数学 作为计算机学科的基础，离散数学是竞赛中涉及最多的数学分支，其重中之重又在于图论和组合数学，尤其是图论。 图论之所以运用最多是因为它的变化最多，而且可以轻易地结合基本数据结构和许多算法的基本思想，较多用到的知识包括连通性判断、DFS和BFS，关节点和关键路径、欧拉回路、最小生成树、最短路径、差分约束、二部图匹配和网络流等等。这部分的比重很大 ，往往也是竞赛中的难题所在。竞赛中设计的组合计数问题大都需要用组合数学来解决，组合数学中的知识相比于图论要简单一些，但有一部分知识要先对代数结构中的群论有初步了解才能进行学习。 2、数论 以素数判断和同余为模型构造出来的题目往往需要较多的数论知识来解决，这部分在竞赛中的比重并不大，但难度很高。素数判断和同余最常见的是在以密码学为背景的题目中出现，在运用密码学常识确定解答过程之后，核心算法往往要涉及数论的内容。 3、计算几何 计算几何相比于其它部分来说是比较独立的，就是说它和其它的知识点很少有过多的结合，较常用到的部分包括——线段相交的判断、多边形面积的计算、内点外点的判断、凸包等等。 4、线性代数、概率论 、高等数学 最常见题型 Dynamic Programming(动态规划) Greedy(贪心) Complete Search(穷举) Flood Fill (种子填充) Shortest Path (最短路径) Recursive Search Techniques (回溯） Minimum Spanning Tree （最小生成树） Knapsack（背包） Computational Geometry(计算几何) Network Flow(网络流) Eulerian Path (欧拉回路) Two-Dimensional Convex Hull (二维凸包) BigNums (大数) Heuristic Search(启发式搜索) Approximate Search (近似搜索) Ad Hoc Problems(杂题) 离散数学第1讲 命题逻辑基础 数理逻辑将能够判断真假的陈述句称作命题。 命题通常使用大写字母A，B，…，Z或带下标的大写字母或数字表示，如Ai，R等，例如： A1：我是一名大学生。 联结词： 合取联结词：? 析取联结词：? 否定联结词：? 蕴涵联结词：? 等价联结词：? 逻辑真值： 0，1 否定联结词﹁P 联结词 等价联结词? 命题公式 定义命题公式，简称公式，定义为： （1）单个命题变元是公式； （2）如果P是公式，则﹁P是公式； （3）如果P、Q是公式，则P∧Q、P∨Q、P?Q、 P?Q都是公式； （4）当且仅当能够有限次的应用(1) 、(2)、(3) 所得到的包括命题变元、联结词和括号的符号 串是公式。 永真式(tautology) 永真式:在各种赋值下取值均为真(重言式) 永假式:在各种赋值下取值均为假(矛盾式) 可满足式：非永假式 命题的翻译： 例：假如上午不下雨，我去看电影，否则就在家里读书或看报。 解：设P：上午下雨；Q：我去看电影；R：我在家里读书；S：我在家里看报。 本例可表示为： （?P?Q）∧（P?（R∨S））。 命题公式的解释： 定义 设P1，P2，…，Pn是出现在命题公式G中的全部命题变元，指定P1，P2，…，Pn的一组真值，称这组真值为G的一个解释或赋值，记作I，公式G在I下的真值记作TI （G）。 真