百年初心奋斗者｜陆品燕：在中国建立一流理论计算机科学研究中心理论计算机之于计算机科学

理论计算机之于计算机科学，如同物理学之于工程学，是“根”一般的存在。在计算机被创造之前，它就作为数学的分支存在，关注计算的基本理论、算法和复杂性，计算机发明制造、算法应用等许多划时代革新都建立在它的基础上。

文章图片

文章图片
图说：上海财大陆品燕教授采访对象供图（下同）
大约三年前，一个来自中国的学术机构如同一匹黑马，开始活跃在这一基础研究领域，成果不断，一骑绝尘，一跃在全球院校计算机科学实力排名（CSRankings）中的“算法与复杂性”和“计算经济学”两个方向连续拿到世界前十、亚洲第一的席位，多位团队成员连任顶级学术会议主席。这是上海财经大学理论计算机科学研究中心，崭露头角时才成立不过2年，现已享有国际学术声誉。“在中国建立一流理论计算机科学研究中心”是中心主任、上海财大信息管理与工程学院教授、“华人菲尔兹奖”ICCM数学奖获得者陆品燕教授5年前的愿望，现在已经实现了。
根扎得越深，叶才会繁茂
电商购物平台通过算法，以交易量、口碑等确定商户搜索排序规则，但在实际应用中，刷单、恶评等行为将影响算法设计初衷，带来不好的用户体验，也因海量数据陷入极为复杂的局面。“这不仅仅是算法设计的问题，而是机制设计的问题，属于计算经济学的重要研究方向，是理论计算机科学与经济学的交叉学科。”

文章图片

文章图片
理论计算机科学的突破很难，但影响深远。中心合作者、上海交通大学教授陈翌佳教授举例说，今天大家每天都会用到的导航应用实际上就基于1959年迪克拉特斯最短路径算法的理论突破。
“从科学的角度，从国家战略需求的角度，我们都需要‘扎到根’的基础研究，来更好地理解这个世界，来创造更好的改造世界的工具。”在陆品燕看来，理论计算机科学是方法论学科，它的价值蕴藏在计算思维中，它具有很强的普适性，能够在计算机、经济学、自然科学、工程等多个领域交叉，能够在许多原来缺乏语言描述或难以求解的复杂问题和情景中，提出新问题、新视角和解决思路。
为基础科学突破提供自由土壤
5年前，陆品燕怀着对祖国教育事业的使命感和强烈意愿，辞去微软亚洲研究院的工作，全职加入上海财经大学，领衔组建成立理论计算机科学研究中心，希望在上海财大“低调但有韧性的理想主义”氛围中，建设一个能够成就华人理论计算机科学家的共同家园。
陈翌佳是在多年前的一场理论计算机科学顶级国际会议上第一次遇到陆品燕的，他们俩几乎是“唯二”中国学者，那些年的那些顶会上几乎看不到中国面孔。而近年，三大理论计算机科学顶会上的中国学者和学生可以“凑好几桌”了。这个人群基础是在中国建立一个国际一流的理论计算机科学研究中心的重要条件，而包括陈翌佳，他们中的大多数已经通过各种形式访问过上海财大的研究中心。
与许多其他研究领域不同，非常有趣的是，许多成果在合作中诞生，理论计算机研究领域论文的作者是按照姓名首字母顺序排的，第一作者和第二作者没有贡献度的讲究。在发表的诸多学术成果中，有一个二分定理的证明对陆品燕来说格外特别。那是一个长达7年的求解，是陆品燕和他的老师蔡进一及合作者夏盟佶合作完成的。它始于一次学术交流中的3人“闲聊” ，他们在一个月的时间里集中攻关似乎临近突破。眼看着交流即将结束，大家又将各奔东西，准备庆祝一番，却在“临别宴”上发现此前的证明存在错误。此后，三人一直陆续探讨，直到7年后另一次学术访问齐聚才得以突破。“其实我们这个领域是不需要计算机的，一张纸、一支笔就能算起来了。而且许多时候，聊着聊着就有了进展。”陆品燕认为，基础研究突破需要自由的土壤，需要为研究者创造交流的开放平台。