组合学进阶每年内容都不太一样，今年跳过了Lovasz Local Lemma，注意一下Szemeredi部分虽然不布置作业，但是有实质上的作业：

（1）把Szemeredi证明中equipartition的改造补全

（2）对顶点归纳证明图计数引理

（3）证明图删除引理

（4）证明图嵌入引理   

这四个可能会轮流出成考题。讲义口胡比较严重，错误也不少，印象里谱图论部分错得最多，Szemeredi部分最口胡。另外每节课都要签到，刚上完课就考试，大三要考虑期末周压力慎重选择。今年考试内容十分基本，形式上和以前一致，为四选三作答。

关于组合课程设置的一些想法在组合学课程中已经写过了，见 https://icourse.club/course/13477/#review-99486 这个链接，主要在这里放一下回忆版本的期末试卷。四选三一题25分。

• 组合零点定理：对 \(\mathbb F_p\) 子集 \(A,B\)，定义 \(A\oplus B:=\{a+b\in\mathbb F_p\mid a\in A,b\in B,a\neq b\}\)，证明（1）\(|A|\neq |B|\) 时，\(|A\oplus B|\geq \min\{p,|A|+|B|-2\}\)，（2）否则如果 \(|A|=|B|\)，\(|A\oplus B|\ge \min\{p,|A|+|B|-3\}.\)
• 谱图论：一个 Hoffmann 界技术的应用
• 利用图计数定理和S正则引理证明图删除定理
• 我们定义 \(A\subset [n]\times [n]\) 上的一个角 \((x,y)\) 是 \(d\neq 0\)，满足 \((x+d,y),(x,y),(x,y+d)\in A\)。令 \(f(n)\) 是最大的 \(|A|\)，使得不存在角，证明 \(f(n)=o(n^2)\)【需要和一边一三角形的估计建立一个关系】

讲义里的问题比组合学讲义里的问题还要多，还有高手……这次不仅有大量语法错误和上下文不连贯的错误，还有整个证明就是错的这种情况出现，以及大量口胡和gap，体验极为糟糕。在第二章后半部分和第四章尤为严重。另外，Szemeredi 的证明采用了神秘的在每一步中处理剩余集而非在最后一起处理的方法，但又没有给出过程（让自己补全）。这种神奇的方法似乎没有其他人使用。

不会英语就别用……中文讲义不好吗？起码可读。非得去搞个英语讲义，搞出来个完全没法看的玩意，只能去参考其他资料

第四章可以用赵宇飞的加性组合讲义第二章作为替代。大部分内容都被覆盖了。

上课签到，但讲的不咋地，差评。

期末疑似放洪水，但我的舍友莫名其妙被扣了分。疑似和组合学本体一样采用了列文虎克式改卷（没有验证F_p是域扣分）

总地来讲体验很差。