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

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

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

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