2017暑假七林集训day9

早上

早上继续听图论。照例，最开始讲的东西是比较友好的，是欧拉路和拓扑排序。感觉欧拉路用途比较单一（可能是我比较naive），而拓扑排序有很多拓展应用，可以作为许多算法的一部分，应该好好掌握。接下来的内容就没那么友好了：无向图的连通分量。无向图的连通分量有两种：点双连通分量和边双连通分量。若一个无向图去掉任意一个点都不会改变图的连通性，即不存在割点，则称这个无向图为一个点双连通分量。若一个无向图去掉任意一条边都不会改变图的连通性，即不存在桥，则称这个无向图为一个边双连通分量。点双一定是边双，反之则不一定。点双可以有公共点，但边双不能有公共边。所以我们求边双的时候，就先用一遍dfs把桥找出来，第二遍dfs就把点求出来（跳过桥就可以了）。求点双的话，跑dfs的时候入栈边而不是点（点双可以有公共点但没有公共边）就可以了。做题的时候建模很重要，要搞清楚应该求点双还是边双。然后还有2-SAT这种逻辑问题，之前没学过更没写过，思想基本弄懂了，但细节问题还是要下来钻研一下。

下午

下午考试，又变成了@dogther出题（畏惧）。t1看了看...感觉是个玄学题。yy了一个前缀和，发现自己似乎找到了一个构造方法，但自己无法证明它的正确性，也找不出来反例。最后决定拼一波，做好了要么爆零要么AC的准备。 t2...也许是受那天那个反着建的冰茶鸡的影响吧，yy了一个玄妙的冰茶鸡做法出来然后发现是错的......没办法，写暴力冰茶鸡。t3看了一眼是个2-SAT，但今天早上学了还没写，选择暴力。

听讲题。t1AC了了两个subtask（运气）。正解也是构造前缀和，自己的做法已经和正解很接近了，但没往拓扑排序那方面想。t2听了听正解感觉就是比较考代码能力，算法上并不是特别难.......t3确实是一道2-SAT，但是有一个巧妙的优化。

总

有进步，想出了与正解很接近的解法，但还是得继续努力。还是那句话，多练题，多思考，尽快缩小与同学们的差距。