第58届FOCS 2017:美国加利福尼亚州伯克利
克里斯·乌曼斯 :
第58届IEEE计算机科学基础年会,FOCS 2017,美国加利福尼亚州伯克利,2017年10月15-17日。 IEEE计算机学会 2017 ,国际标准图书编号 978-1-5386-3464-6
第1A课时
马克·布恩 , 贾斯汀·泰勒 :
AC近似度的近似最优下界 0 . 1-12 哈克·贝内特 , 亚历山大·戈洛夫涅夫 , 诺亚·斯蒂芬斯·达维多维茨 :
CVP的定量硬度。 13-24 阿米尔·阿布德 , 阿维亚德·鲁宾斯坦 , R.瑞恩·威廉姆斯 :
关于P中近似硬度的分布PCP定理。 25-36 Danny Nguyen(丹尼·阮) , 伊戈尔·帕克 :
短普雷斯伯格算法很难。 37-48
第1B部分
文森特·科恩·阿达德 , 克里斯·施维格尔肖恩 :
关于稳定聚类实例的局部结构。 49-60 萨拉·艾哈迈丹 , 阿什坎·诺鲁齐·法尔德 , 奥拉·斯文森 , 贾斯汀·沃德 :
用原对偶算法更好地保证k-Means和Euclidean k-Median。 61-72 伊利亚斯·迪亚科尼科拉斯 , 丹尼尔·凯恩 , 阿利斯泰尔·斯图尔特 :
高维高斯和高斯混合稳健估计的统计查询下限。 73-84 奥德·雷格夫 , 阿拉文丹·维贾亚拉加万 :
关于分离良好的高斯人的混合学习。 85-96
第2A课时
约翰·哈斯塔德 :
关于网格中Tseitin的小深度Frege证明。 97-108 诺亚·弗莱明 , 丹尼斯·潘克拉托夫 , 托尼安·皮塔西 , 罗伯特·罗伯 :
随机θ(log n)-CNF很难切割平面。 109-120 帕维尔·赫鲁比斯 , 帕维尔·普德拉克 :
随机公式、单音电路和插值。 121-131 米卡·哥尔斯 , 托尼安·皮塔西 , 托马斯·沃森 :
BPP的查询通信吊装。 132-143 马克·布拉弗曼 , 罗特姆·奥斯曼 :
多方集合分离的回合与沟通权衡。 144-155
第2B部分
张义军 , 塞斯·佩蒂 :
局部模型的时间层次定理。 156-167 黄建忠 , 达农·纳农开 , 撒拉努拉克 :
分布精确加权所有对中的最短路径 5/4 )轮次。 168-179 曼努埃拉·菲舍尔 , 莫森·加法里 , 费比安·库恩 :
基于超图最大匹配的确定性分布式边着色。 180-191 阿米尔·阿布德 , Arturs后盾 , 卡尔·布林曼 , 马文·库内曼 :
分析压缩数据的精细复杂性:相对于解压缩和求解的量化改进。 192-203
第3A节
布雷特·海门威 , 诺加·隆·泽维 , 玛丽·伍特斯 :
高速张量码的局部列表恢复与应用。 204-215 伊扎克·塔莫 , 叶敏(音) , 亚历山大·巴格 :
Reed-Solomon码的最优修复:实现割集界。 216-227 尤瓦尔·佩雷斯 , 翟志刚(Alex Zhai) :
删除通道的平均情况重建:次多项式多迹充分性。 228-239 亚历山大·谢尔斯托夫 , 裴武 :
插入、删除和替换的最佳交互编码。 240-251 丹尼尔·凯恩 , 沙查尔·洛维特 , 桑基尔斯·拉奥 :
Birkhoff多面体图的独立数及其在最大可恢复码中的应用。 252-259
第3B部分
沃尔多·加尔维斯 , 法布里奇奥·格兰多尼 , 桑迪·海德里奇 , 萨尔瓦托·英加拉 , 阿林达姆·汗 , 安德烈亚斯·维泽 :
通过L-Packings近似几何背包。 260-271 马克·德伯格 :
去除三角形之间的深度顺序循环:一种生成三角形碎片的有效算法。 272-282 史丽 :
通过时间索引线性规划松弛最小化总加权完工时间的调度。 283-294 巴纳·萨哈 :
语言编辑距离和RNA折叠的快速和空间效率近似:一种无记忆动态编程方法。 295-306 卡尔·布林曼 , 阿伦·格伦伦德 , 卡斯珀·格林-拉森 :
正则表达式成员测试的二分法。 307-318
第4次会议
第5A课时
亚当·R·克里万斯 , 拉古·梅卡 :
使用乘法权重学习图形模型。 343-354 丹尼尔·凯恩 , 沙查尔·洛维特 , 谢·莫兰(Shay Moran) , 张嘉鹏 :
带有比较查询的活动分类。 355-366 莱斯利·瓦利安特 :
神经网络对可组合任务的终身学习能力。 367-378 塞缪尔·霍普金斯 , 大卫·斯特勒 :
少样本有效贝叶斯估计:社区检测及相关问题。 379-390 丹尼尔·凯恩 , 苏什鲁特·卡尔马尔卡 , 埃里克·普莱斯 :
达到信息论极限的稳健多项式回归。 391-402
第5B部分
乔兰·范·阿佩尔多恩 , 安德拉斯·吉利恩 , 砂光机格栅 , 罗纳德·沃尔夫 :
量子SDP-Solvers:更好的上限和下限。 403-414 费尔南多·G·S·L·布兰登 , Krysta M.Svore公司 :
求解半定规划的量子加速。 415-426 利奥·埃尔达尔 , 阿拉姆·W·哈罗 :
基态难以近似的局部哈密顿量。 427-438 安德烈斯·帕尔·吉利恩 , 或萨塔斯 :
关于带隙哈密顿量基态的制备:一个有效的量子Lovász局部引理。 439-450 Kun He公司 , 梁莉 , 刘兴武 , 王玉怡(Yuyi Wang) , 明吉霞 :
变量-版本Lovász局部引理:超越Shearer的界限。 451-462 李一男(音) , 乔有明 :
图同构问题和Erdős-Rényi模型的线性代数类比。 463-474
第6A课时
迈克尔·卡普拉洛夫 , 杰拉尼·纳尔逊 , 帕科奇 , 王征宇(音) , 大卫·P·伍德拉夫 , 莫宾·叶海亚扎德 :
通用关系、采样器和流中发现重复项的最佳下界。 475-486 泽源阿连珠 , 李元志 :
流k-PCA的首次高效收敛:全局、无间隙和近最优速率。 487-492 尼基尔·班萨尔 , 马雷克·埃利亚斯 , 格里戈里奥斯·库穆索斯 :
通过组合二分法的加权k-Server界。 493-504 卡拉蒂·纳亚尔 , 莎拉·拉格文德拉 :
度量二部匹配问题的输入敏感在线算法。 505-515
第6B课时
杨才 , 康斯坦丁诺斯·达斯卡拉基斯 :
学习有(或无)样品的多项目拍卖。 516-527 米罗斯拉夫·杜迪克 , 尼卡·哈塔拉布 , 罗海鹏 , 罗伯特·夏皮雷 , 瓦西里斯Syrgkanis , 詹妮弗·沃特曼·沃恩 :
高效的在线学习和拍卖设计。 528-539 保罗·杜伊特 , 米查尔·费尔德曼 , 托马斯·凯塞尔海姆 , 布伦丹·卢西尔 :
先知不等式变得简单:通过定价非随机输入进行随机优化。 540-551 托马斯·斯坦克 , 乔纳森·乌尔曼 :
不同私人选择的严格下限。 552-563
会话7A
达克希塔·库拉纳 , 阿米特·萨海 :
如何在一轮或两轮比赛中实现不可变通。 564-575 林慧嘉 , 拉斐尔山口 , 普拉蒂克·索尼 :
来自时间锁难题的两轮非交互式并发不可撤销承诺。 576-587 桑贾姆·加格 , 阿克沙亚拉姆·斯里尼瓦桑 :
双线性地图的乱码协议和两轮MPC。 588-599 丹尼尔·威克斯 , 乔戈斯·齐尔德利斯 :
混淆LWE下的计算和比较程序。 600-611 里沙布·戈亚尔 , 文卡塔·科普拉 , 布伦特·沃特斯 :
可锁定的混乱。 612-621 伊兰·科马尔戈德斯基 , 莫尼·纳尔 , 伊伦·约盖夫 :
搜索问题的白盒与黑盒复杂性:拉姆齐和图属性测试。 622-632
第7B课时
卡斯珀·格林-拉森 , 杰拉尼·纳尔逊 :
Johnson-Lindenstraus引理的最优性。 633-638 诺加·艾伦 , 博阿兹·克拉塔格 :
近似内积的最优压缩和降维。 639-650 迈克尔·卡普拉洛夫 :
稀疏FFT中基于平均隔离的样本有效估计与恢复。 651-662 瑟伦·达尔加德 , 马蒂亚斯·布克特杰斯·克努森 , 米克尔·索洛普 :
快速相似草图。 663-671 卡梅隆·马斯科 , 大卫·P·伍德拉夫 :
半正定矩阵的次线性时间低秩逼近。 672-683
第8部分
拉斯穆斯·金 , 张鹏(音译) :
结构化线性系统的硬度结果。 684-695 奥拉·斯文森 , 雅库布·塔尔纳夫斯基 :
一般图中的匹配问题是拟NC的。 696-707
第9A部分
亚当·博兰德 , 陈丽杰 , 迪拉杰·霍尔登 , 贾斯汀·泰勒 , Prashant Nalini Vasudevan公司 :
论统计零知识的力量。 708-719 塞缪尔·霍普金斯 , Pravesh K.Kothari公司 , 亚伦·波提钦 , 普拉萨德·拉加文德拉 , 泽利尔·施拉姆 , 大卫·斯特勒 :
平方和检测隐藏结构的威力。 720-731 然·拉茨 :
一大类学习问题的时空下限。 732-742 Parinya Chalermsook公司 , 马雷克·赛根 , 盖伊·科茨(Guy Kortsarz) , 邦迪特·莱卡努基特 , Pasin Manurangsi公司 , 达农·纳农开 , 卢卡·特雷维森 :
从Gap-ETH到FPT-不可接近性:集团,支配集,等等。 743-754
会话9B
大卫·R·卡格 :
网络(Un)可靠性的更快(而且仍然非常简单)无偏估计。 755-766 格伦科拉·博拉代尔 , 洪乐 , 克里斯蒂安·沃尔夫·尼尔森 :
未成年人自由图形有轻扳手。 767-778 川崎敬一 , 阿纳斯塔西奥斯·西迪罗普洛斯 :
最小平面化的多对数近似(几乎)。 779-788 钱德拉·切库里 , 肯特·库鲁德 :
近线性时间内度量TSP的Held-Karp界的近似。 789-800
第10A课时
杰克·穆塔格 , 奥马尔·莱因戈尔德 , 亚伦·西德福德 , 萨利尔·瓦丹 :
连通性之外的去随机化:近似对数空间中的无向拉普拉斯系统。 801-812 洛科·A·塞韦迪奥 , 李阳潭 :
在几乎多项式时间内满足赋值的CNF的确定性搜索。 813-823 洛科·A·塞韦迪奥 , 李阳潭 :
愚弄低权重半空间的交集。 824-835 本尼·阿普勒巴姆 :
指数硬Gap-CSP和局部PRG通过局部硬核函数。 836-847
第10B部分
诺加·艾伦 , 奥姆里·本·利泽尔 , 埃尔达·费舍尔 :
有序图和矩阵的遗传性测试。 848-858 费利克斯·乔斯 , 杰洪·金 , 丹尼尔·库恩 , 德里克·奥斯萨斯 :
可测试超图属性的特征。 859-867 席晨 , 埃里克·温加滕 , 谢金玉(Jinyu Xie) :
用Õ(n)进行布尔一致性检验 3/4 )自适应查询。 868-879 图根巴图 , 克莱门特·卡农 :
通用均匀性测试。 880-889
第11A课时
泽源阿连珠 , 李元志 , 拉斐尔·门德斯·德奥利维拉 , 阿维·威格德森 :
矩阵缩放的更快算法。 890-901 迈克尔·科恩 , 亚历山大·马德里 , 蒂米特里斯·齐普拉斯 , 阿德里安·弗拉杜 :
通过框约束牛顿法和内点法进行矩阵缩放和平衡。 902-913 尼玛·阿纳里 , 列奥尼德·古尔维茨 , 沙扬·奥维斯·加兰 , 阿明·萨贝里 :
半正定矩阵的恒等式的简单指数逼近。 914-925 大卫·杜菲 , 约翰·皮贝利 , 理查德·彭 , 安努普·拉奥 :
SDDM矩阵的行列式保留稀疏化及其在计数和抽样生成树中的应用。 926-937
第11B节
托马斯·迪巴赫·阿勒(Thomas Dybdahl Ahle) :
拉斯维加斯最佳位置敏感数据结构。 938-949 达农·纳农开 , 撒拉努拉克 , 克里斯蒂安·伍尔夫·尼尔森 :
具有次多项式最坏情况更新时间的动态最小生成林。 950-961 文森特·科恩·阿达德 , 瑟伦·达尔加德 , 克里斯蒂安·沃尔夫·尼尔森 :
平面图的快速紧凑精确距离Oracle。 962-973
第12A课时
Irit恐龙 , 塔利·考夫曼 :
高维扩展器意味着协议扩展器。 974-985 刘敬成 , 阿利斯泰尔·辛克莱 , 皮尤什·斯利瓦斯塔瓦 :
伊辛配分函数:零和确定性近似。 986-997 尹达礼 , Santosh Srinivas Vempala公司 :
Eldan的随机局部化和KLS超平面猜想:一个改进的展开下界。 998-1007
第12B课时
维杰·巴蒂普罗 , Mrinalkanti Ghosh公司 , 文卡特桑·古鲁斯瓦米 , 尤文·李 , 马杜尔·图西亚尼 :
球面上的弱解耦、多项式折叠和近似优化。 1008-1019 贾瓦德·埃布拉希米 , 达米安·斯特拉扎克 , Nisheeth K.Vishnoi公司 :
通过非凸松弛和反集中实现子行列式最大化。 1020-1031 摩西·查里卡尔 , 巴黎西米内拉基斯 :
高维核密度的基于哈希的估计。 1032-1043