2018年第50届STOC：美国加利福尼亚州洛杉矶
伊利亚斯·迪亚科尼科拉斯 , 大卫·坎佩 , 莫妮卡·亨津格 :
2018年6月25日至29日，美国加利福尼亚州洛杉矶市，2018年STOC，第50届ACM SIGACT计算机理论研讨会论文集。 ACM公司 2018
邀请会谈（部分名单）
艾琳·洛 :
学校选择中的动态匹配：延迟取消后的有效座位重新分配（受邀演讲）。 1 马腾宇（Tengyu Ma） :
生成性对抗网（GAN）中的泛化和均衡（受邀演讲）。 2
第1A课时
塞巴斯蒂安·布贝克 , 迈克尔·科恩 , 尹达利 , 詹姆斯·R·李 , 亚历山大·马德里 :
k-server通过多尺度熵正则化。 3-16 黄志毅 
, 宁康 , 智豪加文汤 , 吴晓伟 , 张玉浩 , 薛柱 :
如何在所有顶点联机时进行匹配。 17-29 Sungjin Im公司 , 纳撒尼尔·凯尔 , 德巴马利亚·帕尼格拉希 , 玛丽亚姆·沙德鲁 :
相关机器上的在线负载平衡。 30-43
会话1B
君士坦丁诺·达斯卡拉基斯 , 克里斯托斯·萨莫斯 , Manolis Zampetakis公司 :
Banach不动点定理及其CLS-完备性的逆命题。 44-50 阿里斯·菲洛斯·拉特西卡斯 , 保罗·W·戈德堡 :
共识减半即PPA完成。 51-64 米克尔·亚伯拉罕森 , 安娜·阿达马斯泽克 , 蒂尔曼·米尔佐夫 :
美术馆问题已经解决。 65-73
第1C部分
马克·布恩 , 辛提亚·沃克 , 盖·罗斯布卢姆 , 托马斯·斯坦克 :
通过截断的CDP实现可组合的多功能隐私。 74-86 巴特洛米耶·杜德克 , 阿德里安·科索夫斯基 :
使用紧急信号进行信息传播的通用协议。 87-99 哈米德·奥米德瓦尔 , 马西莫·弗朗切切蒂 :
二维自旋系统的扩散形状和单色区域的大小。 100-113
第2A课时
利库里氏梭菌 , 瓦哈布·S.镜尼 , 雷纳托·佩斯·莱姆 :
随机土匪对对抗性腐败的抵抗力很强。 114-122 Yannai A.Gonczarowski先生 :
通过最优运输对偶来限制近似最优拍卖的菜单大小。 123-131 达雷尔·霍伊 , 塞缪尔·塔加特 , 王子和 :
为首次价格拍卖提供更严格的福利保障。 132-137
第2B部分
丹尼尔·诺恩 , 帕斯卡·施韦策 :
图同构的个性化重定义算法的指数下界。 138-150 科尼利厄斯品牌 , 霍尔格·戴尔 , 托尔·胡斯菲尔德 :
延伸器编码。 151-164 克日什托夫·奥纳克 , 孙晓瑞 :
图同构的查询复杂性：绕过分布测试下限。 165-171
第2C部分
泽源阿连珠 , 安基特·加格 , 李远志 , 拉斐尔·门德斯·德奥利维拉 , 阿维·威格德森 :
通过测地凸优化、不变量理论和多项式恒等式测试进行算子缩放。 172-181 Tsz Chiu Kwok先生 , Lap Chi Lau先生 , 尹达利 , 阿克谢·拉马钱德兰 :
Paulsen问题、连续算子缩放和平滑分析。 182-189 科尔·弗兰克斯 :
操作员使用指定的边距缩放。 190-203
STOC获奖论文
奥拉·斯文森 , 雅库布·塔尔纳夫斯基 , 拉什洛·A·Végh :
非对称旅行商问题的常系数近似算法。 204-213 亚伦·席尔德 :
均匀随机生成树的近似线性时间算法。 214-227
会话3A
迪维什·阿加瓦尔 , 诺亚·斯蒂芬斯·达维多维茨 :
SVP的（Gap/S）ETH硬度。 228-238 乌迪特·阿加瓦尔 , 维贾亚·拉马钱德兰 :
稀疏图的细粒度复杂性。 239-252 阿米尔·阿布德 , 卡尔·布林曼 , 霍尔格·戴尔 , 杰斯珀·内德洛夫 :
伪造SETH和正交向量猜想的更多后果。 253-266 Arturs后盾 , 利亚姆·罗德蒂 , 吉拉德·西格尔 , 弗吉尼亚·瓦西列夫斯卡·威廉姆斯 , 妮可·韦恩 :
朝向图形直径和偏心度的紧密近似边界。 267-280 霍尔格·戴尔 , 约翰·拉宾斯卡斯 :
从近似计数到决策的细粒度减少。 281-288
第3B部分
马蒂亚斯·克里斯坦德 , 佩特弗拉纳 , 杰罗恩·祖伊达姆 :
张量渐近谱中的泛点。 289-296 马克·布恩 , 罗宾·科塔里 , 贾斯汀·泰勒 :
多项式方法反击了：通过对偶多项式缩小量子查询边界。 297-310 亚历山大·谢斯托夫 :
算法多项式。 311-324 斯科特·阿伦森 :
量子态的阴影层析成像。 325-338 黛比·W·梁 , 阿什温·纳亚克 , 阿拉·沙耶吉 , 戴夫·图切特 , 姚鹏辉 , 俞能坤 :
低噪声交互式量子通信的容量逼近编码。 339-352
会议3C
马克·布拉弗曼 , 吉尔·科恩 , 苏梅哈·加格 :
对于只读分支程序，具有接近最佳错误的命中集。 353-362 Eshan Chattopadhyay公司 , Pooya Hatami先生 , 奥马尔·莱因戈尔德 , 阿维沙伊·塔尔 :
通过局部单调性改进无序分支程序的伪随机性。 363-375 Irit恐龙 , Subhash Khot公司 , 盖伊·金德勒 , 多尔·明泽 , 穆利·萨夫拉 :
走向2对1游戏猜想的证明？ 376-389 丹尼尔·达杜什 , 苏菲·惠伯茨 :
单纯形法的友好平滑分析。 390-403 拉斯穆斯·金 , 理查德·彭 , 罗伯特·施维特曼 , 张鹏（音译） :
嵌套解剖不完整。 404-417
会话4A
莫森·加法里 , 费比安·库恩 , 亚尼克·莫斯 , 贾拉·尤托 :
用较少的颜色确定分布边着色。 418-430 莫森·加法里 , 杰森·李 :
精确最短路径的改进分布式算法。 431-444 张义军 , 李文正 , 塞斯·佩蒂 :
一种最优分布（Δ+1）着色算法？ 445-456 杰里米·芬曼 :
有向图可达性的近似高效并行算法。 457-470 阿图尔·祖马 , 雅库布·拉基 , 亚历山大·马德里 , 斯洛博丹·米特罗维奇 , 克日什托夫·奥纳克 , 彼得·桑科夫斯基 :
并行匹配算法的圆形压缩。 471-484
第4B部分
雅罗斯瓦夫·布拉西克 , 文卡特桑·古鲁斯瓦米 , Preetum Nakkiran公司 , 阿特里·鲁德拉 , 迈度·苏丹 :
一般强极化。 485-492 马赫迪·切拉赫奇 :
删除类型通道的容量上限。 493-506 克里姆·埃弗雷门科 , 吉拉特·科尔 , 拉胡万什·萨克塞纳 :
噪声广播信道上的交互式编码。 507-520 奥马尔·法齐 , 安托万·格罗斯佩利埃 , 安东尼·勒维耶 :
量子扩展器码随机错误的有效解码。 521-534 吉尔·科恩 , 伯恩哈德·海普勒 , 伦纳德·J·舒尔曼 :
具有多对数大小字母表的显式二叉树代码。 535-544
第4C节
杰苏斯·德洛拉 , 杰米·哈多克 , 路易斯·拉德马赫 :
凸多面体中的最小欧氏点：Wolfe的组合算法是指数的。 545-553 丹尼尔·凯恩 , 沙查尔·洛维特 , 谢·莫兰（Shay Moran） :
k-SUM及相关问题的近最优线性决策树。 554-563 米克尔·亚伯拉罕森 , 安娜·阿达马斯泽克 , 卡尔·布林曼 , 文森特·科恩·阿达德 , 梅兰·梅尔 , 伊娃·罗滕伯格 , 阿兰·罗特曼 , 米克尔·索鲁 :
快速击剑。 564-573 马克·德伯格 , 汉斯·博德兰德 , Sándor Kisfaludi-Bak公司 , 达尼尔·马克思 , 汤姆·范德赞登 :
几何相交图中ETH算法和下界的框架。 574-586 尼基尔·班萨尔 , 丹尼尔·达杜什 , 沙什瓦特·加格 , 沙查尔·洛维特 :
格拉姆施米特步行：治疗巴纳兹奇克布鲁斯的良方。 587-597
第5A课时
尤瓦尔·埃梅克 , 谢·库滕 , 罗恩·拉维 , 阳光石 :
在（dis）规模经济下近似广义网络设计，并应用于能源效率。 598-606 法布里奇奥·格兰多尼 , 托比亚斯·莫姆克 , 安德烈亚斯·维泽 , 杭州 :
A（5/3+ε）-路径上不可分割流的近似值：将小任务放入方框中。 607-619 雅罗斯瓦夫·拜尔卡 , 克日什托夫·索尔纳特 , 约阿希姆·斯波黑塞 :
有序k中值的常数系数近似。 620-631 法布里奇奥·格兰多尼 , 克里斯托斯·卡拉齐斯 , 里科·曾克鲁森 :
树增强的改进近似：通过重新布线节省。 632-645 拉维珊卡·克里希纳斯瓦米 , 史丽 , 赛桑迪普 :
通过迭代舍入对带离群值的k-中值和k-均值进行恒定近似。 646-659
第5B部分
里沙布·戈亚尔 , 文卡塔·科普拉 , 布伦特·沃特斯 :
防共谋叛徒追踪学习中的错误。 660-670 尼尔·比坦斯基 , 耶尔·托曼·卡莱 , 奥马尔·帕内思 :
多重冲突抵抗：无键散列函数的范例。 671-684 维普尔·戈亚尔 , 阿舒托什·库马尔 :
无法接受的秘密共享。 685-698 刘天仁 , 维诺德·瓦昆塔坦 :
打破秘密共享中的电路规模障碍。 699-708 Saikrishna Badrinarayanan公司 , 耶尔·托曼·卡莱 , 达克希塔·库拉纳 , 阿米特·萨海 , 丹尼尔·威克斯 :
用于低空间非确定性计算的简洁委托。 709-721
第5C节
塔利亚·伊登 , 达娜·罗恩 , C.塞沙赫里 :
关于近似次线性时间内k团的个数。 722-734 克莱门特·卡农 , 伊利亚斯·迪亚科尼科拉斯 , 丹尼尔·凯恩 , 阿利斯泰尔·斯图尔特 :
测试离散分布的条件独立性。 735-748 刘正阳 , 席晨 , 洛科·A·塞韦迪奥 , 英生 , 谢金玉（Jinyu Xie） :
无分发军政府测试。 749-759 利奥·吉什博利纳 , 阿萨夫·夏皮拉 :
广义Turán问题及其应用。 760-772 塔利·考夫曼 , 伊扎尔·奥本海姆 :
构建新的局部光谱高维扩展器。 773-786
第6A课时
亚历山大·安多尼 , 阿萨夫·纳尔 , 亚历山大·尼科洛夫 , 伊利亚·拉森什坦 , 埃里克·温加滕 :
通过非线性谱间隙进行数据相关散列。 787-800 拉兹洛·科兹马 , 撒拉努拉克 :
平滑的堆和自调整数据结构的双重视图。 801-814 塞珀尔·阿萨迪 , 克日什托夫·奥纳克 , 巴鲁克·希伯 , 谢·所罗门 :
更新时间为次线性的全动态最大独立集。 815-826 多米尼克·坎帕 , 尼古拉·普雷扎 :
字典压缩的根源是：字符串吸引子。 827-840 伯恩哈德·海普勒 , 阿米尔贝沙德·沙赫拉斯比 :
同步字符串：显式构造、本地解码和应用程序。 841-854
第6B课时
罗伊·泰尔 :
线性阈值电路的量化去量化。 855-865 阿尔伯特·阿塞里亚斯 , 伊拉里奥·博纳西纳 , 苏珊娜·德·雷泽德 , 马西莫·劳里亚 , 雅各布·诺德斯特伦 , 亚历山大·拉兹博罗夫 :
一般来说，集团很难定期解决。 866-877 克里斯蒂安·伊肯梅耶 , 巴拉戈帕尔·科马拉斯 , 克里斯托夫·伦岑 , 弗拉基米尔·利西科夫 , 安德烈·莫霍夫 , Kartek Sreenivasaiah公司 :
关于无危险电路的复杂性。 878-889 科迪·默里 , R.瑞恩·威廉姆斯 :
非确定拟多项式的电路下界：NP和NQP的一个简单证明引理。 890-901 安基特·加格 , 米卡·哥尔斯 , 普里蒂什·卡马特 , 德米特里·索科洛夫 :
单音电路分辨率下限。 902-911
第6C课时
托尔斯滕·穆策 , 杰里·努门帕洛 , 巴托斯·沃尔恰克 :
稀疏Kneser图是哈密顿图。 912-919 安娜·R·卡林 , 沙扬·奥维斯·加兰 , 罗比·韦伯 :
稳定匹配最大数目的简单指数上界。 920-925 Heng Guo（恒国） , Chao Liao公司 , Pinyan路 , 张池浩 :
计算局部引理区域中的超图着色。 926-939 Irit恐龙 , Subhash Khot公司 , 盖伊·金德勒 , 多尔·明泽 , 穆利·萨夫拉 :
关于Grassmann图中的非最优扩张集。 940-951 伊泰·亚伯拉罕 , 阿诺德过滤器 , 阿努帕姆·古普塔 , 奥弗内曼 :
通过最短路径分解进行度量嵌入。 952-963
第7A课时
马克·布拉弗曼 , 吉拉特·科尔 :
对外部信息的交互式压缩。 964-977 卡斯珀·格林-拉森 , 欧姆里·温斯坦 , 华成余 :
跨越动态布尔数据结构下限的对数障碍。 978-989 苏梅哈·加格 , 然·拉茨 , 阿维沙伊·塔尔 :
基于提取的学习时空下限。 990-1002 乔什·阿尔曼 , 约书亚·R·王 , 华成余 :
在线通信复杂性的Cell-probe下限。 1003-1012 阿尔卡德夫·查托帕迪耶 , 米查尔·库克（Michal Kouck） , 布鲁诺·洛夫 , 萨格尼克·穆霍帕迪亚 :
模拟战胜了丰富性：新的数据结构下限。 1013-1020
会话7B
塞缪尔·霍普金斯 , 杰里·李 :
混合模型、鲁棒性和平方和证明。 1021-1034 Pravesh K.Kothari公司 , 雅各布·斯坦哈特 , 大卫·斯特勒 :
稳健的矩估计和通过平方和改进的聚类。 1035-1046 伊利亚斯·迪亚科尼科拉斯 , 丹尼尔·凯恩 , 阿利斯泰尔·斯图尔特 :
球面高斯函数的列表可分解稳健均值估计和学习混合。 1047-1060 伊利亚斯·迪亚科尼科拉斯 , 丹尼尔·凯恩 , 阿利斯泰尔·斯图尔特 :
用令人讨厌的噪音学习几何概念。 1061-1073 梵蒂萨·沙兰 , 沙姆·M·卡卡德 , 珀西·梁 , 格雷戈里·瓦利安 :
用短记忆进行预测。 1074-1087 塞皮德·马哈巴迪 , 康斯坦丁·马卡里切夫 , 尤里·马卡里切夫 , 伊利亚·拉森什坦 :
通过外部Bi-Lipschitz扩展进行非线性降维。 1088-1101
第7C课时
安基特·加格 , 尹达利 , 赵松 , 尼基尔·斯利瓦斯塔瓦 :
矩阵扩展器Chernoff界。 1102-1114 尹达利 , 桑托什S.万帕拉 :
黎曼哈密顿蒙特卡罗算法的收敛速度和快速多面体计算。 1115-1121 尹达利 , 桑托什S.万帕拉 :
随机定位+Stieltjes屏障=log-Sobolev的紧界。 1122-1129 塞巴斯蒂安·布贝克 , 迈克尔·科恩 , 尹达利 , 李远志 :
l的同伦方法 第页 可证明的回归超越了自我一致性并且在输入-稀疏时间内。 1130-1137 埃里克·巴尔干斯基 , 纱线歌手 :
最大化子模函数的自适应复杂度。 1138-1151
第8A课时
普兰贾尔·杜塔 , 尼丁·萨克塞纳 , 阿米特·辛哈巴布 :
发现根：分解下代数类的一致闭包结果。 1152-1165 马宁德拉·阿格拉沃 , 苏曼塔·戈什 , 尼丁·萨克塞纳 :
代数电路中的自举变量。 1166-1179 迈克尔·A·福布斯 , 阿米尔·什皮尔卡 :
用于小代数电路闭包的击中集的PSPACE构造。 1180-1192 马库斯·巴泽尔 , 克里斯蒂安·伊肯梅耶 , 戈拉夫·金达尔 , 弗拉基米尔·利西科夫 :
广义矩阵补全和代数自然证明。 1193-1206 托尼安·皮塔西 , 罗伯特·罗伯尔 :
将nullstellensatz提升到任何字段上的单调跨度程序。 1207-1219
第8B课时
朱莉娅·楚霍伊 , 大卫·香港·金 , 拉奇特·尼马瓦特 :
网格中节点不相交路径的近似多项式硬度。 1220-1233 伊沃娜·贝扎科娃 , 安德烈亚斯·加拉尼斯 , 莱斯利·安·戈德伯格 , 丹尼尔·斯特凡科维奇 :
复平面上独立集多项式的不逼近性。 1234-1240 Pravesh K.Kothari公司 , 鲁塔·梅塔 :
平方和满足纳什：找到任何平衡的下限。 1241-1248 马克斯·辛乔维茨 , 艾哈迈德·阿拉维 , 本杰明·雷奇特 :
基于有限样本变形维格纳定律的PCA紧查询复杂度下限。 1249-1259 阿维亚德·鲁宾斯坦 :
近似最近邻搜索的难度。 1260-1268
第8C课时
穆罕默德·侯赛因·巴泰尼 , 穆罕默德·塔吉·哈加加伊 , 赛义德·塞迪金 , 克里夫·斯坦 :
通过卷积和预测实现背包的快速算法。 1269-1282 Karthik C.S.公司。 , 邦迪特·莱卡努基特 , Pasin Manurangsi公司 :
关于逼近支配集的参数化复杂性。 1283-1296 迪帕卡·查克拉波蒂 , 利奥·坎马 , 卡斯珀·格林-拉森 :
简洁布尔矩阵-向量乘法的严密单元探测边界。 1297-1306 阿尔基达·巴利乌 , Juho Hirvonen公司 , Janne H.Korhonen先生 , 托莫·莱姆皮亚宁 , 丹尼斯·奥利维蒂 , 朱卡·索米拉 :
分布式时间复杂性的新类别。 1307-1318 杰夫·埃里克森 , 凯尔·福克斯 , 卢夫桑多夫·利坎苏伦 :
曲面图中的Holest最小成本路径和流。 1319-1332
