第53届FOCS 2012:美国新泽西州新不伦瑞克
-
2012年10月20日至23日,美国新泽西州新不伦瑞克市,第53届IEEE计算机科学基础年会,FOCS 2012。 IEEE计算机学会 2012 ,国际标准图书编号 978-1-4673-4383-1
会话1A
桑吉弗·阿罗拉 , 荣格 , 安库·莫伊特拉 :
学习主题模型-超越SVD。 1-10 格雷戈里·瓦利安 :
在次二次时间中寻找相关性,并应用于学习奇偶校验和Juntas。 11-20 玛丽亚·福丽娜·巴尔坎 , 埃里克·布莱斯 , Avrim Blum公司 , 刘洋 :
主动性能测试。 21-30
第1B部分
沙菲·戈德瓦塞尔 , 盖·罗斯布卢姆 :
如何计算泄漏情况。 31-40 维普尔·戈亚尔 :
平原模型中并发安全计算的积极结果。 41-50 维普尔·戈亚尔 , 李晨奎 , 拉斐尔·奥斯特罗夫斯基 , 伊万·维斯康蒂 :
构建不可收回的承诺:黑盒方法。 51-60
第2A课时
沙查尔·洛维特 , 拉胡·梅卡 :
通过走在边缘最小化构造性差异。 61-67 川崎敬一 , 米克尔·索鲁普 :
3-可着色图的组合着色。 68-75 Nisheeth K.Vishnoi公司 :
解决旅行推销员问题的永久方法。 76-80 科斯塔斯·布希 , 钦莫·杜塔 , 杰库马尔·拉德哈克里希南 , 拉杰莫汉·拉贾拉曼 , Srinivasagopalan Srivathsan公司 :
分裂和连接:图的强分割和通用斯坦纳树。 81-90
第2B部分
丹尼尔·凯恩 :
弱反集中高斯混沌的结构定理及其在多项式阈值函数研究中的应用。 91-100 克里斯贝克 , 罗素·英帕利亚佐 , 沙查尔·洛维特 :
决策树的大偏差界和AC0-电路的采样下限。 101-110 罗素·英帕利亚佐 , 拉胡·梅卡 , 大卫·扎克曼 :
收缩产生的伪随机性。 111-119 帕里克希特·戈帕兰 , 拉胡·梅卡 , 奥马尔·莱因戈尔德 , 卢卡·特雷维森 , 萨利尔·瓦丹 :
从温和的伪随机限制中获得更好的伪随机生成器。 120-129
第3A节
杨才 , 君士坦丁诺·达斯卡拉基斯 , S.马修·温伯格 :
最优多维机制设计:减少收入以实现福利最大化。 130-139 黄志毅 , 桑帕斯·坎南 :
社会福利指数机制:私有、真实和近乎最优。 140-149 拉什洛·A·Végh :
凹广义流及其在市场均衡中的应用。 150-159
第3B部分
兹维卡·布拉克斯基 , 耶尔·托曼·卡莱 :
对抗对抗性噪声的高效交互式编码。 160-166 分析师拉胡尔贾殷 , 阿提拉·佩雷斯勒尼 , 姚鹏辉 :
二方有界环公共货币通信复杂性的直积定理。 167-176年 埃利·本·萨森 , 沙查尔·洛维特 , 诺加·隆·泽维 :
将等级与通信复杂性联系起来的加性组合学方法。 177-186
第4A部分
沙扬·奥维斯·加兰 , 卢卡·特雷维森 :
近似展开轮廓和几乎最优局部图聚类。 187-196 文卡特桑·古鲁斯瓦米 , 阿里·凯末尔·斯诺普 :
用于局部舍入算法的更快的SDP层次解算器。 197-206
第4B部分
Aleksandrs Belovs公司 :
基于学习图的k-区分量子算法。 207-216 拉胡·梅卡 :
用于计算高斯过程上确界的PTAS。 217-222
第5部分
尼尔·比坦斯基 , 奥马尔·帕内思 :
从模糊处理的不可能性到一种新的非黑盒模拟技术。 223-232 朱莉娅·楚霍伊 , 史丽 :
具有拥塞2的边不相交路径的多对数近似算法。 233-242 伊藤忠雄(Tsuyoshi Ito) , 托马斯·维迪克 :
NEXP声音对纠结证明程序的多验证交互式证明。 243-252
第6A课时
阿兰塔·纽曼 , 奥弗·奈曼 , 亚历山大·尼科洛夫 :
贝克的三个置换猜想:一个反例和一些后果。 253-262 福田隆夫 , R.拉维 :
有界度节点连接网络设计的迭代舍入近似算法。 263-272 马雷克·赛根 , 穆罕默德·塔吉·哈加加伊 , 萨米尔·库勒 :
具有非均匀硬容量的k中心的LP舍入。 273-282
第6B课时
茨维·科佩洛维茨 :
通过有序列表子集上的前置查询对通用字母表进行在线索引。 283-292 卡斯珀·格林-拉森 :
用于评估多项式的更高单元探测下限。 293-301 大卫·多蒂 , 杰克·H·卢茨 , 马修·帕蒂兹 , 罗伯特·施韦勒 , 斯科特·萨默斯 , 达米安·伍兹 :
瓷砖装配模型是内在通用的。 302-310
第7A课时
伯纳德·夏泽尔 :
影响系统动力学。 311-320 列奥尼德·巴伦博伊姆 , 迈克尔·埃尔金 , 塞斯·佩蒂 , 约翰内斯·施耐德 :
分布对称性破坏的位置。 321-330 丹·阿利斯塔 , 迈克尔·本德 , 塞斯·吉尔伯特 , 拉希德·格雷劳伊 :
如何异步分配任务。 331-340 托马斯·索尔瓦尔德 , 何荪 :
任意网络拓扑上随机负载平衡的紧边界。 341-350
第7B课时
克里斯托夫·贝尔霍尔茨 :
关于寻找狭义证据的复杂性。 351-360 艾伦·斯利 , Nike太阳 :
d-正则图上双自旋模型计数的计算难度。 361-369 波阿斯·巴拉克 , 帕里克希特·戈帕兰 , 约翰·霍斯塔德 , 拉胡·梅卡 , 普拉萨德·拉加文德拉 , 大卫·斯特勒 :
使长代码更短。 370-379 Subhash Khot公司 , Rishi清酒 :
在几乎q色图中寻找独立集的困难。 380-389
第8A课时
阿维·威格德森 , 埃米尔·耶胡达约夫 :
种群恢复和部分鉴定。 390-399 辛提亚·沃克 , 莫尼·奈尔 , 萨利尔·瓦丹 :
分析家的隐私和国家的权力。 400-409 杰里米亚·布鲁西 , Avrim Blum公司 , 阿努帕姆·达塔 , 或者Sheffet :
Johnson-Lindenstraus的自我转变保护了差异隐私。 410-419
第8B课时
潘卡杰·K·阿加瓦尔 , 吉里·马图塞克 , 米查·谢里尔 :
半代数集的范围搜索2。 420-429 萨里尔·哈普莱德 , 尼尔曼·库马尔 :
兔子洞下:亚线性空间中的稳健邻近搜索和密度估计。 430-439 弗朗西斯·拉扎罗斯 , 朱利安·里沃 :
关于曲面的同伦检验。 440-449
会话9A
斯特凡·克拉奇 , 马格努斯·瓦尔斯特伦 :
代表集和无关顶点:核化的新工具。 450-459 拉杰什·赫曼特·奇蒂尼斯 , 马雷克·赛根 , 穆罕默德·塔吉·哈加加伊 , 马金·皮利普祖克 , 米查尔·皮利普祖克 :
使用随机收缩设计切割问题的FPT算法。 460-469 费多·弗明 , 丹尼尔·洛克斯塔诺夫 , 内尔德哈拉·米斯拉 , Saket Saurabh公司 :
平面F-删除:近似、核化和最优FPT算法。 470-479
会话9B
加博尔·布劳恩 , 塞缪尔·菲奥里尼 , 塞巴斯蒂安·波库塔 , 大卫·斯特勒 :
线性规划的近似极限(超越层次)。 480-489 耶尔·托曼·卡莱 , 艾利森·莱科(Allison B.Lewko) , 阿努普·拉奥 :
公式对短路错误具有弹性。 490-499 Iordanis Kerenidis公司 , 苏菲·拉普兰特 , 弗吉尼亚州Lerays , 杰雷米·罗兰 , 大卫·肖 :
通过零通信协议和应用程序的信息复杂性下限。 500-509
第10期-克努思奖讲座
列奥尼德·莱文 :
半度量衡的罕见性。 第510页至第513页
第11A课时
弗朗索瓦·勒加尔 :
矩形矩阵乘法的快速算法。 514-523 亚历山大·贝诺 , 阿林·博斯坦 , 乔里斯·范德霍温 :
线性微分算子的拟最优乘法。 524-530 马雷克·赛根 , 哈罗德·加博 , 彼得·桑科夫斯基 :
Baur-Strassen定理的算法应用:最短周期、直径和匹配。 531-540
第11B节
克里斯蒂安·索勒 :
可满足性的几乎最优规范属性测试器。 541至550 埃里克·布莱斯 , 阿米特·韦恩斯坦 , 吉田裕一 :
部分对称函数是有效的同构可测函数。 551-560 埃利·本·萨森 , 诺加·隆·泽维 , 迈度·苏丹 :
稀疏仿射不变线性码是局部可测试的。 561-570
第12A课时
卡提基安·钱德拉塞卡兰(Karthekeyan Chandrasekaran) , 拉什洛·A·Végh , 桑托什S.万帕拉 :
切割平面法是完美匹配的多项式。 571-580 莱尔·拉姆肖 , 塔扬 :
二部图中最小代价不完全匹配的加权标度算法。 581-590 岩井大辅 , Tadashi Wadayama公司 :
计算完美匹配的新方向。 591-598 雅库布·拉基 , 雅哈夫·努斯鲍姆 , 彼得·桑科夫斯基 , 克里斯蒂安·沃尔夫·尼尔森 :
单源-平面有向图中的所有汇最大流。 599-608
第12B课时
安德鲁·德鲁克 :
经典和量子实例压缩的新限制。 609-618 阿尔卡德夫·查托帕迪耶 , 拉胡尔·桑塔纳姆 :
常数深度电路的交互可压缩性下限。 619-628 凯坦·穆穆利 :
几何复杂性理论V:多项式恒等式检验的Blackbox去随机化和Noether归一化引理的去随机化之间的等价性。 629-638 马蒂亚斯·克里斯坦德 , 布伦特·多兰 , 迈克尔·沃尔特 :
计算李群表示的多重性。 639-648
第13A课时
Niv Buchbinder公司 , 莫兰·费尔德曼 , 约瑟夫·纳尔 , 罗伊·施瓦茨 :
紧线性时间(1/2)-无约束子模最大化的近似。 649-658 Yuval Filmus公司 , 贾斯汀·沃德 :
受拟阵约束的子模块最大化的紧组合算法。 659-668 约翰·塔珀 , 斯坦尼斯拉夫·齐夫尼 :
有值CSP的线性规划的威力。 669-678
第13B课时
马克·詹德里 :
如何构造量子随机函数。 679-687 辛莉(Xin Li) :
非收费提取器、双源提取器和隐私放大。 688-697 托马斯·霍伦斯坦 , 马克兰·辛哈 :
构造伪随机生成器需要几乎线性的调用次数。 698-707
第14A课时
马提亚斯·波洛切克 , 马里奥·塞格迪 :
最大匹配问题的随机贪婪算法及新分析。 708-717 加甘·戈尔 , 普什卡·特里帕西 :
合上双眼。 718-727 阿兰亚克·梅塔 , 德巴马利亚·帕尼格拉希 :
在线匹配随机奖励。 728-737
第14B课时
Mihai Patrascu公司 , 利亚姆·罗德蒂 , 米克尔·索洛普 :
稀疏图的一个新的无限距离预言。 738-747 法布里奇奥·格兰多尼 , 弗吉尼亚·瓦西列夫斯卡·威廉姆斯 :
通过快速单源替换路径改进距离敏感度Oracle。 748-757 伊甸园衣饰 , 迈克尔·迪尼茨 , 罗伯特·克劳查默 :
无处不在的稀疏扳手通过稠密子图。 758-767