2019年第60届FOCS:美国马里兰州巴尔的摩
大卫·扎克曼 :
第60届IEEE计算机科学基础年会,FOCS 2019,美国马里兰州巴尔的摩,2019年11月9日至12日。 IEEE计算机协会 2019 ,国际标准图书编号 978-1-7281-4952-3 伊兰·鲁文·科恩 , 彭炳慧(Binghui Peng) , 大卫·瓦伊奇 :
在线边缘着色的严格界限。 1-25 布迪玛·加姆拉茨 , 迈克尔·卡普拉洛夫 , 安德烈亚斯·马吉奥里 , 奥拉·斯文森 , 大卫·瓦伊奇 :
与普通到达者在线匹配。 26-37 马蒂亚斯·恩格勒 , 哈拉尔德·雷克 , 理查德·斯托茨 :
广义重新排序缓冲区管理的多对数保证。 38-59 尤西·阿扎尔 , Noam Touitou公司 :
有延迟或有截止日期的度量优化问题的一般框架。 60-71 赛斯·内尔 , 亚伦·罗斯 , 吴志伟(Steven Wu) :
如何使用启发式实现差异隐私。 72-93 马修·约瑟夫 , 毛杰明 , 赛斯·尼尔 , 亚伦·罗斯 :
互动在本地差异隐私中的作用。 94-105 辛提亚·沃克 , 迈克尔·P·金 , 奥马尔·莱因戈尔德 , 盖·罗斯布卢姆 , 加尔·尤纳 :
从结果中学习:基于证据的排名。 106-125 赵涛 , 秦章 , 袁周(音) :
有限交互的协作学习:多武装匪徒分布式探索的严格界限。 126-146 郭泽瑜 , 姆里纳尔·库马尔 , Ramprasad Saptharishi公司 , 诺亚姆·所罗门 :
代数硬度的去随机化:跨越边界。 147-157 迈克尔·查普曼 , Nati Linial公司 , 尤瓦尔·贝利德 :
扩展图-局部和全局。 158-170 本尼·阿普勒巴姆 , 埃利兰·卡奇隆 :
无禁忌子图的采样图和误差可忽略的非平衡扩张图。 171-179 维达特·列维·阿列夫 , 费尔南多·格拉哈·杰罗尼莫 , 马杜尔·图西亚尼 :
高维膨胀机约束满足问题的近似求解。 180-201 妮可·埃莫利卡 , 卡提克·阿比纳夫·桑卡拉拉曼 , 罗伯特·夏皮雷 , Aleksandrs Slivkins公司 :
背负背包的敌方强盗。 202-219 Pravesh Kothari公司 , 萨希尔·辛拉 , 迪瓦尔提·莫汉 , 阿里尔·施瓦茨曼 , S.马修·温伯格 :
基于对称的具有独立商品的单位需求买方的近似方案。 220-232 塞珀尔·阿萨迪 , 萨希尔·辛拉 :
改进了子模块投标人组合拍卖的真实机制。 233-248 托梅尔·埃兹拉 , 米查尔·费尔德曼 , 埃里克·内曼 , Inbal Talgam-Cohen公司 , S.马修·温伯格 :
解决与两个次级加法买家的组合拍卖的通信复杂性。 249-272 艾曼纽尔·阿贝 , 叶敏(音) :
Reed-Muller代码极化。 273-286 诺亚·斯蒂芬斯·达维多维茨 , 维诺德·瓦昆塔坦 :
SETH-编码问题的硬度。 287-301 贾德·西尔巴克 , 纳粹党徽Kopparty , 罗恩·沙蒂尔 :
空间有界信道的准线性时间列表可译码码。 302-333 伯恩哈德·海普勒 :
插入和删除的最佳文档交换和新代码。 334-347 克里姆·埃弗雷门科 , 吉拉特·科尔 , 拉胡万什·萨克塞纳 :
无线网络编码需要对数开销。 348-369 Shiri Chechik先生 , 张天一 :
预期Poly-Log更新时间内的完全动态最大独立集。 370-381 索海尔·贝内扎德 , 马哈萨·德拉赫尚 , 穆罕默德·塔吉·哈加加伊 , 克利夫·斯坦因 , 迈度·苏丹 :
具有多对数更新时间的完全动态最大独立集。 382-405 萨扬·巴塔查里亚 , 莫妮卡·亨津格 , 达农·纳农开 :
动态集合覆盖的一种新的确定性算法。 406-423 简·范登布兰德 , 撒拉努拉克 :
用于大批量更新的敏感距离和可达性Oracle。 424-435 简·范登布兰德 , 达农·纳农开 :
动态近似最短路径及其以外:次二次和最坏情况更新时间。 436-455 简·范登布兰德 , 达农·纳农开 , 撒拉努拉克 :
动态矩阵求逆:改进算法和匹配条件下限。 456-480 阿尔基达·巴利乌 , 塞巴斯蒂安·布兰特 , 胡霍·希尔沃宁 , 丹尼斯·奥利维蒂 , 米卡·拉比 , 朱卡·索米拉 :
极大匹配和极大独立集的下界。 481-497 阿尔伯特·阿塞里亚斯 , 莫里茨·米勒 :
自动解析是NP-Hard。 498-509 阿南·纳塔拉扬 , 约翰·赖特 :
NEEXP包含在MIP中。 510-518 文森特·科恩·阿达德 , Karthik C.S.公司。 :
Lp度量中聚类的不近似性。 519-539 大卫·索尔皮奇 , 文森特·科恩·阿达德 , 安德烈亚斯·埃米尔·费尔德曼 :
双倍度量中聚类的近线性时间近似方案。 540-559 文森特·科恩·阿达德 , 米查尔·皮利普祖克 , 马金·皮利普祖克 :
平面图上设施位置的多项式时间近似方案。 560-581 阿迪蒂亚·巴斯卡拉 , 陈爱涛 , 艾丹·佩雷奥 , 阿拉文丹·维贾亚拉加万 :
解耦无监督学习中的平滑分析。 582-610 亚历克斯·布雷达里奥尔·格里洛 , 威廉·斯洛夫斯特拉 , 袁子春 :
量子多探测器交互式证明的完美零知识。 611-635 阿舒托什·库马尔 , 拉胡·梅卡 , 阿米特·萨海 :
泄密-针对共谋方的弹性秘密共享。 636-660 尼科·德特林 , 桑贾姆·加格 , 维普尔·戈亚尔 , 朱利奥·马拉沃尔塔 :
简洁的有条件披露秘密和应用。 661-685 维普尔·戈亚尔 , 西拉斯·里奇尔森 :
使用Goldreich-Levin列表解码的不可撤销承诺。 686-699 大卫·G·哈里斯 :
图和超图中最大匹配的分布式局部逼近算法。 700-724 迪米特里斯·阿奇利奥普塔斯 , 福蒂斯·伊利奥普洛斯 , 阿利斯泰尔·辛克莱 :
超越Lovász局部引理:点对集关联及其算法应用。 725-744 弗兰克·班 , 席晨 , 亚当·弗雷利奇 , 洛科·A·塞韦迪奥 , 桑迪普·辛哈 :
超越痕迹重建:从删除通道中恢复人口。 745-768 摩西·查里卡尔 , 巴黎西米内拉基斯 :
快速两两求和的多分辨率散列。 769-792 克里斯·乌曼斯 :
所有有限群的快速广义DFT。 793-805 凯文·普拉特 :
Waring Rank、参数化和精确算法。 806-823 安基特加尔格 , 维苏马卡姆 , 拉斐尔·门德斯·德奥利维拉 , 阿维·威格德森 :
通过“数字到符号”转换,为排名方法设置更多障碍。 824-844 彼得·布尔吉塞 , 科尔·弗兰克斯 , 安基特加尔格 , 拉斐尔·门德斯·德奥利维拉 , 迈克尔·沃尔特 , 阿维·威格德森 :
走向非交换优化理论:矩映射和多面体的测地一阶和二阶方法。 845-861 维达·杜杰莫维奇 , 格温娜·乔雷特 , 彼得·米切克 , 帕特·莫林 , 托尔斯滕·尤克特 , 大卫·R·伍德 :
平面图具有有界队列号。 862-875 克什蒂吉·加贾尔 , 杰库马尔·拉德哈克里希南 :
平面图中的参数化最短路径。 876-895 雅各布·霍姆 , 瓦莱丽·金 , 米克尔·索鲁 , 或者扎米尔 , 乌里·兹威克 :
随机k-out子图只留下O(n/k)个组件间边。 896-909 尼基尔·班萨尔 , 奥拉·斯文森 , 卢卡·特雷维森 :
图和超图稀疏化的新概念和构造。 910-928 卢克·波斯特 :
曲面上列表着色图的线性时间高效分布式算法。 929-941 斯科特·阿伦森 , 丹尼尔·格里尔 , 卢克·谢弗 :
正则语言的量子查询复杂性三分法。 942-965 马克兰·辛哈 , 罗纳德·沃尔夫 :
量子通信与近似秩对数之间的指数分离。 966-981 Anurag Anshu公司 , 纳雷什·古德·博德杜 , 戴夫·图切特 :
量子对数近似库推测也是错误的。 982-994 谢尔盖·布拉维 , 高大伟 , 罗伯特·科尼 , 马可·托马谢尔 :
三维噪声浅层电路的量子优势。 995-999 多里特·阿哈罗诺夫 , 亚历克斯·布雷达里奥尔·格里洛 :
间歇PCP vs.随机性。 1000-1023 亚历山德鲁·古尔吉 , 托马斯·维迪克 :
计算安全和可组合远程状态准备。 1024-1033 乔什·阿尔曼 , 陈丽杰 :
使用NP Oracle高效地构造刚性矩阵。 1034-1055 杰森·李 :
简单图的更快最小k-割。 1056-1077 洪乐 , 谢·所罗门 :
真正最佳的欧氏扳手。 1078-1100 埃拉扎尔·戈登伯格 , 罗伯特·克劳查默 , 巴纳·萨哈 :
间隙编辑距离的次线性算法。 1101-1120 阿维亚德·鲁宾斯坦 , 赛义德·塞迪金 , 赵松 , 孙晓瑞 :
具有真正改进的运行时间的LCS和LIS近似算法。 1121-1145 迪帕纳布查克拉巴蒂 , 尹达利 , 亚伦·西德福德 , 萨希尔·辛拉 , 山姆·邱伟(Sam Chiu-wai Wong) :
更快的Matroid交集。 1146-1168 摩西·加纳迪 , 阿图尔·杰兹 , 马库斯·洛伊 :
平衡直线程序。 1169-1183 Tsz Chiu Kwok先生 , Lap Chi Lau先生 , 阿克谢·拉马钱德兰 :
矩阵标度和算子标度的谱分析。 1184-1204 诺姆·利夫希茨 , 多尔·明泽 :
p-偏置超立方体上的噪声敏感性。 1205-1226 安德烈·克鲁金 , Jakub Oprsal公司 :
3-色H-可色图的复杂性。 1227-1239 陈丽杰 , 策进 , R.瑞恩·威廉姆斯 :
所有稀疏NP语言的硬度放大。 1240-1255 恩里克·博伊克斯·阿泽尔 , 马修·布伦南 , 盖·布雷斯勒 :
Erdős-Rényi超图中计数团的平均情形复杂性。 1256-1280 陈丽杰 :
非确定性准多项式时间对于ACC电路来说是平均情况下的困难。 1281-1304 贾恩·皮奇 , 拉胡尔·桑塔纳姆 :
为什么证明复杂性下限很难? 1305-1324 尼古拉·加莱西 , Leszek Aleksander Kolodziejczyk公司 , 尼尔·萨彭 :
多项式微积分空间和分辨率宽度。 1325-1337 奥伦·曼古比 , Nisheeth K.Vishnoi公司 :
通过次线性球路实现更快的多边形舍入、采样和体积计算。 1338-1357 玛丽·克莱恩 , Heng Guo(恒国) , 乔戈斯·穆萨 :
强对数凹分布的修正对数-倒立不等式。 1358-1370 安德烈·阿尔曼 , 浦高 , 尼古拉斯·沃马尔德 :
具有给定次数序列的随机图的快速一致生成。 1371-1379 刘敬成 , 阿利斯泰尔·辛克莱 , 皮尤什·斯利瓦斯塔瓦 :
二维三角色计数的确定性算法。 1380-1404 兹索尔·巴萨 , Nike太阳 , 张玉萌 :
随机规则MAX-NAE-SAT中1RSB的断裂。 1405-1416 安德烈亚·蒙塔纳里 :
Sherrington-Kirkpatrick哈密顿量的优化。 1417-1433 尼玛·阿纳里 , 阿里雷扎·雷扎伊 :
永久性贝斯近似的严密分析。 1434-1445 亚历山大·魏恩 , 艾哈迈德·阿拉维 , 克里斯托弗·摩尔 :
菊池层级和Tensor PCA。 1446-1468 奥姆里·本·利泽尔 , 克莱门特·卡农 , Shoham Letzter公司 , 埃里克·温加滕 :
在亚线性时间中寻找单调模式。 1469-1494 约塔姆·迪克斯坦 , Irit恐龙 :
分层集系统上的一致性检验定理。 1495-1524 阿图尔·祖马 , 克里斯蒂安·索勒 :
一般平面图单边误差可测图性质的一个刻画(都是关于禁子图的)。 1525-1548 安妮迪亚·德 , 埃尔沙南·莫塞尔 , 乔·内曼 :
军政府相关性是可测试的。 1549-1563 雅罗斯瓦夫·布拉西克 , 帕特里克·洛帕托 , 凯尔·卢 , 杰克·马西内克 , 什拉瓦斯·拉奥 :
子采样Hadamard矩阵稀疏重建的改进下限。 1564-1567 Vasileios Nakos公司 , 赵松 , 王正宇 :
任意维的(近似)样本最优稀疏傅里叶变换; 无RIP和无过滤器。 1568-1577 科托尼斯瓦西利斯 , 克里斯托斯·萨莫斯 , Manolis Zampetakis公司 :
具有未知截断的高效截断统计信息。 1578-1595 阿迪蒂亚·巴斯卡拉 , 西尔维奥·拉坦齐 , 谢尔盖·瓦西尔维茨基 , 莫特扎·扎迪莫格哈达姆 :
基于残差的在线低秩近似抽样。 1596-1614 索海尔·贝内扎德 , 拉克斯曼·杜利帕拉 , 侯赛因·埃斯凡迪亚里 , 雅库布·拉基 , 瓦哈布·S.镜尼 :
近最优大规模并行图连通性。 1615-1636 索海尔·贝内扎德 , 穆罕默德·塔吉·哈加加伊 , 大卫·G·哈里斯 :
指数级更快的大规模并行最大匹配。 1637-1649 莫森·加法里 , 费比安·库恩 , 贾拉·尤托 :
分布式下界大规模并行计算的条件硬度结果。 1650-1663 杨P.Liu , 阿伦·占布拉帕蒂 , 亚伦·西德福德 :
近似线性工作和平方根深度中的平行可达性。 1664-1686