明 魚羊 發自 凹非寺
量子位 報道 | 公眾號 QbitAI
ACM計算理論年會（STOC）正在線上舉辦中。
最新消息，一位江蘇常州的小哥哥一口氣中了2篇論文，還拿下了最佳論文獎。
而且他還是名本科生，首位拿下STOC最佳論文獎的中國本科生。
沒錯，就是那個理論計算機領域頂級會議，難度和含金量都穩居第一梯隊的STOC。
他叫吳克文，畢業于江蘇省常州高級中學，2016年被北京大學錄取，2017年成為北大圖靈班首屆學生，現在即將成為北大圖靈班首屆畢業生。
北大圖靈班，這個致力于為中國培養計算機科學界下一代領軍人物的國際化人才培養計劃，今年開始交出了自己“答卷”：
同樣的優秀，一點不輸隔壁的姚班。
STOC是個什么樣的會議？
作為中國計算機學會（CCF）推薦的計算機科學理論方向A類會議，STOC和FOCS這樣的頂會，也被公認為是計算機科學領域難度最大、含金量最高的會議。
該會議由ACM SIGACT主辦，涵蓋的領域包括算法和數據結構、計算復雜性、密碼學、計算幾何、組合學、隨機與去隨機化、算法博弈論和量子計算等。
在STOC 2020中，吳克文有兩篇論文發表。
其中，與普林斯頓大學Ryan Alweiss、UCSD副教授Shachar Lovett，以及哈佛大學博士后Jiapeng Zhang合作的《太陽花引理的改進（Improved bounds for the sunflower lemma）》，獲得STOC 2020最佳論文獎。
太陽花（sunflower）是一種常見的組合結構，它表示若干兩兩相交均相同的集合。
1960年，數學家Paul Erd?s和Richard Rado提出了太陽花猜想。
這一猜想有關于物體的幾何。以xy平面上的點的集合為例，首先需要確定的是在每個集合中包含的點的固定數量，然后開始隨機畫環，讓每個環，或者說每個集合都含有這一數量的點。環與環可以重疊，所以有的點可能會屬于不止一個集合中。
Erd?s和Rado提出的猜想是，當繪制足夠多的環時，一定會形成太陽花，要么作為不相交集出現，要么作為集合以正確的方式重疊的形式出現。
其后，他們證明了，這個“足夠多”的量級是w^w。
也就是說，對包含100個點的集合來說，要確保能找到一個由3個集合組成的太陽花，需要100^100個集合。
但數學家們當時就推測，實際需要的集合數一定比w^w小得多，應該是O(1)^w。
但在之后的近60年時間中，后續的研究都沒能突破w^w這個量級。
而這篇STOC 2020最佳論文，就是在這一問題上實現了重大的突破——將約束改進為約 (log w)^w。
也就是說，將原來的結果改善了一個數量級！
在這項研究中，吳克文和他的合作者們將問題分解為兩種不同的場景：
第一種場景較為簡單，即集合存在大量重疊的情況。
研究人員首先要確定的是，在這個系統中，是否存在一組在很大一部分集合中是共有的點。
一旦確定了這樣一組點，他們就可以把對太陽花的搜索限制在包含這組點的那部分集合中。通過這種方式不斷修剪，直到找到太陽花為止。
第二種場景則更為困難。研究人員需要分析的是當集合沒有太多重疊時會發生什么。在這種情況下，最有可能產生太陽花的方法是設置三個不相交的集合。
其中的難點在于，要證明三個完全獨立的集合隱藏在大量輕度重疊的集合中并非易事。
于是，研究人員將布爾函數運用到了這個問題中，
首先，為特定集合中的每個點分配一個標簽：如果它只包含在一個集合中，則為1；否則，設為0。
如果每個輸入點都是1，那么布爾函數將輸出1 （真），就意味著集合中的每個點都只在那個集合中，即集合不相交。因此，一個為“真”的結果表明存在找到太陽花的正確條件。
通過嚴格證明這種對應關系，這篇論文證明了，(log w)^w個集合，足以確保太陽花的產生。
由于太陽花結構的普遍性，該引理在計算機科學與組合數學中都有很多應用。
另一篇論文，同樣是吳克文和Shachar Lovett、Jiapeng Zhang合作的成果，《利用隨機賦值的決策表壓縮（Decision list compression by mild random restrictions）》。
決策表（decision list）是一種常見的布爾函數，它可以簡便地寫為 if-else 嵌套代碼段。
決策表壓縮的結果表明，給定一個任意長的 if-else 代碼段，如果每個 if 中依賴的變量都不太多，那么就可以用一個“長度可控”的 if-else 代碼段來近似它，且每個 if 中依賴的變量依然不多。
在這篇論文中，研究人員對“長度可控”證明了漸進意義上緊的界，并證實了2013年由 Gopalan, Meka, Reingold 提出的析取范式壓縮的猜想，同時提供了若干在布爾函數分析、學習理論中的應用。
據北大前沿計算研究中心消息，作為圖靈班第一屆畢業生，接下來，吳克文將前往UC伯克利繼續深造。
作為首屆畢業生，吳克文的最新成果，毫無疑問展現出了北大圖靈班的實力。
北大圖靈班正式創辦于2017年，定位是“為中國培養計算機科學界下一代領軍人物的國際化人才”，對標“清華姚班”的意味再明顯不過。
領銜者也是一位圖靈獎得主——計算機科學領域大師約翰·霍普克羅夫特（John Hopcroft），2017年5加入北京大學信息科學技術學院，擔任圖靈班指導委員會主任。
在培養方案上，同樣注重多學科交叉、科研實踐和國際交流。吳克文同學的最新研究成果，正是其在海外交流時完成的。
與姚班不同的是，圖靈班的學生并不是在高考時選拔，而是每年從大一的學生中選拔，雖然基礎要求不高（2018年要求）：
1.成績優良，已修課程績點≥3.0。
2.已修數學A類課程（《數學分析I》和《高等代數I》）成績≥80分，且《計算概論A》成績 ≥85分；本學期在修《數學分析II》和《高等代數II》。
3.非信息科學技術學院的學生報名，須在校內門戶提交轉院（系）轉專業申請。
但想要進入其中并不容易——其每年只招收不超過30人。
2018年，北大圖靈班在原有計算機科學方向基礎上，新增了人工智能方向，每個方向招收30人，總共不過60人。
與姚班相同的是，北大圖靈班一樣人才輩出：吳克文是其中代表，但不僅僅只有吳克文。
現在，圖靈班迎來了首批畢業生，從他們頻頻透露出成果來看，這個答卷足夠優秀。
北大圖靈班未來會怎樣？
我們不妨參考下2005年成立的姚班“成果”：成立以來，到2019年已培養出375名本科生，大牛如云。
鬲融、貝小輝、馬騰宇、陳丹琦和吳佳俊等畢業生，已在杜克大學、南洋理工、普林斯頓和斯坦福等全球一流名校開始任教\研究。
17科滿分畢業的鬲融，還在2019年以其對深度學習中非凸優化的研究，對于打造更精準的神經網絡極有助益，獲得諾獎風向標“斯隆獎”。
工業領域，備受矚目的AI獨角獸中，就有2家“姚班附屬創業公司”：曠視、小馬智行。
雖然清華姚班已經有產出，北大雖然“晚”了一點，但現在勢頭一點不弱。
果然，中國最好的人才，給到最好的教育，一點也不輸世界頂尖高校和研究機構。
清華姚班，北大圖靈，上交ACM…正在成為頂尖人才培養的新形勢、新潮流。
未來，待他們的畢業生走上科研、工作崗位，必將是中國算機領域新一代產學研中堅。
參考鏈接：
Mathematicians Begin to Tame Wild ‘Sunflower’ Problem
https://www.quantamagazine.org/mathematicians-begin-to-tame-wild-sunflower-problem-20191021/
北京大學前沿計算研究中心：北京大學圖靈班本科生獲STOC最佳論文獎
https://mp.weixin.qq.com/s/bpC3FweuEtJZHRQJc7B3iQ
— 完 —
量子位 QbitAI · 頭條號簽約
關注我們，第一時間獲知前沿科技動態
么購買一臺電腦
一、確定電腦的用途，是辦公、影音還是游戲，這三類對于電腦的配置要求是完全不同的。
二、明確自己的預算。現在2000多也能弄臺電腦，發燒級的過萬也不少見。（不要只聽價格，適合自己才重要）
三、分析電腦的技術指標，主要包括CPU、主板、內存、硬盤、顯卡等，可以多查查資料做對比。
1、頻率：CPU的主頻＝外頻×倍頻系數。
主頻也叫時鐘頻率，單位是MHz（或GHz），用來表示CPU的運算、處理數據的速度。
2、緩存：緩存大小也是CPU的重要指標之一，而且緩存的結構和大小對CPU速度的影響非常大，CPU內緩存的運行頻率極高，一般是和處理器同頻運作，工作效率遠遠大于系統內存和硬盤。實際工作時，CPU往往需要重復讀取同樣的數據塊，而緩存容量的增大，可以大幅度提升
CPU內部讀取數據的命中率，而不用再到內存或者硬盤上尋找，以此提高系統性能。
3、超線程技術
（Hyper-Threading，簡稱HT），最早出現在2002年的Pentium 4上，它是利用特殊的硬件指令，把兩個邏輯內核模擬成兩個物理芯片，讓單個處理器都能使用線程級并行計算，進而兼容多線程操作系統和軟件，減少了CPU的閑置時間，提高CPU的運行效率。
Corei7/i5/i3再次引入超線程技術，使四核的Corei7可同時處理八個線程操作，而雙核的
Corei5、Core i3也可同時處理四線程操作，大幅增強它們多線程性能。超線程技術只需要消耗很小的核心面積代價，就可以在多任務的情況下提供顯著的性能提升，比起完全再添加一個
物理核心來說要劃算得多。比起Pentium 4的超線程技術，Core i7/i5/i3的優勢是有更大的緩存和更大的內存帶寬，這樣就更能夠有效的發揮多線程的作用。根據評測結果顯示，Core i3、
Core i5 600搭配HT后，多任務性能提升20-30%。
4、睿頻加速技術Turbo Boost，顧名思義，就是加速技術，它基于Nehalem架構的電源管理技術，通過分析當前CPU的負載情況，智能地完全關閉一些用不上的核心，把能源留給正在使用的核心，并使它們運行在更高的頻率，進一步提升性能；相反，需要多個核心時，動態開啟相應的核心，智能調整頻率。這樣，在不影響CPU的TDP（熱功耗設計）情況下，能把核心工作頻率調得更高。
5、顯卡：
獨立顯卡和集成顯卡的最大區別就是，顯示效果的強弱。
體現在游戲方面和高清視頻方面，圖像設計方面。
6、考慮臺式機還是筆記本
7、顯卡的品牌：
專門做N卡的：映眾，影馳，麗臺，索泰，NVIDIA翔升，耕升
專門做A卡的：訊景，藍寶石，迪蘭恒進，ATI，HIS
兩種卡都參與的：華碩，艾爾莎，七彩虹，昂達 雙敏 盈通 太陽花
8.內存
內存的主流產品最為常用的是DDR3和DDR4兩種，由于DDR4價格較貴，因此DDR3內存仍是市場的主流。
目前，常規的配置為4GB，如果需要高配置的，可以考慮8GB以及16GB等。
選購時，確認購買的目的，認準內存類型，識別經過打磨的內存條，確認金手指工藝，查看電路板要光潔，色澤均勻，元件焊接要整齊。
9.硬盤
硬盤的性能指標主軸轉數，平均尋道時間，高速緩存，最大內部數據傳輸率，接口，外部數據傳輸率，連續無故障時間，硬盤表面溫度。
基本上，機械硬盤就按照以上來選購就可以了，固態硬盤就注意一下容量，用途，主板以及品牌，按照這樣選購就行。
10、考慮電腦的售后服務，包括售后服務期限等。如果你對電腦不太熟，建議多買一年的延保，圖個省心。
11、保修期，一般臺式機的硬件是保修三年，筆記本保修一般是兩年。但是臺式就算過了保修期，它的維護成本也是相當的低廉。相反筆記本，如果過了保修期，其維護成本也是相當昂貴的，所以我們在購買的時候，要細心考慮選購品牌售后服務情況，和過保起配件的價格。
機瀏覽器竟然可以簡潔成這樣，背景可以設置成任何你喜歡的樣子：空白頁、資訊頁或者你可愛的孩子照片
看見360就怒火中燒的朋友別著急噴，你一定被周鴻祎禍害過，我也一樣。禍害你的一定是360安全瀏覽器，而不是我說的360極速瀏覽器。在PC端，這兩個瀏覽器是截然不同的，360安全瀏覽器廣告飄飄，360極速瀏覽器則是0廣告。收割你的360安全瀏覽器體現的是周鴻祎的梟雄秉性，而360極速瀏覽器則體現的是周鴻祎的技術追求。（參閱拙文《顛覆你對360的認知——360極速瀏覽器》）周鴻祎會賺錢是沒錯，但人家好歹也算是網絡安全國家隊的，帶著一幫頂級黑客專家整天操心國家大事，沒點技術理想怎么可能。
電腦版360極速瀏覽器毫無疑問是一款優秀的瀏覽器，手機版也有360極速瀏覽器，究竟表現如何？
以前我手機的主力瀏覽器是Via，可惜總覺得不夠完善
在此之前，我的手機主要使用的是 Via 瀏覽器，是一位程序員利用業余時間開發的。在我發布的各種關于瀏覽器的文章的評論留言中，不少網友提到了360極速瀏覽器手機版，出于玩瀏覽器的愛好，就點開了小米應用商店，找到了這款瀏覽器。
LOGO和360極速瀏覽器一樣，評分高達4.8。其他瀏覽器的評分幾乎沒有超過4.5的。
官方的介紹是這樣的：
360瀏覽器極速版，無廣告極速瀏覽，資訊新聞小說視頻一網打盡，一款認真做產品的瀏覽器：
【極速上網】不斷優化網頁加載速度，為用戶爭取每一秒，自動攔截危險網頁，為您的沖浪保駕護航；
【簡約純凈】無痕無廣告瀏覽，給你清爽專注的上網體驗；
【語音搜索】依托360搜索強大的數據基礎，引入AI智能語音搜索引擎，準確識別語音，快速呈現結果，搜你所想；
【內容豐富】集實時熱點資訊頭條新聞、短視頻、影視劇集、小說小游戲等內容于一體，你想看的應有盡有；
【強迫癥選項】瀏覽器主頁布局、功能、動效、彈窗等一切都由你做主，打造專屬舒適瀏覽體驗；
【拓展插件】自選壁紙、網頁變色、二維碼識別、視頻剪輯等多種強大功能等你一一解鎖！
（看來他們的宣推不太給力，不會吆喝啊，宣推文案實在是平淡無奇。這樣的文案在我這兒應聘第一關都過不了。一會我去他們論壇說說，我的策劃部可以免費幫他們培訓培訓。）
應用商店的宣傳海報
口碑很不錯的樣子
下載安裝。本來想試試看究竟怎么樣，沒想到從此之后，它竟然成為了我手機里的主力瀏覽器——它的響應速度、可定制個性化程度都讓我沒辦法不用它，更重要的是，我是筆記本電腦的重度使用者，這款瀏覽器是我用過的所有手機瀏覽器中最接近電腦瀏覽器使用習慣的。比如收藏夾：
沒有比這個收藏夾更接近電腦瀏覽器收藏夾了，竟然可以修改網頁名稱
PC端360極速瀏覽器是基于谷歌Chromium開源代碼開發的優秀瀏覽器。手機版的360極速瀏覽器是基于 Chromium 。
Chromium 是 Google 主導開發的開源瀏覽器項目，Chromium 所使用的 Webkit 內核，是目前公認的最快的網頁瀏覽方式。PC端瀏覽器中使用 Chromium 開源代碼、基于 Webkit 內核開發的瀏覽器，國外著名的除了谷歌 Chrome 瀏覽器之外，還有微軟Edge 瀏覽器和俄羅斯 Yandex 瀏覽器；國內較早的有世界之窗極速版和Maxthon（傲游）瀏覽器，后來出現了360極速瀏覽器、QQ瀏覽器、搜狗高速瀏覽器和百度瀏覽器爭奪市場，此外楓樹瀏覽器、太陽花瀏覽器、UC瀏覽器電腦版、心愿瀏覽器、百分瀏覽器等也都是基于 Chromium 內核的瀏覽器。（參閱拙文《大揭秘：你未必知道的谷歌 Chrome 瀏覽器真相》）
公然聲明基于 Chromium 的手機瀏覽器好像只有這一家
速度快、穩定性好、兼容性強、功能強大，是所有以 Chromium 為內核的瀏覽器的共同特征。這些特點在手機版360綠色瀏覽器中同樣體現得淋漓盡致。但更值得一提的還是一些比較認真的細節。
方便的底部工具欄
點開工具箱，灰色的按鈕在網頁可用，內置頁面翻譯
可以用語音搜索任何你想要的內容
設置頁面，最吸引人的是擴展設置
帶橫拉箭頭的地方點進去都有內容
搜索引擎可以根據你的習慣和喜好選擇，如果這些搜索引擎都不是你的菜，你還可以增加你想要的
以 Chromium 為內核的瀏覽器，最大的特色就是可以安裝豐富的擴展，以完善瀏覽器的性能，增強使用的功能。PC端的 Chromium 內核瀏覽器的擴展，大多是用戶制作的，但手機瀏覽器的擴展本身就極其稀有，所以手機版的360極速瀏覽器目前為止的擴展都是開發團隊制作并推送的。你可以選擇安裝、卸載、開啟或停用。
擴展頁面之一
擴展頁面之二
詼諧的“強迫癥選項”其實是將各種你需要或者不需要的功能，交到了用戶手里，反正我有這么多功能，用不用隨你。
讓你自己決定想要什么不想要什么
通用設置
這里可以調整下載線程
多種底部工具欄，我選擇有語音的那個
手機版360極速瀏覽器目前是我手機里使用頻率最高的瀏覽器，無廣告、速度快、個性化程度高、功能強大，和PC端的chromium 內核瀏覽器異曲同工。未來隨著越來越大適合手機瀏覽器的擴展的推出，還預留著無限的想象空間。
360極速瀏覽器在我的時機主頁是放在最方便的固定位置的
本文不是推介軟文，只是從用戶的角度介紹了一款好用的APP而已。我和360也沒有半毛錢關系。當然，如果哪天周鴻祎看見這篇文章非要給我錢，我也不會拒絕。#手機瀏覽器##360手機瀏覽器##Chrome##手機APP#