电子科技大学算法与逻辑团队在EC 2026上发表重要理论成果

近日,我校计算机科学与工程学院(网络空间安全学院)算法与逻辑团队在经济与计算交叉研究领域取得重要突破,论文《Contracting with a Mechanism Designer》被经济与计算领域顶级国际会议2026 ACM Conference on Economics and Computation(简称EC 2026)正式录用。这是团队在计算经济学方向上的标志性成果,彰显了学校在国际前沿交叉学科中的研究实力。
EC会议专注于经济学与计算机科学的交叉研究,是该领域的顶级国际会议之一。本届会议共收到1115篇全文投稿,最终仅录用290篇,录用率约为26.0%。
该论文由电子科技大学计算机科学与工程学院(网络空间安全学院)算法与逻辑团队肖鸣宇教授及其博士生刘耀壕与香港科技大学冯逸丁教授等国内外合作者共同完成。
该论文聚焦现代众包市场中的三方经济交互,提出了一种全新的“委托人-中介-代理人”博弈模型(如图1所示),系统刻画了雇主(委托人)、平台(中介)与工人(代理人)之间的合约与机制设计问题,为理解众包平台中的合约设计与中介定价策略提供了系统的理论框架。


作者完整求解了该模型的子博弈完美均衡,发现委托人的最优合约可等价转化为虚拟价值定价问题,并证明了线性合约的最优性。图2展示了已知与未知市场大小两种情形下,中介参与带来的效用损失上界:当市场大小已知时,损失仅取决于工人成本的分布特征,在理想情况下可被控制在常数倍以内;当委托人只知道市场大小的范围时,损失还会额外受到该范围宽度的放大影响,不确定性越大,效率损失越严重。


电子科技大学算法与逻辑团队由欧洲科学院院士、新西兰院士Bakh Khoussainov教授和算法专家肖鸣宇教授共同组建,现有许超教授、Toru Takisaka教授、周毅副教授、郝东副教授等多位骨干成员。团队长期深耕算法设计与分析(包括近似算法、参数算法、精确算法、在线算法等),逻辑、图论与图算法,组合优化,算法工程,机制设计与算法博弈论,形式化方法与认证等理论方向,近年来在LICS、CAV、WINE、SODA等理论计算机科学领域顶级会议上连续发表高水平成果,研究实力和学术影响力稳步提升。此次EC 2026论文的录用,进一步彰显了团队在计算经济学前沿领域的国际竞争力。
算法与逻辑团队将以此次突破为契机,继续聚焦算法博弈论与机制设计的基础理论问题,深化国际合作,产出更多原创性成果,为推动我国在计算经济学领域的发展贡献成电智慧。

论文信息如下 (按照理论计算机科学/计算经济学国际学术惯例,论文作者按照姓氏首字母排序):

Contracting with a Mechanism Designer

Authors: Tian Bai, Yiding Feng, Yaohao Liu*, Mengfan Ma, Mingyu Xiao

论文链接:https://arxiv.org/pdf/2507.12054