Lindeberg）证明，而图灵在开始这项研究前并未注意到这点。尽管如此，委员会认为这项研究值得考虑提供研究金）。此外，图灵在他的重要论文“论可计算数及其在判定问题上的应用”（On

想象一个游戏：有10位参与者，每位参与者各自独立地在两个选项之中选择一个：如果选择第一个选项，举办方会向这位参与者收取2元的代价，随后给这10位参与者每人发放1元的奖励。如果选择第二个选项，什么也不会发生，参与者也没有任何代价。显而易见地，每个人都选择第一个选项能让全体参与者的总收益最大，此时每个人都付出2元得到10元，净收益都是8元，皆大欢喜。然而，假设每个参与者都是理性的，并且以最大化自己的净收益为目标，那么这并不是一个稳定的状态。因为在任何情况下，每个参与者选择第二个选项的净收益都比选择第一个选项多1元，因此第二个选项总是更好的选择。假设一个参与者选择了选项一，他就会有动机偏离当前选择，改为选择选项二。在这个游戏中，只有所有人都选择选项二才能达到一个稳定的状态，此时任何人独自改变自己的选择都不会提高自己的收益，这样的稳定状态在博弈论中被称为纳什均衡。纳什均衡被认为是理性的参与者们自发的“自私”行动所能达到的稳定状态，但从整体的角度看却不一定是最为高效的状态。如果用社会福利（social

test）。这篇经典论文的最后两个段落里，图灵展望了人工智能未来可能的两种发展途径，一种是比较抽象的、像下棋所需的智能，一种则是拥有最好的感官、能学习甚至能说英语的智能（原文如下）。We

关键词：CFCS具身计算日编者按2022年12月11日，北京大学前沿计算研究中心具身计算日在线举办。本次具身计算日邀请来自中国、美国、新加坡等地多位具身智能（Embodied

豪北京大学董豪，北京大学计算机学院助理教授，博士生导师，2019年于帝国理工获得博士学位。主要研究方向为计算机视觉、机器人和具身智能，当前研究工作围绕智能机器人的自主决策与泛化交互

假如你是一个北大新生，为了觅食而第一次走进勺园二楼，此时有大概率你会发现有一条极长的队伍、一条中等的队伍和其他几乎没有人的窗口，那么你是否会选择那条最长的队伍？假如是，那么你就成为了集群效应（herding）的一部分。可能有许多人会将这种随大流的现象归咎于盲目的从众心理，实际上也确有许多相关的心理学实验。最早的研究应当归属

对于量子纠缠，波尔与爱因斯坦在争论什么？什么是非局域关联？物理学家又是怎么验证它的存在与否？本期，小编将对非局域关联与贝尔不等式进行简要介绍。量子纠缠实验示意图[1]量子纠缠被爱因斯坦称为“幽灵般的超距作用”（spooky

的悔（regret），这一表现在理论上是最优的。在输入模型为敌对模型时，算法可以达到最优的近似竞争比（asymptotically

的解读。该论文是由苏州科技大学程郁琨教授、北京大学邓小铁教授、中国人民大学祁琦教授以及华为理论计算机实验室阎翔研究员合作完成。文章分析了互联网中网络数字资源共享的比例反应动态协议

达到近似绝对理性的时候，股票市场的交易还会发生吗？这里暂时不考虑对冲风险等需求，重点考虑以赚取利润为目的的交易。虽然

由李彤阳博士于2021年创立。该实验室专注于研究量子计算机上的算法，主要探讨机器学习、优化、统计学、数论、图论等方向的量子算法及其相对于经典计算的量子加速；也包括近期

图中假设节点具有的局部树结构在社交网络中是不合理的。丁剑教授认为组合统计在应用领域仍然面临着挑战：其一是提出应用性更强的、更有意义的模型，其二是提出更具有理论研究价值的模型。报告现场合影文

Switch[6]（右图）两个多智能体合作环境中，我们的方法和现有的方法进行对比。实验结果表明我们的方法优于现有方法，说明分队结构在多智能体强化学习中有益于寻找最优解。参考文献[1]

关键词：静5青年讲座编者按2022年10月20日，来自牛津大学的甘家瑞老师带来了题为“Sequential

在前向过程中不断地添加噪声，在反向生成时引入可学习的参数。然而几何结构的数据对模型提出了新的挑战：旋转、平移等变性（SE(3)-invariant）。如果我们把输入的几何结构在

个策略矿池的场景，并研究其纳什均衡。在竞争交互的过程中，诚实矿池和自私矿池可能会意识到远见矿池的存在，并学习到该策略。这样一来，所有玩家将处于同一理性层级。每个矿池

diffusion）设计了新的量子算法，用于采样对数凹分布和估计归一化常数，相比最好的经典算法对于精度（ε），维度（d），条件数（κ）等参数达到了多项式级加速。本文作者包括：Andrew

李彤阳北京大学前沿计算研究中心助理教授李彤阳博士，现任北京大学前沿计算研究中心助理教授，博士生导师，北京大学博雅青年学者，于2021年7月正式加入中心。他于2015年在清华大学交叉信息研究院（姚班）和数学科学系分别获得工学士学位和理学士学位，2020年在美国马里兰大学获得博士学位，之后在麻省理工学院从事博士后研究工作。他的科研围绕理论计算机、量子计算、人工智能的交叉领域展开，研究成果已在

作为一个摄影师，追求更高图片质量的路上，势必伴随着器材的升级，其中镜头占据了主要的开销。追求更大的光圈、更好的成像质量带来的是更多组透镜的组合，以及更长、更厚的镜头组。然而在许多新兴的应用场合，相机的大小受到了较大的限制，例如可穿戴设备、体内成像、物联网等领域。镜头作为一般相机中最占体积、重量的元件，自然就成为亟需优化的瓶颈。事实上，没有镜头的相机并不少见。最早记载于《墨经》的小孔成像实验就是一种无镜头相机——针孔相机（pinhole

FileInsurer，在通过分布式存储确保可扩展性的同时，通过增强鲁棒性和全额补偿文件丢失损失来保证可靠性。论文链接：https://arxiv.org/abs/2207.1165701概

量子计算的简介，简要介绍基于光学，超导，离子阱的量子计算机实现，以及领域目前的发展现状量子计算的基础理论介绍基于线性代数的量子计算理论；量子线路基础介绍基于黑箱的基础算法

关键词：科技冬奥，自由视点编者按由北京大学陈宝权教授作为项目负责人牵头承担的国家重点研发计划“科技冬奥”

Wisdom，IJTCS-FAW）由北京大学讲席教授邓小铁于2020年牵头发起，第三届于2022年8月15日-19日线上线下交互举行。大会由中国计算机学会（CCF）、国际计算机学会中国委员会（ACM

Talk图灵班学生自发组织的系列报告图灵学生科研论坛前身是中心及图灵班科研展示，图灵班特色学术活动中心承办/协办重要会议国际理论计算机联合大会International

map）。之后根据置信度图对原始深度图和初始修复深度图插值，使得网络既能选择修复过的深度，又能保留原有的正确深度。最后，输出修复完成的深度图。05任务与实验结果我们通过一系列实验，展示了仅在

关键词：CCF计算经济学专业组编者按中国计算机学会（CCF）计算经济学专业组成立大会暨计算经济学专业组前沿交叉技术研讨会于2022年8月7日在苏州召开。会议得到了中国计算机学会以及梅宏理事长的大力支持。在公正公开的投票选举下，北京大学前沿计算研究中心邓小铁教授当选为计算经济学专业组首任主任。邓小铁致辞邓小铁现任北京大学前沿计算研究中心讲席教授、CSIAM

会议的程序委员会主席和“量子计算”分论坛主席。量子计算是一门新兴的交叉学科，其利用量子状态的相干、纠缠等量子力学基本原理，展现出了潜在的超越经典计算的能力。孙晓明教授表示，IJTCS

分配机制的启发，运用算法博弈论框架下最新成果，结合计算经济学理论，以互联网市场中资源共享博弈问题为研究对象，开展资源分配的激励分析与研究。更数学化地，网络上资源共享问题可以被模型化为一个赋权无向图

选举是一种正式表达集体意愿的决策方式，选举制度则规定了投票的机制和确定选举结果的算法。在现代选举过程中，人们总是希望选举制度具有一些良好的性质。首先，选举制度不能是独裁制度，其结果不能只取决于某一个人的意愿。其次，选举结果应该是正确反映民意的，比如，如果所有的选民都觉得

Council）、中国工业与应用数学学会（CSIAM）联合主办，香港城市大学（CityU）承办，北京大学前沿计算研究中心、北京大学人工智能研究院协办。IJTCS注册信息

的区块链公共品筹款平台在2019起就开始运行，并受到以太坊基金会和众多区块链系统的持续资金支持。目前已有超过5000个公共品项目从该平台获得资金。仅在今年为期不到一个月的

主要实验结果同时，我们在有人工设计的环境奖励的情况下验证了我们的方法。我们的方法在有环境奖励的情况下，成功率分别在训练集与验证集上超出了基线算法7%，进一步说明了该算法的适用性。在表2中使用

模型做性能比较，根据模型的性能和状态，对在线模型进行下线、回滚和重新上线。这一机制保护了在线模型不受未经评估的参数更新的负面影响。得益于这些降低延迟的创新机制，Ekko

提出公钥密码学设想的论文跟他说：“嘿，罗纳德教授，你可能会觉得这个设想很有趣”时，他马上发掘这个想法的潜力，并叫来自己的好朋友阿迪（Adi

关键词：CFCS理论计算日编者按2022年6月28日，北京大学前沿计算研究中心理论计算日在线举办。本次理论计算日邀请来自美国、以色列、新加坡、中国香港等地多位理论计算领域活跃的专家学者，介绍在算法、复杂性、编码、密码学等理论计算机科学的主要分支上的最新进展。活动由中心助理教授程宽、姜少峰、刘天任主持，通过B站和蔻享学术直播，吸引近千人观看并参与讨论。CFCS

Design》的解读。该论文由北京大学前沿计算研究中心邓小铁课题组与谷歌团队、上海交通大学团队合作完成。本文将基于深度学习的最优拍卖设计的方法论拓展到了上下文拍卖场景中，并为此设计了新的基于

CFCS北京大学前沿计算研究中心成立于2017年12月，是北京大学新体制科研机构，由图灵奖获得者、中国政府“友谊奖”获得者、中国科学院外籍院士、北京大学访问讲席教授

在十几年前有一款非常流行的游戏叫做魔塔。在魔塔当中玩家需要扮演一个勇士进入魔王的魔塔并且解救被魔王抓起来的公主。（经典版）魔塔一共有50层，勇士从第一层出发，不断与怪物交战，取得金币和钥匙，到商店处提升自己的能力，获取宝物，最终走上最后一层打败魔王。不少人能够通关魔塔得益于其设计中一个非常重要的细节——魔塔的每一层都以完美信息展示给玩家，所以玩家能够合理地观察怪物并且设计自己的策略，甚至在游戏早期玩家就能获得查看所有怪物数据的能力，这些细节大幅降低了魔塔的难度。试想如果玩家设身处地扮演勇士，在魔塔中只能看到像迷宫一样的墙和门，还有未知的怪物，那么玩家应该如何设计自己的策略呢？这个问题属于强化学习的研究范畴。强化学习是机器学习中的基本框架之一，它的场景是玩家不断地和未知环境进行交互并且从环境中获取反馈。玩家需要基于当前的历史信息选择自己的动作，之后环境根据玩家的状态和动作提供奖励，玩家的目标是尽量最大化自己的总奖励。影响玩家总奖励的是他的策略，即如何从历史信息来决定当前的动作。在学习的开始阶段，玩家对环境一无所知，这时他只能通过采取一些比较随机的动作来探索环境，这些随机动作带来的奖励可能非常低；在一段时间之后玩家获取到了一些信息才能开始改进自己的策略。这个过程像极了我们小时候学习走路，总要摔很多次才能学会。在随机探索达到一定程度之后，一个比较好的策略改进是利用已知信息进行规划，以便在面临相似局面时选择好的动作并且获取更高的奖励。例如在魔塔中如果玩家已经能够无伤击败某一种怪物，那么下次当玩家发现这个怪物时可以先击败它再处理其他怪物。然而探索环境和利用已知信息的相对顺序并没有这么简单，即便在玩家已经能够利用一部分局面的信息时，对于另外一部分局面可能还一无所知，这时探索未知的局面的过程又形成了一个新的探索阶段。玩家在探索阶段获取的奖励往往比利用阶段低很多，而不做充分的探索玩家又很难找到好的策略，所以如何平衡“探索”与“利用”从而获取更高的奖励是强化学习中的核心问题之一。从理论的角度来说，实现“探索

关键词：本科生答辩编者按2022年5月，前沿计算研究中心2018级本科毕业论文答辩工作顺利完成。疫情影响下，根据信息科学技术学院的工作部署，中心答辩分为理论组和应用组，以线上视频答辩的方式进行，中心全体老师作为答辩评委参加。来自北京大学信息科学技术学院、元培学院、物理学院、数学科学学院，清华大学物理学院的36位2018级本科生线上进行了报告并顺利通过答辩，12人获评优秀毕业论文，1人获评信息科学技术学院2018级本科生“十佳”优秀毕业论文。祝贺！理论组答辩合影应用组答辩合影信息科学技术学院2018级本科生“十佳”优秀毕业论文薄壳软体模拟的解算方法陈旭雯，信息科学技术学院2018级图灵班面向薄壳软体的仿真是基于物理的仿真计算领域的重要研究课题。传统的有限元方法利用三角面元对薄壳软体进行网格划分，从而完成对连续介质的空间离散化。无网格的软体仿真方法近年来收到了广泛关注，这类方法只基于有限个采样点对连续介质软体进行插值重构，并由此离散弹性势能和运动学方程。本文聚焦于薄壳软体的仿真解算框架，详细阐述了连续介质薄壳软体的几何表示和物理建模，介绍了以微分方程弱形式和伽辽金方法为核心的数值分析方法，在此基础上分别建立了基于有限元方法和基于无网格方法的薄壳软体离散格式，并分别展示了仿真结果。在传统网格方法的基础上，无网格方法建立了一套新型的面向软体薄壳的离散表示和仿真方法，本文通过对比实验展现了无网格方法相对于传统有限元方法的独特优势，并讨论了其不足所在和未来工作的可能方向。陈旭雯答辩现场截图中心2018级本科毕业论文信息按学生姓氏首字母排序，*为优秀毕业论文陈嘉晨：褶皱和形变页面的三维建模陈嘉乐：公平的评分机制设计陈嘉毅*：对自然条件下的点云序列中手物交互的位姿追踪与重建陈旭雯*：薄壳软体模拟的解算方法陈子维：单目三维人体姿态估计的模型改进与应用褚顾佳：基于学习的动态合约问题初探冯

随机生成大量的结果。接着，使用不同的方法，采用一定范围内的随机步长对这些结果进行编辑。然后，使用预训练的年龄检测模型计算出每个编辑实例的真实编辑程度（如10年、20年）。最后，计算不同编辑程度下人脸

的概念，也就是说在对算法的某个任务的调度进行改变后，收益仍然不会差别太多。最后只需要利用一些集中不等式证明驱逐的概率足够小，就可以再次保证算法的收益。讲座的最后，Lucier

关键词：图灵学生科研论坛编者按2022年6月3日，正值端午，端粽飘香。上午9点，首届北京大学图灵学生科研论坛以线上的方式正式拉开序幕。论坛的前身是北京大学前沿计算研究中心与图灵班科研展示，自2019年以来已成功举办五届。2022年开始，活动升级为北京大学图灵班特色科研活动。计算机学院院长胡振江、副院长郭耀、信息科学技术学院党委副书记贾方健、前沿计算研究中心执行主任邓小铁受邀参加，计算机学院边凯归、熊英飞，前沿计算研究中心董豪、姜少峰、孔雨晴、王鹤等老师作为评委参加，近20位同学展示了自己的研究成果、分享研究领域的最新动态，近70位同学报名参与了活动。往届论坛回顾：#图灵学生科研论坛胡振江教授致辞论坛随着胡振江教授的开幕致辞正式开始。胡老师充分肯定了同学们在科研方面的努力和取得的成果，希望大家在论坛中勤于学习、勇于展示、乐于分享，不论是报告人还是听众，都能够有所收获。亮点报告“亮点报告”环节虽然在线上进行，但是大家依旧热情高涨，积极和讲者互动。14位同学在计算机理论&计算经济学、计算机系统、学科交叉领域三个方面展示了自己近期的工作。每位同学在短短的五分钟里，以精心的准备、精美的

在所有这些简单博弈上都收敛，却无法在它们的任意线性组合上收敛（因为这组成了整个博弈空间）。一个自然的问题是，我们能否找到一些充分条件，使得满足条件的简单博弈的线性组合具有

芒种，五月节，谓有芒之种谷可稼种。芒种于每年公历6月5-7日交节，这个时节气温显著升高、雨量充沛、空气湿度大，适宜晚稻等谷类作物种植。农事耕种以“芒种”这节气为界，过此之后种植成活率就越来越低。其是种植农作物时机的分界点，过此即失效。在计算机科学对于随机图的研究中，也存在这样的阈值，例如当有

mechanism”的在线报告。报告由中心助理教授李彤阳博士主持，相关内容通过蔻享学术、Bilibili

将持续的建设中国人为主的深度学习开发者社区，包括线上交流群组、举办比赛、线下沙龙（视疫情情况），以及和高校师生的合作等。关于生态产品的详情，请点文末“阅读原文”了解。前景展望TensorLayerX

最佳开源软件奖。董豪博士承担多项国家级和省级项目，主持科技部新一代人工智能2030重大项目。推荐阅读对话新人

引用4500+。加入中心后，袁骁博士创立量子模拟和量子信息实验室，该实验室的研究方向包括量子模拟算法设计、量子机器学习、量子基础理论等。推荐阅读新人新语

ALS），几十年来，该疾病使他逐渐瘫痪。失语后，他通过一个语音生成设备进行交流，最初是使用一个手持开关，后来变成通过单个脸颊肌肉。霍金的科学著作包括与罗杰·彭罗斯（Roger

的方法。我们的消融实验验证了每一项改进可以使成功率与泛化能力显著地提高。我们的改进方法与网络结构更多信息，可参考该工作相关论文（点击文末“阅读原文”跳转）。具身感知与交互实验室具身感知与交互实验室