今天，北京大學前沿計算研究中心官方公眾號報道稱，在全球計算機理論頂會 STOC 2020 上，北大本科生吳克文有兩篇論文發(fā)表，其中一篇獲得了最佳論文獎。

根據(jù)北京大學前沿計算研究中心官方公眾號的報道，6 月 25 日，ACM 計算理論年會 STOC 2020 上傳來一條好消息：北京大學信息科學技術學院 16 級圖靈班學生吳克文參與的論文《Improved bounds for the sunflower lemma》榮獲會議最佳論文獎。 作為計算機理論領域的全球頂級學術會議，ACM 計算理論年會（ACM Symposium on Theory of Computing，STOC）始于 1969 年，今年已經舉辦了 52 屆。 STOC 在整個計算機科學領域享有崇高的聲望，屬于公認難度最高的會議之一。與人工智能不同，計算機理論領域被認為是國內學界與全球頂級水平相距較大的方向，在 STOC 大會中，2000-2017 年大陸研究機構平均每年發(fā)表的論文數(shù)量僅為 0.89 篇。 該會議由 ACM SIGACT (Special Interest Group in Algorithms and Computation Theory) 主辦，歷年會議涵蓋的領域十分廣泛，包括算法和數(shù)據(jù)結構、計算復雜性、密碼學、計算幾何、組合學、隨機與去隨機化、算法博弈論和量子計算等。因新冠疫情影響，STOC 2020 于 2020 年 6 月 22-26 日在線舉行。 在中國計算機學會（CCF）最新版的推薦學術會議列表，以及清華大學發(fā)表的新版計算機學科推薦學術會議和期刊列表中，STOC 均被列為 A 類會議。

吳克文是北京大學信息科學技術學院圖靈班 16 級本科生，高中畢業(yè)于常州高級中學。他的科研興趣為理論計算機，如：復雜性理論、算法設計與分析、密碼學等。北大表示，作為圖靈班第一屆畢業(yè)生，吳克文將很快前往 UC Berkeley 繼續(xù)學習。

論文鏈接：https://dl.acm.org/doi/10.1145/3357713.3384234 這篇最佳論文由吳克文與 Ryan Alweiss、Shachar Lovett、Jiapeng Zhang 合作完成，主題是「太陽花引理的改進」。 太陽花（sunflower）是一種常見的組合結構，它表示若干兩兩相交均相同的集合。太陽花引理證明了，當我們有 「足夠多」大小不超過 w 的集合時，我們必能從中找到太陽花。自 1960 年由 Erd?s, Rado 提出以來，盡管經歷了諸多改進，太陽花引理中的 「足夠多」一直處于 w^w 量級。 在吳克文等人的論文中，他們將它改進到約 (log w)^w，更接近猜想的 O(1)^w。 由于太陽花結構的普遍性，該引理在計算機科學與組合數(shù)學中都有很多應用。 除了這篇論文之外，吳克文參與的另一篇論文——《Decision list compression by mild random restrictions（利用隨機賦值的決策表壓縮）》也被 STOC 2020 接收。 論文鏈接：https://dl.acm.org/doi/10.1145/3357713.3384241 此前，2016 年才有第一名國內本科生以一作形式在 STOC 上發(fā)表論文，他是來自清華姚班、計科 20 班的本科生鐘沛林，其論文是《分布流模型中的最優(yōu)主成分分析》（Optimal Principal Component Analysis in Distributed and Streaming Models）。 吳克文之前，也曾有國人在 STOC 大會上獲獎。在去年的 STOC 2019 大會上，來自麻省理工學院的陳立杰獲得了最佳學生論文獎。