首先灌点非纯水。今天的形式语言与自动机(好吧，好吧，我承认选这门课是来混学分的-_-)讲得够猥琐。所谓如何通过Transition Graph(其实就是个路径压缩过的NFA)构造Regular Expression的算法，让那个老师讲得实在是不堪。在我的印象中，构造算法应该是Warshall-Floyd，利用隐藏的一维做动态规划，RE(i, j, k) = RE(i, k, k-1) + (RE(k, k, k-1))* + RE(k, j, k-1)才对。结果那个老师讲个什么状态消除法，还特别猥琐，给的例子全是除自环外无强圈的有向无环图，然后偷偷摸摸的按照逆拓扑序做顶点消除，在一般图上根本扩展不了啊。

正经的说完了，下面说点不正经的。所谓上周末的合肥赛区，看完题之后我感觉其实挺靠谱的，除了B 猥琐一点，直接用Java BigInteger.isProbablePrime就能搞定之外，其余的题并没有太难为人，绝大多数的问题看完几分钟之后就能想到算法主干。当然细节可能会恶心住一部分人，但至少也能看到点希望，并不是那种看完之后就让人绝望的东西，总体来说应该和去年Harbin Regional的题目难度差不多。本来以为冠军怎么着也得8个题才好，特别是这个地方的神牛实在是不少，比如清华的周冬+郭华阳+杨弋，上交的金斌+吴卓杰，复旦的黄亮+冯国栋等BT群。可最后第一还是loner+ghy+ahyangyi以7题结束，3题的人从银到铜再到没牌的都有，确实让人很囧。这说明出题还是不能太草木皆兵，能放一点还是放一点好，太BT的结果只能是让大家都没有面子，虽然我感觉这次USTC的题已经是相当的厚道了。

话说今年的真人版植物大战僵尸其实还算挺精彩的。细数一下今年还健在的骨灰级僵尸，你像 Roba@TJU，cuiaoxiang@FDU，Ikki@HKUST，Fire@ZJU，TheBeet@XMU，kantianfadai@XMU, cnhawk@NTU等等，全都是在我当年还是小菜的时候就已经名震天下，500年前就已经赚得功成名就盆满钵溢的了，结果今年还冒着被天打雷劈的危险从棺材里面爬出来，在“打酱油”、“旅游”、“帮大牛端茶到水捏腰捶背”、“见老朋友”、“最后的疯狂”等大义的名分下出来吓唬小朋友们，实在是让人感到发指啊。

前几天Harbin Regional正式恢复的消息传出，也算是让我松了口气。虽说自己是不可能回HIT亲眼见识了，不过也算是成了一个梦想吧。我最关心的事其实是，我那个HIT Regional纪念衫终于算是能领到了，呃。

想了想，好像很久没有去TC上看看了，之后才发现我最后一次SRM的时间是今年7月8日。其实也是最近的时间比较少，加上SRM又多半在凌晨，参加的可能性几乎为零，所以也就渐渐成了全退隐状态。最近也就是小不爽的时候随手做了几个project euler的题，其它时候几乎没有写什么有营养的代码。也就周末见到Hefei Regional题目的时候，还能感觉到自己的水平也不算是太退步，基本还能跟得住当前的形式。可是今年又是Voronoi Diagram, 又是Linear Programming，又是Dynamic Tree的，照这种强度演化下去，估计我再没几年就要被淘汰了。

看着TC里面Rating变化的历史图，回想着那一次次失败的苦痛与胜利的欣喜，居然心中又再一次起了波动。很想有时间有机会的时候再回去参加SRM，重温当初那段历程。那段磨练了我一年，让我走出了Regional失败的阴影，心志变得坚强起来的日子。

以上。