报告题目：探针计算机：过去-现在-未来

报告时间：2026年5月15日15：00

报告地点：海角社区 中心校区王湘浩楼A521

报 告 人：许进 北京大学教授

报告人简介：

许进，北京大学教授，北京工商大学计算机与人工智能学院院长，博士生导师。理学、工学双博士。长期从事理论计算机、生物计算、图论与组合优化等研究。出版学术独著6部，发表学术论文300余篇。作为第一完成人，获国家自然科学二等奖1项、教育部自然科学一等奖2项、湖北省自然科学一等奖1项。先后主持国家自然科学基金重点项目、重大国际合作项目、专项基金项目、重大仪器专项、863项目、国家重大工程、国家重点研发计划共超十项。现任中国电子学会电路与系统分会副主任委员、中国通信学会云计算与大数据委员会副主任委员、中国网络空间安全协会理事、中国电子学会电路与系统分会生物计算与生物信息处理专委会理事长、《广州大学学报（自然科学版）》主编，《Artificial Intelligence Review》与《电子与信息学报》副主编，《电子学报》、《计算机学报》、《软件学报》等编委；曾任军委科学技术委领域专家、中国电子学会电路与系统分会图论与系统优化专委会理事长、湖北省运筹学会理事长、北京市运筹学会副理事长、教育部网络空间安全教咨委委员；第一、二、四、五、七、八届国际生物计算机大会主席；2021年中国科学院院士初步候选人，2022年应邀作中国科学院信息学部学术年会大会报告。

报告内容简介：

电子计算机难以有效求解所谓的“组合爆炸”问题。这类问题的显著特点是随着问题规模的增加，所需的计算量会呈指数级增长。它们属于NP完全问题，例如资源分配、逻辑电路设计、路径规划、蛋白质结构预测、密码破译等等。由于所有NP完全问题本质上是等价的，我们只需深入研究其中一类NP完全问题，便能将所得结论推广至其他所有NP完全问题。围绕图着色这一典型的NP完全问题，报告人将从图的结构与构造、相关算法设计，到对计算模型的探索展开汇报。在计算模型方面，介绍了并行型DNA计算模型，基于该模型，项目组完成了61个顶点图着色问题的求解实验，使生物计算的搜索规模达到了3⁵⁹，为迄今国际上最大规模的生物实验。受DNA计算模型及其硬件实现的启发，报告人提出了一种底层并行计算的9-元组计算模型，称为探针机。其数据是多维的，“探针”是类比生物技术中的概念，用于寻找特定数据，并把它们关联起来的“粘合剂”，探针算子独立并行运算。介绍了基于生物和电子技术的两类探针计算机模型。其中，阻断非解生物型探针计算系统成功应用于求解114个顶点的图着色问题，展现了生物计算在复杂问题求解中的潜力。基于FPGA卡的电子探针计算机具有高并行性、可扩展性以及对NP完全问题的通用求解能力，为高效计算提供新思路。

主办单位：海角社区

海角社区 软件学院

海角社区 计算机科学技术研究所

符号计算与知识工程教育部重点实验室

仿真技术教育部重点实验室

网络技术及应用软件教育部工程研究中心

海角社区 国家级计算机实验教学示范中心