这门课在大部分时候和组合学一样平淡, 但今天 (2024.1.4) 上课时马杰老师讲 3-progression 时发生一件很有意思的事情:

对于集合 [n] 的子集 A, 考虑其中是否出现长为 3 的非平凡的 (即不能三项全相等) 等差数列. 很自然地想到, A 在 [n] 中占的密度越大, 越难以彻底规避这样的 3-progression. 此前 Bloom 和 Sisask 证明了: 如果 A 不含有这样的 3-progression, 则必须要满足 |A|

讲到这里的时候马杰老师特意提了一句: Kelley 与 Meka 两人都不是纯粹的数学家, 而是理论计算机出身. 这个结果最初也是发在计算机科学的刊物上, 但是做组合的数学家看了后纷纷认可. 当时马杰老师大概是看快下课了, 也讲不完下一个知识点, 便和我们分享了些自己对当今做数学, 尤其是做组合的所想. 什么要拓宽视野, 要主动搜罗新信息和新方法, 不要因别人的学科出身抱有成见云云. 原话虽是些老生常谈, 却格外使我有感触.

复习到快要昏死过去, 不知道当初开学为什么要光看名字选这门算不了学分的课.

我的评价是期末考千万只出套皮水题, 指望我能在不到一个月内学会 "自如运用" 这三章的东西未免有点看得起我.

讲义也是作用没有, 小错不断. 上网找了不知哪里来的学习笔记, 步骤比起君の "easy exercise" 至少要详细一些, 可供参考:

组合零点定理: 

https://yuliaalexandr.github.io/alexandr_yulia_2019_ba.pdf

谱图论的部分本质是比较简单的线性代数, 讲义还算能看.

Szemeredi均衡引理:

https://upcommons.upc.edu/bitstream/handle/2117/393365/TFG_Mariona_S%C3%A1nchez_Alc%C3%A1zar.pdf?sequence=2&isAllowed=y

https://iuuk.mff.cuni.cz/~rakdver/kgiii/lesson14-9.pdf

1.15出分后

期末考只有4道大题 (30+30+40+附加20) , 前两题是谱图论和零点定理的水题, 第三题是默写Graph Counting Lemma并由此证明Graph Removing Lemma, 第四题是默写Graph Embedding Lemma并证明一个关于广义Ramsey问题的结论. 题不算难, 认真复习基本就能写出来. 可惜自己只留了一天复习, Szemeredi均衡引理的部分觉得太难了感觉完全没看, 只拿了65分. 不过毕竟是1学分课, 能过就算胜利, 何况考完后作业还给了两天时间补交 (有助教答案) .

经历完折磨的期末复习后, 回头再来看这门课, 我的总结是有不可替代的收获, 能体验到当今最前沿的组合研究在做什么, 怎么做. 正如 ＠starrysheep 的评论所说, 学习者能够快速接触并理解最前沿的结果, 这是组合方向的独特之处. 但没必要选, 毕竟真爱的话自己旁听也会认真学, 注定不爱的来了也是坐牢, 还给自己的期末周添堵. 对我自己而言, 如果说上完组合学我的感受是不精, "以后要用还得再温习一遍" , 那进阶课就是几乎啥也没记住, 以后不走这个方向的用不上, 需要用上的恐怕必然要从头学起. 比起这种潦草的one glance, 我或许更倾向于腾出时间自己踏踏实实地看概率方法或代数图论的书.

最后一节课的最后20分钟, 马杰老师没有接着讲证明, 而是和我们随便聊了聊自己关于组合课学习, 以及走组合方向做研究的一些看法. 里面最令我印象深刻的一些话: "到了研究的深度, 组合和其它数学分支是一样的, 不存在一种学了后就能应对一切问题的高屋建瓴的观点 (否则数学家早就遍地都是了) , 琐碎的方法与技巧的积累是必需的. " 从老师的表情和声音也能感受得到, 他对今年学生在组合课上置身事外般的听课态度很有些失望 (毕竟老师每节课提的问题从来没有人回答) , 或许是原本预期能看到更多对组合感兴趣的人. 个人猜测马杰老师其实心知肚明学生对组合课的反对态度, 但仍然希望通过必修的方式往这个方向里拉到人. 我对此不予置评.

从一开始云旁听到最后不得不到线下听课的人来说一句（其实我也没有都去，到了期末周确实好忙/(ㄒoㄒ)/~~）。

如果说组合学课程教的是经典组合，那么组合学进阶则迈入了modern Combinatoics的大门，算是一点点前沿内容了。

张先得老师讲得是算术组合和基础的谱图论部分。算术组合部分上来先证明了大名鼎鼎的组合零点定理，然后讲了其经典的几个应用，其中最有代表性的是加性组合（数论）中的Cauchy-Davenport定理。之后的谱图论因为我个人比较熟了所以甚至回放都没看，但大致上就是图特征值和各种参数的关系，度数、Moore Bound、Diameter等等。

马杰老师主要讲极值图论部分，上来花了一节课半证明了Szemerédi正则引理，之后一步步导出了Erdos-Stone-Simonovits定理。今年马杰老师相比2022年的讲义又加了不少东西（也可能是整理2022年note的人懒了后面的没整理），主要是(6,3)-Problem、Induced Matching Problem与One Edge One Triangle之间的关系，还有就是Stability Method。马老师讲课主要参考了这本书：

Extremal Graph Theory, Asaf Shapira.pdf

值得一提的是马杰老师的作业布置方式，与组合学本篇不同，进阶部分马老师的作业都是证明中各种gap的补全。马老师自己的研究生课极值组合中，布置作业的方式也是这样的。

虽然有点对不起张先得老师，但我确实更喜欢马杰老师的讲课风格🥺。我发邮件问马老师下学期还有无开极值组合课，得到了一个模糊的回答。感觉马老师可能在科大呆不久了，要去THU了，他的课且听且珍惜吧。

不得不说，今年因为把L-intersecting和1-distance两个问题放进了组合学（3学分）中讲掉了，于是组合学进阶部分有课时补充了很多精彩的内容，主要是在22年较为简略的Szemeredi的regularity lemma和Graph counting lemma这里增加了相对完整的，从正则引理到Triangle Removal Lemma以及Counting Lemma，到这部分理论在（6，3）-Problem，Induced Matching Problem，One-edge-one-triangle Problem（OEOT）的应用；最后在思考如何从Triangle推广到Graph，讲了Graph Counting Lemma，Graph Removal Lemma以及Graph Embedding Lemma。而且结论非常新，2023发表的相关成果都加入了课堂中介绍，可见马杰老师挑选课程内容时的用心。

只有期末考试，考察内容非常正统，好好复习就完全不用担心（然鹅...唉唉），且不说调不调分，只能说从卷子到助教都尽力在捞了。今年的两位助教都很负责，作业答案都写得很清晰整洁，也是好评。

总体来说非常推荐，比起22年（从讲义上看）课程体系要协调的多，相当漂亮的展示了正则引理后面的结论，层层递进，知识逻辑非常漂亮。马老师讲课很有启发性，会带动同学去思考，提出问题，相比之下张老师就是抄写大赛，但至少抄的流畅，现在发现这也不容易（？

相比组合的内容，个人觉得进阶课更值得认真感受和理解。组合这门学科，相比于其他板块更加追求灵机一动的感觉，某种意义上，数学的很多重大突破都会基于组合的技巧，来绕开一些理论上的难点或理论体系的缺失（这个宗老师给我讲了一点小故事，还是挺有感触的），还是希望能有更多同学来体验这门课的。

这门课很好的一点就是，当别的课还在讲19、20世纪的结论时，组合学已经讲到了许多21世纪的结论。mj老师讲的很大一部分都是现代组合学研究中的非常重要的一个定理，并且给出了这个定理的许多应用。但是不好的一点就是讲课过程中会留下许多的exercise，某些定理会给一个sketch，但是detailed的证明不会给出。上课的时候暗示了会出detailed的证明，但是对于1.5结课1.6就有两门考试的我来说在考试周完全没有时间准备。

在网上找资料的时候看到了mj老师20年的Extremal and Probabilistic Graph Theory的讲义与视频，在讲Graph Counting Lemma和Graph Removal Lemma的时候与今年差不多（可以感受一下留作exercise是多么让人摸不到头脑。考试的时候就考了Graph Removal Lemma的证明，不出意外的寄掉了。但是mj老师讲课讲的还是很好的，感觉就是他在带着你进行探索。

感觉组合这个学科最大的特点就是，真正被完全解决的问题很少，很多问题都是给出了一个到目前为止的一个“最好”的结果。也可以说组合学目前是一个很有潜力的学科

总之这门课还是学到了很多！大赞mj