这次珠海赛，某大3场比赛上场7人，全是女生；某大院系际决赛，夺冠的药学院也是清一色的巾帼，所以，连亮也要赞一句“闺阁中历历有人”。

就这样，06一帮小妹妹+思路诡异却常常猜中对手立论的小包+带着小师弟忙里忙外的夏铭娘+奇懒无比却拿了全程最佳的秦涛姐姐+热衷于编救火队队舞终于又崴到脚的小赵莹+认真至极的小白外婆+神经兮兮的小叶子伉俪=珠海赛冠军。

小白：小白是最好的。救火队就是小白的救火队。从出场介绍到最后的结辩词，小白都认真策划仔细考究。小白就是这样，做师妹的时候，大家都觉得她是个好师妹，做师姐的时候，大家都觉得她是好师姐。可惜肥水流入外人田（偶是指她去了清华）。最后夺冠，小白很激动，说这是她大学四年唯一赢得的一项辩论冠军。赵林教授评价说，这支队伍不逊色于03年国际赛夺冠的队伍。筷子只想说，某大辩论这几年，承前启后，多亏有小白。

小秦涛：在珠海驻扎最久，肯定不是因为辩论，多半是因为荔园的电视和唐家的火锅。平时做宅女，到了场上却所向披靡。三场比赛，两个最佳，盘问，被盘，对辩，驳论几个环节轮换着做都驾驭自如。当然，大家总结得好，攻击力是次要的，最重要的还是迷惑了对方男辩友。无论如何，从辩论的角度，筷子最欣赏小秦涛。

小赵莹：my god，小赵莹又扭脚了，怪不得自打珠海赛回来就销声匿迹。上次她一伤脚，小叶子就跟着伤，然后……（此处省略1千字）。小赵莹的驳论和小白一脉相承，追求从形式到内容的完美。场上做出的驳论让人觉得是精雕细琢的艺术品，场下的小赵莹既是个负责的组织者，又是队里活泼空气的制造者。虽然，那场决赛，那个开场白，那是相当的冷。

小叶子：呵，不多说，爱读书爱写稿的辩手永远是一支队伍所最需要的。比赛前的晚上会带着筷子到荔园下的大榕树许愿，筷子总担心那些话被别人偷听了去。

小夏铭：葫芦的牵挂啊。06小朋友口中的娘。娘说，娘多辛苦啊，爹早就离开珠海，而你们这群小孩个个都不听话，看看你们早恋的有多少个！唉，葫芦听到这番话不知要多心疼。小朋友们，赶紧找爹吧！

小子尘：偶尔过来客串，却总能给大家带来新思路，看看他和黄洋，你就知道药学院夺冠一点都不奇怪。

小琬冰：来自宁夏的古典美女，决赛全场最上镜，尽管坐在台下，可摄像师的镜头就是对着她不换。大一打院系际就很惊艳。

小包：哈，估计大家都快把他真名给忘了。总之，他就是救火队的吉祥物。可怜06级就他一个男生，因而倍受欺凌。小包在场下被欺负的时候往往保持沉默，可如果换了在打模拟赛的时候，那可只有他欺负别人的份。

小张淼：又是来自历史系的驳论高手。像她这样又做立论又做驳论的真是少有。上场前总会跟筷子说，师兄我好紧张。因为众所周知的原因，成为常被八卦的对象，筷子和小叶子偶尔可以拉她出来挡一下哈。

小思睿：好像救火队就她名字起得最贴切？哦，还有另一个是小叶子哈。盘问和对辩时，思维敏捷，无人能敌。

小刘雅：一肩双挑，两边上场，两边夺冠，这在筷子所知道的某大辩论史上仅此一例。她和子尘，该是绝配。

小张臻：06级的队长，连打了三场结辩，是筷子见过的临场语言组织能力最出色的辩手之一，更难得的是大将风度和那一份对辩论的执着。

小宋超：唯一的07小师弟，在队内即兴演讲训练时有惊艳之作，让大家明白黄金周的人头涌动是寻觅另一半的良机。

筷子：程序和论文写多了，写立论稿的能力严重下降，已经无法驾驭两个层面四个支点的立论了，愧对任老师和赵老师啊。筷子的生日恰好在决赛之前，害得大家为庆祝生日忙活了一番。那可是筷子收到最好的礼物，筷子欠大家一顿饭。不过，筷子还是有一个问题不明白：为啥筷子的生日是岭院的女生节呢？最多也就只是岭院某一个女生的节日啊。

是哪一天呢，筷子在校园里走着走着，天上就飘下小叶子来了。

 

娜娜说，小叶子和你气质很像。

筷子也一度以为，小叶子是筷子失散多年的妹妹。呵，那可像极了武侠小说中的情节。

故事当然不会如小说中曲折，可筷子依然觉得神奇。

小叶子和筷子怎么就那么像呢，连体重都像，两个人加起来就160。

筷子在队里写稿，小叶子也是。

筷子总是搜肠刮肚才憋出一篇矫情的辩稿，小叶子却总是一敲而就，文笔清新自然。

筷子喜欢安静，小叶子也不爱喧闹浮华。

筷子呆呆的，坐公车回学校，路过校门忘了下，便想，总会绕回来的，结果坐到番禺。

小叶子也傻傻的，一提起坐公车，她总以为只有马路对面才有。

 

呵，小叶子才不像筷子呢。

小叶子总是可以在顷刻间将宿舍收拾得干干净净。

小叶子可以成天不停地看电影吃cookies。

小叶子知道很多筷子八辈子都没听过的作家画家音乐家。

小叶子能背很多筷子不懂的单词，还能发筷子不会发的音（先天优势啊）。

筷子吃饭慢，小叶子可不，但她总是慢慢地陪。

筷子在水里能换气就庆幸，小叶子却是条鱼，长着兔牙的鱼。

 

筷子在电脑前敲打，每每转过头时，看到小叶子正专注地看书，心中便觉得宁静安然。嗯，她一定就是天上飘下的小叶子。

该挨千刀（此处盗用女婿语）的葫芦滚了，滚去祸害首都人民了。

万恶的葫芦临滚前依然没干什么好事。

首先是和筷子两个老掉牙的人颠去珠海，在师弟师妹面前装嫩，装就装了，还要拍DV。

其次是放了同班同学拍毕业照的飞机，操着两把大锤去特别行政区惊吓香港同胞，还耀武扬威地被国家主席接见。当天筷子妈妈把鼻子陷到电视屏幕里也没把葫芦认出来，真是谢天谢地。

再次是总是不失时机地给筷子制造绯闻，而且不惜身体力行亲身示范。

再次次是在火车站的时候还恐吓我们说她很快又会回来，弄得小茜狗狗哭得希里哗啦。

…………

大家一致痛恨葫芦，所以葫芦要滚的时候，大家均以异乎寻常的方式予以庆祝：

一直单身着的小白竟然也拍拖了。

一直不更新博客的筷子竟然又发贴了。

一直说自己不穿学士服不拍傻瓜照的阿拉蕾竟然也去拍封面了。

一直以帅酷倾倒某大万千花痴的lz竟然哭了。

竟然的竟然是还有一干男生兴奋到跑去喊楼，从葫芦我爱你一直到各地方言，从唐诗宋词一直到莎士比亚。这干男生包括lz，ht，hh，还有大黄亮堂筷子。

…………

葫芦滚了，从此某大打击乐团名存实亡。

葫芦滚了，她和lz们代表某大打的比赛比我们这些所谓参加过国际赛的人还多，可她终于没有自己的中山装。

筷子在康园中形单影只了八年，并未觉得寂寞，可葫芦一滚，整个校园忽然冷清了。

 

筷子晃荡在那张舒服的椅子上，无可救药地想起葫芦，想起和她一起准备的一场场比赛，想起她和大黄在蜿蜒的石路上跳啊跳，想起她抓着筷子的手对着窗外的珠海摇啊摇……

呵，谢谢朋友们的关心，筷子又快见到你们了！筷子4月4日的飞机，大概是当天晚上10点半到香港，现在还没想好到了之后该咋办，谁有好建议？

猪年到了，筷子在澳大利亚布里斯班格里菲斯那森祝所有国内的国外的来过筷子space的没来过筷子space的亲朋好友新年快乐心想事成！

离别是醉了的冰和她带着戒指的手

离别是马薇那让人动情的诺言

离别是天天嚷着给我饯行的亮和他一杯一杯的白酒

离别是突然苍白的君和他帅气的男友

离别是和娴静从文科楼走到牛奶屋的那一路

离别是寡言的女婿和他损人的博客

离别是醉了的黄磊和他忧伤的眼神

离别是同样离别的宏宏和从午饭到晚饭的酒席

离别是嗜好寿司和染发的月明和她关于艳遇的故事

离别是年逾七十的叔父和学五的两碗啤酒

离别是辛劳的母亲和鼓鼓的行囊

离别是美丽职业的淡云和37度2的柠檬茶

离别是转型的刘振和他口中的辩论史记

离别是秦涛红扑扑的脸和有待证实的绯闻

离别是小茜给老大的Email和那未曾听清的电话

离别是即将远征的莉莉和她匆匆的身影

离别是突然出嫁的陈梦和她狠狠的话语

离别是梦笑长长的电话和快乐的呓语

离别是锲而不舍地要把我卖给师妹的葫芦和遗忘在岁月湖边的诗

离别是坐了一小时车到机场就为了拍拍筷子头的小白

离别是同年同月同日生又再加上同床共枕的米糕

离别是可亲可敬的赵过渡老师和他的叮嘱爱惜

离别是最最可爱的阿杜和他永远谦逊的笑容

离别是在PPT上播放的一张张照片和一句句留言

离别是珠海的孩子和唐家湾东北人家一杯杯的walk around

离别是中东的孩子和地铁口的一个个embrace

…………

诸位亲朋好友，我28日从广州乘车前往香港机场，29日中午从香港出发，经首尔转布里斯班，会想念你们的，祝大家都开开心心！

前些天和亮喝酒，亮说我博客很久没更新，后面又和亮说起博弈论，亮学政治学，博弈论是必修课程，而对于我而言，博弈论只能作为业余的爱好。下面便写写关于纳什均衡计算复杂度的问题。当然，以计算机科学的视角和以政治学的视角看博弈论，可能真的是横看成岭侧成峰，但学科分划本是人为，真正的科学应该是没有界限的。几乎可以肯定的是，亮又要痛骂我写些没人看懂的东西，哈，博弈论本来就博大精深，其实我自己也是不懂的：P

在过去的几十年中，博弈论一直是学术界的热门话题。经济学家和社会学家研究如何用博弈论来对人们的理性行为进行建模和分析；而对于数学家和计算机科学家而言，他们则往往着眼于如何设计寻找纳什均衡的算法。但是，到目前为止，除了一些特例（如二人零和博弈）以外，至今没有找到计算一般纳什均衡的高效算法（多项式时间）。

在各种各样的问题中，有这样一类问题被计算机科学家称为NP-hard问题，这类问题被普遍的认为是不存在多项式时间算法的（存在多项式时间算法的问题又被成为P问题）。所以，如果我们能够证明求纳什均衡问题是NP-hard，那么我们至少可以暂时放弃寻找高效算法的尝试。可惜经过很多年的努力，求解纳什均衡的问题是否是NP-hard也依然未被证明。

于是，计算机科学家们又再退而求其次，他们定义了PPAD问题，PPAD问题包括了P问题，同时又是NP问题的子集。目前已经有很多重要的，至今未找到多项式时间算法的问题被证明是PPAD问题。清华的Xi Chen和香港城大的Xiaotie Deng在今年的FOCS会议（理论计算机科学的最高级别会议）上发表的文章Settling the Complexity of 2-Player Nash-Equilibrium证明了二人博弈的混合策略均衡问题是PPAD-complete的。由于之前已经证明对三人及三人以上博弈的纳什均衡问题是PPAD-complete，因此，这篇文章在某种程度上解决了纳什均衡的计算复杂度问题。

证明纳什均衡问题是PPAD-complete的，意味着：第一，如果找到求纳什均衡的多项式时间算法，则其它所有的PPAD问题都有多项式时间算法，这个可能性看起来并不大；第二，如果纳什均衡问题是NP-hard，那么就有NP=coNP，这在大多数计算机科学家看来都是不可能的。因此，更有可能的是，纳什均衡问题既不存在多项式时间算法，也不是NP-hard。很多人相信这一事实，但证明它却是极其困难的，因为证明了这一事实即意味着证明了P不等于NP。而P是否等于NP是计算机科学最核心的问题，在很多人看来，这一问题要到下个世纪才有可能被解决。

加了很多链接，愿意和偶的space交换链接的亲朋好友们请留言，哈

开学了，静谧的校园又重新焕发青春的活力

QQ群又热闹起来，两个校区的孩子们依旧雀跃着

梦笑，莉莉，陈梦，蜗牛，火，drake，夏铭，薇颖，恒富，哈，还有QQ经常中毒的小张烨

走在校道上，碰到04回迁的月明，breezing们，打打招呼心中也是喜悦的

东校的孩子不容易见到，但陈茜淡云们回来的短信也是亲切温暖的

 

亮也该开始他的读研生活，读书纵酒的日子应该还是他所习惯的吧

君已经搬离学校，虽然还剩一年，不过她的心应该已经不属于这个校园了吧

虫，潇雨，白，小迪，四朵金花会香江，她们的生活又会有怎样的变化

刘振葫芦们大四了，哈，从忙忙碌碌到醉生梦死，大四的生活多半都是这样的

希望他们顺利实现自己的目标

 

晚上和萧玮一起吃晚饭，他依旧亲切随和而伴随着些许临走前的忧郁和恍惚

几个小时后他就将去往遥远的巴黎

要走的人走了，要回来的人呢？

 

    在不加限制条件的情况下证明一个可计算函数的复杂度下界是计算复杂性领域中最具挑战性的问题之一。从1949年Shannon证明一个随机函数具有巨大的线路复杂度（circuit complexity）以来，对于计算显性函数的无限制布尔函数电路的规模的下界问题的研究一直鲜有进展。1997年，Razborov和Rudich在他们的文章Natural Proofs中对这一现象作出解释，他们证明多数当前已有的证明下界的技术不能用于这样的下界问题。一个研究显性函数复杂性的方法是在问题之间进行归约，例如给出一个标准问题（如一个NP完全问题），然后证明我们所关心的计算问题不比这一标准问题容易。另一种方法是对计算模型加以限制，以克服固有的自然证明（Natural Proofs）的局限性，同时让模型足够强以便于刻划大量的“自然”算法。

                                                               ――M. Alekhnovich于普林斯顿高等数学研究院

是上天特意提醒我么？

今天给你写信的时候，心念一动，便写了一个程序算了一下，刚好今天就是第9000天

那个似是玩笑的约定，不知你是否记得

      如果说我们为辩论忙碌，为辩论守候，是为了学校的荣誉的话，那么我想，我们错了。并不是因为我对学校缺少感情，对很多人来说，学校是人生的驿站，可对于我这样一个在这里已经生活了七年的人来说，她就是我的故乡。我十分爱惜她的声誉，但是我也很清楚地知道，对于一个大学来说，她的声誉在于她的学术成就，而完全不在辩论。

      那么我们辩论究竟为了什么呢？为了辩论队的声誉？是的，那是我们共同的光环。但我还是要说，这所谓的声誉，与每一位队员在辩论队中收获的成长感悟和快乐体验相比，又是微不足道的。我们带起一支队伍，去参加一场比赛，努力去争取胜利，其意义主要不是为了学校或辩论队的声誉，而是为了在这个过程中，可以让每位队员获得快乐和成长。这也是我认为的辩论意义之所在。而且，这些收获往往是其它活动所难以赋予给你的。在辩论赛的过程中，你可以收获由于反复思考激烈争论而对某个问题产生的全面深刻的认识，你可以收获由于队友关怀和帮助而产生的点点温馨，你可以由于经常面对成功挫折而看淡得失成败……所以看着0405这帮喜欢辩论的孩子们，我更关心的是这样一些问题：他们在这个队伍里快乐吗？他们有收获吗？他们学会去承担责任了吗？他们学会去关心和包容他人了吗？他们学会了面对输赢的坦荡了吗？他们是否会因为辩论而耽误学业，耽误前程？所以看到珠海八院系决赛之后有人哭有人晕倒，我觉得难过，因为他们没有在辩论中获得快乐；所以有些队员由于学业，由于其它活动或个人原因而离开辩论，我也为他们的选择而开心，因为我不用担心他们会为了辩论而耽误自己的事；所以我也赞同小白对珠海队伍要求的严格，因为只有优秀的团队才能在其解散之后依旧成为每位成员记忆中的珍藏；所以如果我是校长或团委书记，我愿意年年都派队去参加辩论赛，不是为了所谓的学校声誉，而是为了让我的学生可以在辩论的舞台中，获得快乐和成长。

笨狗  (2006-03-11 16:11:04)
嘿嘿师兄，我那天上林梦笑姐的博客哦，有看到你很久以前留的文章，关于信科辩论的历史，又反复看了笑姐的新的辩论队历史的文章，突然才发现前辈们走了那么长的里程了，步步刻在人生的扉页上，也许辩论真的不是一辈子的事，但是是可以永远放在回忆里的珍宝，关于责任，关于爱和付出，还有关于成长，那些当年的辩论英才们都已在追求人生的道路上奋斗了，现在新的我们又开始书写新的历程，去完成我们的成长和属于我们的光，我们虽然没有跟师兄同在一个辩场上，也未亲眼看到您的风采，但是，您和葫芦师姐和梦笑姐她们传来的温暖我们感受到了，师兄谢谢了

 

筷子敲门 11:24:15
呵，那些关于辩论的喜怒哀乐，点点滴滴，想来应该是很久的事，却又仿佛是在昨天，曾经的队友都各奔前程，自己却依旧在校园中守候，流淌过生命的辩论，流淌过生命的你们，把你们带进辩论，最怕你们耽误学习，耽误前程，最希望你们学会付出，学会宽容，学会思考，学会承担责任，学会对输赢的坦荡，最高兴看到你们收获爱，收获友谊，收获至真至美的情感，收获幸福快乐的体验。所以看到师妹这段文字，真的很开心。有些人在辩论中获得虚荣和傲气，到头来只知抱怨辩论的无聊；有些人却能够在辩论中成长，多少年后回想起来，依旧对辩论，对辩论中的人和事充满怀念与感激。这其中的原因，师妹已经十分明了。^_^

海伦公式由于要多次开平方，会导致积累误差，所以通常用矢量叉乘来计算，其原理在绝大多数空间解析几何的书中都可以找到，此处不赘述。

程序如下：

 

#define SQR(x) ((x) * (x))

 

//二维的情况，假设三个顶点坐标分别为(x[i], y[i]), (x[j], y[j]), (x[k], y[k])

double areaTri_2dimension(int i, int j, int k)

{

 double x1 = x[j] - x[i];

 double y1 = y[j] - y[i];

 double x2 = x[k] - x[i];

 double y2 = y[k] - y[i];

 return 0.5 * fabs(x1 * y2 - y1 * x2);

}

 

From SRM 288

低级错误：

1. 写错循环变量。

2. 定义vector<int> c; 还没push_back数据就试图用[]进行访问。

3. memset(a, 1, sizeof(a))，如果a的元素是int类型，这样写无法将a的每个元素赋1，原因是大多数编译器的int占4个字节，这个语句实际上是将a所在的内存空间中的每个字节都赋值1，注意是每个字节而不是每个数组元素！所以这样做的结果是将每个元素都赋二进制值1000000010000000100000001，相当于十进制的16843009。

中级错误：

1. 数组访问越界。

避免方法：一定要小心[]中的表达式！

2. for (i=0; i<a.size()-1; i++)导致程序运行超时，因为size()返回的数值是unsigned int，所以计算  a.size()-1时，会将结果也转化为unsigned int，负数会变成正数！

避免方法：将a.size()的结果强制转化为int，写成宏#define SIZE(A) (int((A).size()))

高级错误：

已知三角形三点坐标求面积时如果用海伦公式，会由于多次计算平方根而导致积累误差，所以应该用向量的叉乘来计算面积。

TopCoder的SRM 284在北京时间的1月22日凌晨一点举行。10点多进入比赛房间时，已经有将近100号人，其中最著名的人物应该就是排名第4的斯洛伐克人misof。等到晚上11点多，排名第1的俄罗斯人petr也来了，此时，偶决定去做一件伟大无比的事－－洗冷水澡！其实不是偶有自虐倾向，实在是因为没热水啊。。。临近1点，房间分好，偶分在Room 3，高手云集，有misof，瑞典第一高手Yarin，日本选手中排名第一的natori，还有印度800多名选手中排名第2的konqueror，还有两位来自浙大的同胞。比赛准时开始，250分的题目是一道组合题，给定三角形边长的范围，求符合条件的三角形数目，二十多分钟做完。500分的题目是关于文字压缩的，因为算法都给出了，所以是一道模拟题。觉得繁，便又打开800分的题目，关于康托集的题目，似乎要做高精度除法，同样繁。。。两繁相权取其简，于是决定做500分的题，做的过程很担心做不完，比赛结束还有9分钟的时候编译通过，test了三个example，似乎没什么问题，提交。回到房间，发现misof等人已经砍完所有题目在聊天室里聊天了，太牛了！剩下几分钟也做不了800分的题目了，只好一边检查500分的题一边等待Coding Phase的结束。Coding Phase结束，Challenge Phase开始，终于见识到了大牛们找bug的能力，仅过了几分钟，好多人的程序就纷纷被拿下，偶500分的题目也难幸免。。。而斯洛伐克人、印度人、日本人和瑞典人一直稳居前4。一个多小时的System Test结束，最终斯洛伐克人排名整个Divsion的第一，这也使他一举跃升到世界排名第一的位置，取代了占据这一位置数月的petr。偶最终排Divsion的第169位，还算中间位置，由于刚进入这一Division，所以还是获得了将近100分的积分，哈，又要窃喜了。