第52届STOC 2020：美国伊利诺伊州芝加哥
康斯坦丁·马卡里切夫 , 尤里·马卡里切夫 , 马杜尔·图利亚尼 , 乔塔姆·卡马特 , 朱莉娅·楚霍伊 :
第52届ACM SIGACT计算机理论年度研讨会论文集，STOC 2020，芝加哥，伊利诺伊州，美国，2020年6月22-26日。 ACM公司 2020 ，十亿 978-1-4503-6979-4
第1A部分： TSP公司
维拉·特劳布 
, 延斯·维根 :
一种改进的ATSP近似算法。 1-13 维拉·特劳布 , 延斯·维根 , 里科·曾克鲁森 :
减少TSP到TSP的路径。 14-27 安娜·R·卡琳 , 内森·克莱恩 , 沙扬·奥维斯·加兰 :
半积分情况下TSP的一种改进近似算法。 28-39 杰斯珀·内德洛夫 :
以o（1.9999ⁿ）时间表示的二部TSP，假设二次时间矩阵相乘。 40-53
会话1B： 逻辑的证明复杂性及其应用
雅罗斯拉夫·阿列克谢夫 , 迪马·格里戈里耶夫 , 爱德华·赫施 , 伊多·萨默雷 :
半代数证明、IPS下界和τ-猜想：自然数能为负吗？ 54-67 米卡·哥尔斯 , 萨金·科洛特 , 伊恩·默茨 , 托尼安·皮塔西 :
自动切割平面是NP-hard。 68-77 德米特里·索科洛夫 :
±1变量上的（半）代数证明。 78-90 德米特里·朱克 , 巴纳比·马丁 :
QCSP怪兽和陈猜想的消亡。 91-104
第1C部分： 分布式并行算法I
迈克尔·本德 , 茨维·科佩洛维茨 , 威廉·库兹摩尔 , 塞斯·佩蒂 :
无碰撞检测的冲突解决。 105-118 佩特拉·贝伦布里克 , 乔治·贾库皮斯 , 彼得·克林 :
人口协议中的最佳时间和空间领导人选举。 119-129 埃里克·巴尔干斯基 , 纱线歌手 :
并行子模块最小化的下限。 130-139 李文政 , 刘颖骏 , 扬·冯德拉克 :
子模块最大化自适应复杂度的多项式下限。 140-152
第2A部分： 动态算法
马克西米利安·普罗布斯特·古腾堡 , 弗吉尼亚·瓦西列夫斯卡·威廉姆斯 , 妮可·韦恩 :
有向图中增量单源最短路径的新算法和硬度。 153-166 雅各布·霍姆 , 伊娃·罗滕伯格 :
在多对数时间内进行全动态平面度测试。 167-180 索拉巴·萨瓦尼 , 王俊兴 :
近最优全动态最稠密子图。 181-193 大卫·瓦伊奇 :
对自适应对手进行动态匹配。 194-207
第2B部分： 布尔函数分析与代数复杂性
罗恩·埃尔丹 , 雷南·格罗斯 :
通过路径随机分析集中于布尔超立方体。 208-221 Yuval Filmus公司 , 诺姆·利夫希茨 , 多尔·明泽 , 埃尔沙南·莫塞尔 :
测试和稳健的判断聚合。 222-233 Eshan Chattopadhyay公司 , Pooya Hatami先生 , 卡夫·侯赛尼 , 沙查尔·洛维特 , 大卫·扎克曼 :
弹性函数对多项式的异或引理。 234-246 沙查尔·洛维特 , 吴克文 , 张嘉鹏 :
通过轻度随机限制进行决策列表压缩。 247-254
会话2C： 密码学
瑞安·阿莫斯 , 马里奥斯·乔治奥 , Aggelos Kiayias公司 , 马克·詹德里 :
一拍签名及其在混合量子/经典认证中的应用。 255-268 尼尔·比坦斯基 , 奥姆里·什穆埃利 :
恒定轮次中的后量子零知识。 269-279 本尼·阿普勒巴姆 , 阿莫斯·贝梅尔 , 奇尼尔 , 纳蒂·彼得 :
通过可靠的有条件秘密披露实现更好的秘密共享。 280-293 亚历山大·戈洛夫涅夫 , 郭思尧 , 蒂博特·霍雷尔 , Sunoo公园 , 维诺德·瓦昆塔坦 :
数据结构符合密码学：3SUM预处理。 294-307
第3A节： 分布式并行算法II
杰森·李 :
近似最短路径的快速并行算法。 308-321 亚历山大·安多尼 , 克利福德·斯坦 , 钟培林 :
通过低跳仿真器并行近似无向最短路径。 322-335 曹乃仁 , 杰里米·芬曼 , 卡蒂娜·罗素 :
高效构造有向跳集和并行近似最短路径。 336-349 瓦克拉夫·罗忠 , 莫森·加法里 :
多对数时间确定性网络分解和分布式去噪。 350-363 雅库布·拉基 , 斯洛博丹·米特罗维奇 , 克日什托夫·奥纳克 , 彼得·桑科夫斯基 :
随意、大规模、高效地行走。 364-377
第3B部分： 量子（灵感）计算
阿拉姆·W·哈罗 , 赛义德·梅赫拉班 , 迈赫迪·苏莱曼尼法尔 :
量子多体系统配分函数的经典算法、相关衰减和复零点。 378-386 奈慧嘉 , 安德拉斯·吉利恩 , 李同阳 , 韩淑琳（Han-Hsuan Lin） , 伊文·唐 , 王春浩 :
基于采样的次线性低秩矩阵算法框架用于量化量子机学习。 387-400 德米特里·加文斯基 :
通信复杂性中的裸量子同时性与经典交互性。 401-411 安德里斯·安巴尼斯 , 安德拉斯·吉利恩 , 斯泰西·杰弗里 , 马丁斯·科凯尼斯 :
通过量子行走找到标记顶点的二次加速。 412-424
会话3C： 隐私和公平
亚历山大·埃德蒙兹 , 阿列克桑达尔·尼科洛夫 , 乔纳森·乌尔曼 :
分解机制在本地和中央差异隐私中的作用。 425-438 维塔利·费尔德曼 , 托梅尔·科伦 , 库纳尔·塔瓦尔 :
私有随机凸优化：线性时间内的最优速率。 439-449 尤瓦尔·达甘 , 维塔利·费尔德曼 :
交互对于具有隐私或通信限制的分布式学习是必要的。 450-462 姜志浩 , 卡梅什·穆纳加拉 , 王康宁 :
大约稳定的委员会选择。 463-472
第4A部分： 图论与算法
阿努帕姆·古普塔 , 尤文·李 , Jason Li（杰森·李） :
Karger-Stein算法对k-cut是最优的。 473-484 大卫·R·卡格 :
网络可靠性的相变和二次时间无偏估计。 485-495 萨格尼克·穆霍帕迪耶 , 达农·纳农开 :
加权最小切割：顺序、切割查询和流式算法。 496-509 西德汉斯·莫汉蒂 , 瑞安·奥唐纳 , 佩德罗·帕雷德斯 :
各种程度的显式近Ramanujan图。 510-523
第4B部分： 编码与信息论
文卡特桑·古鲁斯瓦米 , 伯恩哈德·海普勒 , 阿米尔贝沙德·沙赫拉斯比 :
用于插入和删除的列表编码的最佳弹性代码。 524-537 重上官 , 伊扎克·塔莫 :
超出Johnson半径的Reed-Solomon码的组合列表译码。 538-551 文卡特桑·古鲁斯瓦米 , 安德烈·里扎诺夫 , 叶敏（音） :
Arikan遇到了Shannon：具有接近最优收敛到信道容量的极性码。 552-564 克里姆·埃弗雷门科 , 吉拉特·科尔 , Raghuvansh R.Saxena公司 :
交互式错误恢复能力超过2/7。 565-578
第4C节： 学习和测试
荣格 , 霍尔登·李 , 陆建峰 :
估计对数压缩分布的规范化常数：算法和下限。 579-586 司丹·陈 , 杰里·李 , 赵松 :
通过傅里叶矩学习次指数时间内线性回归的混合。 587-600 Yeshwanth Cherapanamjeri公司 , 塞缪尔·霍普金斯 , 塔伦·卡图里亚 , 普拉萨德·拉加文德拉 , 尼勒什·特里普拉内尼 :
重尾统计的算法：回归、协方差估计和其他。 601-609 薛晨 , 安妮迪亚·德 , 洛科·A·塞韦迪奥 :
测试噪声线性函数的稀疏性。 610-623
第5A节： 最佳论文
第5B部分： 最佳学生论文
悉达斯·班达里 , Sayantan Chakraborty公司 :
改进了图中k着色的完美采样的界。 631-642
第6A部分： 字符串和序列
蒂莫西·M·陈 , 沙伊·戈兰 , 托马斯·科祖马卡 , 茨维·科佩洛维茨 , 爱丽·波拉特 :
近似文本到模式的汉明距离。 643-656 埃拉扎尔·戈登伯格 , 阿维亚德·鲁宾斯坦 , 巴纳·萨哈 :
预处理有助于快速序列比较吗？ 657-670 迈克尔·米赞马赫 , 赛义德·塞迪金 :
LIS和距离单调性的动态算法。 671-684 约书亚·布拉肯西克 , 阿维亚德·鲁宾斯坦 :
近线性时间中近线性编辑距离的常数近似。 685-698 米查尔·库克（Michal Kouck） , 迈克尔·E·萨克斯 :
恒定因子近似值，用于在近似线性时间内编辑远输入对上的距离。 699-712
第6B部分： 复杂性I
克里斯蒂安·伊肯梅耶 , 乌曼加丹·坎达萨米 :
实施几何复杂性理论：通过对称性分离轨道闭合。 713-726 皮埃尔·埃蒂安·穆尼尔 , 达米安·雷诺特 , 达米安·伍兹 :
自组织路径的程序大小复杂性。 727-737 克里斯蒂安·波格斯 , 詹妮弗·查耶斯 , Tyler Helmuth公司 , 威尔·珀金斯 , Prasad Tetali公司 :
适用于Potts模型在所有温度下的高效采样和计数算法。 738-751 库克 , 伊恩·默茨 :
树评估问题的催化方法。 752-760
第6C部分： 优化
丹尼尔·达杜什 , 苏菲·惠伯茨 , 本托Natura , 拉什洛·A·Végh :
线性规划的一种尺度不变算法，其运行时间仅依赖于约束矩阵。 761-774 简·范登布兰德 , 尹达利 , 亚伦·西德福德 , 赵松 :
在近似线性时间内求解高密度线性规划。 775-788 阿伦·占布拉帕蒂 , 尹达利 , 杰里·李 , 斯瓦蒂·帕德马纳班 , 田凯文（Kevin Tian） :
正半定规划：混合、并行和宽相关。 789-802 Yang P.Liu（杨·P·刘） , 亚伦·西德福德 :
更快的能量最大化，实现更快的最大流量。 803-814
第7A课时： 近似算法
雅罗斯瓦夫·拜尔卡 , 法布里奇奥·格兰多尼 , 阿夫鲁兹·贾巴尔·阿梅利 :
突破连接增强的2近似障碍：简化为Steiner树。 815-825 Lap Chi Lau先生 , 洪州 :
网络设计的谱方法。 826-839 西德汉斯·莫汉蒂 , 普拉萨德·拉加文德拉 , 杰夫·徐 :
提升平方和下限：2到4度。 840-853 冯伟铭 , Heng Guo（恒国） , 伊通音 , 张池浩 :
局部引理区域中k-SAT解的快速采样和计数。 854-867
第7B部分： 量子计算
Anurag Anshu公司 , 伊泰·阿拉德 , 高大伟 :
二维无阻自旋系统的纠缠子体积定律。 868-874 丹尼尔·格里尔 , 卢克·谢弗 :
交互式浅Clifford电路：对抗NC¹和其他的量子优势。 875-888 马修·库德隆 , 桑基斯·门达 :
量子深度更大的计算功能更强大（相对于预言机）。 889-901 奈惠嘉 , Kai-Min Chung先生 , 赖静仪 :
关于大量子深度的需要。 902-915 卡尔·A·米勒 :
有效的量子弱抛硬币是不可能的。 916-929
第7C部分： 持续优化/机器学习
乔纳森·利克 , Nisheeth K.Vishnoi公司 :
连续最大熵分布的可计算性及其应用。 930-943 蒋浩天 , 尹达利 , 赵松 , 山姆·邱伟（Sam Chiu-wai Wong） :
凸优化、凹凸对策的改进割平面方法及其应用。 944-953 维塔利·费尔德曼 :
学习需要记忆吗？ 关于长尾的短篇故事。 954-959 司丹·陈 , 杰瑞·李 , 安库·莫伊特拉 :
从不受信任的批中有效地学习结构化分布。 960-973
第8A部分： 细粒度复杂性
巴特洛米耶·杜德克 , Pawel Gawrychowski先生 , 塔蒂亚娜·斯塔里科夫斯卡娅 :
3-LDT的所有非平凡变体都是等效的。 974-981 卡尔·布林曼 , Vasileios Nakos公司 :
Top-k卷积和寻求近线性输出敏感子集和。 982-995 阿米尔·阿布德 , 文森特·科恩·阿达德 , 菲利普·克莱恩 :
p中平面图问题的新硬度结果和最稀疏切割算法。 996-1009 Shiri Chechik先生 , 杨P.Liu , 奥马尔·罗特姆 , 亚伦·西德福德 :
次二次时间中有向图的恒定围长近似。 1010-1023
第8B部分： 复杂性理论II
迪拉杰·霍尔登 , 耶尔·托曼·卡莱 :
带o（√log n）校准器的无符号证明在PSPACE中。 1024-1037 水池平原 :
均匀约简下Kolmogorov复杂性的意外硬度结果。 1038-1051 席晨 , 郭成浩 , Emmanouil V.Vlatakis-Gkaragkounis公司 , 米哈利斯·扬纳卡基斯 , 张信志 :
平滑了局部max-cut和二进制max-CSP的复杂性。 1052-1065 克里斯托巴尔·罗哈斯 , 迈克尔·扬波斯基 :
如何在蒙特卡罗失利：一个简单的动力学系统，其典型的统计行为是不可计算的。 1066-1072
第8C节： 算法博弈论与匹配
塞珀尔·阿萨迪 , 赫里西凯什·坎德帕卡 , Raghuvansh R.Saxena公司 , S.马修·温伯格 :
区分真实和非真实组合拍卖的通信复杂性。 1073-1085 乔治·克里斯托杜鲁 , 埃利亚斯·库索皮亚斯 , 安纳马里亚·科瓦奇 :
关于子模估值的Nisan-Ronen猜想。 1086-1096 智豪加文汤 , 吴晓伟 , 张玉浩 :
更好地理解随机贪婪匹配。 1097-1110 索海尔·贝内扎德 , 马哈萨·德拉赫尚 , 穆罕默德·塔吉·哈加加伊 :
少量查询的随机匹配：（1-ε）近似。 1111-1124
第9A部分： 在线算法
阿努帕姆·古普塔 , 阿米特·库玛尔 , 德巴马利亚·帕尼格拉希 :
使用时间窗口进行缓存。 1125-1138 尼基尔·班萨尔 , 郝天江 , 萨希尔·辛拉 , 马克兰·辛哈 :
在线矢量平衡和几何差异。 1139-1152 黄志毅 , 张乾坤 :
在线原始对偶满足随机奖励的在线匹配：配置LP来解救。 1153-1164 马金·比恩科夫斯基 , 雅罗斯瓦夫·拜尔卡 , 克里斯蒂安·科斯特 , 卢卡斯·杰兹 :
k-server对抗弱小对手的无限下限。 1165-1169
第9B部分： 计算中的随机性
瑞安·奥唐纳 , 洛科·A·塞韦迪奥 , 李阳潭 :
通过局部超浓缩来愚弄高斯PTF。 1170-1183 Eshan Chattopadhyay公司 , 杰森·戈德曼 , 维普尔·戈亚尔 , 辛莉（Xin Li） :
通过极值超图提取敌对源。 1184-1197 维达特·列维·阿列夫 , Lap Chi Lau先生 :
高阶随机游动的改进分析及其应用。 1198-1211 阿迪蒂·拉德哈 , 尹达利 , 桑托什S.万帕拉 :
较强的自我一致性和抽样能力。 1212-1222
第9C节： 流媒体、草图和大数据
约翰·卡拉格 , 埃里克·普莱斯 :
旋转栅门流和线性绘制之间的分离和等效。 1223-1236 塞珀尔·阿萨迪 , 陈旺 :
内存有限的探索：投币流算法、噪音比较和多武器强盗。 1237-1250 塞皮德·马哈巴迪 , 伊利亚·拉赞斯特恩 , 大卫·P·伍德拉夫 , 萨姆森·周 :
转门流上的非自适应自适应采样。 1251-1264 安德斯·阿曼德 , 雅各布·Bk·特杰斯·克努森 , Mathias Bæk Tejs克努森 , 彼得·迈克尔·雷克斯坦·拉斯穆森 , 米克尔·索洛普 :
具有强浓度边界的快速散列。 1265-1278
第10A部分： 图论与固定参数牵引性
凯元莱 , 吕学一 , 米克尔·索洛普 :
在近似线性的时间内实现三棵树。 1279-1292 Jesper Nederlof公司 :
在次指数参数化时间内检测和计数平面图中的小模式。 1293-1306 丹尼尔·洛克斯塔诺夫 , 普拉纳本德·米斯拉 , 米查尔·皮利普祖克 , Saket Saurabh公司 , 梅拉夫·泽哈维 :
平面不相交路径的指数时间参数化算法。 1307-1316 费多·弗明 , 丹尼尔·洛克斯塔诺夫 , 法哈德·帕诺兰 , Saket Saurabh公司 , 梅拉夫·泽哈维 :
命中拓扑子项是FPT。 1317-1326
第10B部分： 复杂性理论III
陈丽杰 , 任汉林 :
非平凡去随机化的强平均情况下界。 1327-1334 陈丽杰 , 策进 , R.瑞恩·威廉姆斯 :
锐利的阈值会导致计算复杂性。 1335-1348 斯里坎斯·斯里尼瓦桑 :
Hegedus引理的健壮版本及其应用。 1349-1362 莫兰·费尔德曼 , 阿什坎·诺鲁齐·费尔德 , 奥拉·斯文森 , 里科·曾克鲁森 :
子模块最大化与流媒体应用程序的单向通信复杂性和鲁棒性。 1363-1374
第10C节： 数据结构/大数据
Shiri Chechik先生 , 萨雷尔·科恩 :
距离敏感预言机，具有亚字节预处理时间和快速查询时间。 1375-1388 华成余 :
近乎最佳的静态拉斯维加斯简明词典。 1389-1401 刘明谋 , 华成余 :
简洁范围最小查询的下限。 1402-1415 黄凌霄 , Nisheeth K.Vishnoi公司 :
欧氏空间中聚类的核心集：重要性抽样几乎是最优的。 1416-1429
