第44届STOC 2012:美国纽约州纽约市
霍华德·卡洛夫 , 托尼安·皮塔西 :
2012年5月19日至22日,美国纽约州纽约市,STOC 2012,第44届计算理论研讨会论文集。 ACM公司 2012 ,国际标准图书编号 978-1-4503-1245-5
第1A课时
乔纳森·凯尔纳 , 加里·米勒 , 理查德·彭 :
使用二次耦合流的更快近似多商品流。 1-18 阿米特·查克拉巴蒂 , 丽莎·弗莱舍 , 克里斯托夫·韦贝尔 :
当割条件足够时:串并联网络中多流问题的完整特征。 19-26 拉什洛·A·Végh :
一类具有可分离凸目标的最小费用流问题的强多项式算法。 27-40
第1B部分
斯科特·阿伦森 , 保罗·F·克里斯蒂亚诺 :
来自隐藏子空间的量子资金。 41-60岁 乌梅什·V·瓦齐拉尼 , 托马斯·维迪克 :
可认证量子骰子:或者说,真正的随机数生成可以安全对抗量子对手。 61-76 亚历山大·贝洛夫 :
具有恒定大小1-证书的函数的跨度程序:扩展抽象。 77-84
第2部分
卡斯珀·格林-拉森 :
动态范围计数的细胞探针复杂性。 85-94年 塞缪尔·菲奥里尼 , 谢尔盖·马萨 , 塞巴斯蒂安·波库塔 , 汉斯·拉杰·蒂瓦里 , 罗纳德·沃尔夫 :
线性与半定扩展公式:指数分离和强下界。 95-106
第3A节
加甘·戈尔 , 瓦哈布·S.镜尼 , Renato Paes柠檬 :
多面体成交拍卖和广告词多面体。 107-122 罗伯特·克莱伯格 , S.马修·温伯格 :
Matroid先知不等式。 123-136 尼基尔·德瓦努尔 , 卡迈勒·贾因 :
在线匹配凹面回报。 137-144
第3B部分
桑吉弗·阿罗拉 , 荣格 , 拉文德兰·坎南 , 安库·莫伊特拉 :
可证明地计算非负矩阵分解。 145-162 迈克尔·A·福布斯 , 阿米尔·什皮尔卡 :
关于张量的一致性测试、低阶恢复和压缩感知。 163-172 马丁·格罗 , 达尼尔·马克思 :
排除拓扑子图的图的结构定理和同构检验。 173-192
第4A部分
帕维尔·赫鲁比斯 , 伊多·萨默雷 :
行列式恒等式的简短证明。 193-212 保罗·比姆 , 克里斯托弗·贝克 , 拉塞尔·英帕利亚佐 :
分辨率的时空权衡:超线性空间的超多项式下限。 213-232 特林·休恩 , 雅各布·诺德斯特伦 :
基于简洁证明的优点:将通信复杂性的难度放大到证明复杂性的时空权衡。 233-248 米克洛斯·阿杰泰 :
确定性与算术测试和计算的不确定性:扩展抽象。 249-268
第4B部分
史蒂文·海尔曼 , 奥科什·贾加纳特 , 阿萨夫·纳尔 :
R中螺旋桨猜想的求解 三 . 269-276 Subhash Khot公司 , 波帕特 , Nisheeth K.Vishnoi公司 :
2 log1-ε n个 带预处理的最近向量问题的硬度。 277-288 瑞安·奥唐纳 , 约翰·赖特 :
独特游戏的新NP-hardness点。 289-306 波阿斯·巴拉克 , 费尔南多·G·S·L·布兰登 , 阿拉姆·W·哈罗 , 乔纳森·凯尔纳 , 大卫·斯特勒 , 袁周(音) :
超压缩性、平方和证明及其应用。 307-326
第5A课时
克里姆·埃弗雷门科 :
从不可约表示到局部可解码代码。 327-338 文卡特桑·古鲁斯瓦米 , 朝平星 :
功能区塔的折叠代码和改进的最佳速率列表解码。 339-350 泽耶夫·德维尔 , 沙查尔·洛维特 :
子空间回避集。 351-358 塔利·考夫曼 , 亚历山大·卢博茨基 :
边传递ramanujan图和对称LDPC好码。 第359-366页
会话5B
康斯坦丁·马卡里切夫 , 尤里·马卡里切夫 , 阿拉文丹·维贾亚拉加万 :
半随机划分问题的近似算法。 367-384 R.Sharathkumar公司 , 潘卡杰·K·阿加瓦尔 :
几何二部匹配的近线性时间ε-近似算法。 385-394 伊泰·亚伯拉罕 , 奥弗·奈曼 :
使用花瓣分解来构建一个低伸缩生成树。 395-406 托比亚斯·布伦施 , 海科·罗格林 :
改进的多目标优化平滑分析。 407至426
第6A部分
斯特凡诺·莱昂纳迪 , 蒂姆·拉夫加登 :
与有序竞标者进行无需事先竞标。 427-434 舒奇·查拉 , 妮可·埃莫利卡 , 布伦丹·卢西尔 :
关于机构设计中黑盒减少的限制。 435-448 贝晓辉 , 陈宁 , 尼克·格雷文 , Pinyan路 :
预算可行性机制设计:从无先验到贝叶斯。 449-458 杨才 , 君士坦丁诺·达斯卡拉基斯 , S.马修·温伯格 :
多维机制的算法特征。 459-478
第6B节
安娜·加尔 , 克里斯托弗·阿恩斯费尔特·汉森 , 米查尔·库克(Michal Kouck) , 帕维尔·普德拉克 , 伊曼纽尔中提琴 :
用具有任意门的有界深度电路计算纠错码的严格界限。 479-494 小曼珍(Siu Man Chan) , 亚伦·波提钦 :
通过傅里叶分析研究单调开关网络的紧界。 495至504 马克·布拉弗曼 :
交互式信息复杂性。 505-524 亚历山大·谢斯托夫 :
集合不相交的多方通信复杂性。 525-548
第7A课时
何义祥(Ho Yee Cheung) , Tsz Chiu Kwok先生 , Lap Chi Lau先生 :
快速矩阵秩算法和应用。 549-562 海塔姆·哈萨尼耶 , Piotr Indyk公司 , 狄娜·卡塔碧 , 埃里克·普莱斯 :
近似最优稀疏傅里叶变换。 563-578 库沙·埃特萨米 , 阿利斯泰尔·斯图尔特 , 米哈利斯·扬纳卡基斯 :
多类型分支过程和随机上下文无关文法的多项式时间算法。 579-588 安娜·阿达马斯泽克 , 阿图尔·祖马 , 马蒂亚斯·恩格勒 , 哈拉尔德·雷克 :
块设备的最优在线缓冲调度。 589-598
第7B课时
马宁德拉·阿格拉沃 , 钱丹·萨哈 , Ramprasad Saptharishi公司 , 尼丁·萨克塞纳 :
雅可比命中电路:命中集,深度D出现的k公式的下界和深度3超越度k电路。 599-614 泽耶夫·德维尔 , 纪尧姆·马洛德 , 西尔万·佩里费尔 , 埃米尔·耶胡达约夫 :
分离多线性分支程序和公式。 615-624 安吉特·古普塔 , 尼拉杰·凯亚尔 , Satyanarayana V.Lokam公司 :
用顶部扇入2重建深度为4的多线性电路。 625-642 尼拉杰·凯亚尔 :
多项式的仿射投影:扩展抽象。 643-662年
会话8A
亚尔·巴塔尔 , 利阿德·戈特利布 , 罗伯特·克劳查默 :
旅行推销员问题:低维意味着多项式时间近似方案。 663-672 朱莉娅·楚霍伊 :
关于Steiner节点的顶点稀疏器。 673-688 Parinya Chalermsook公司 , 朱莉娅·楚霍伊 , 艾琳娜·埃内 , 史丽 :
积分并发流的近似算法和硬度。 689-708
会话8B
君士坦丁诺·达斯卡拉基斯 , 伊利亚斯·迪亚科尼科拉斯 , 洛科·A·塞韦迪奥 :
学习泊松二项分布。 709-728年 安妮迪亚·德 , 伊利亚斯·迪亚科尼科拉斯 , 维塔利·费尔德曼 , 洛科·A·塞韦迪奥 :
chow参数问题的近似最优解和半空间的低权近似。 729-746 亚历山大·谢斯托夫 :
使多项式对噪声鲁棒。 747-758
第9A部分
桑吉夫·戈伊尔 , 迈克尔·J·卡恩斯 :
网络中的竞争传染。 759-774 曼努埃尔·塞布利安 , 洛伦佐·科维略 , 安德烈亚·瓦塔尼 , Voulgaris泛神经炎 :
找到合同分割的红气球:对个人自私的稳健性。 775-788 克里斯蒂娜·布兰特 , 妮可·埃莫利卡 , 乔塔姆·卡马特 , 罗伯特·克莱伯格 :
一维谢林偏析分析。 789-804
第9B部分
本尼·阿普尔鲍姆 :
来自随机局部单向函数的具有长拉伸和低局部性的伪随机生成器。 805-816 萨利尔·瓦丹 , 科林·贾正 :
描述伪熵并简化伪随机生成器构造。 817-836 辛莉(Xin Li) :
设计提取器、非延展冷凝器和隐私放大。 837-854
第10部分
朱莉娅·楚霍伊 :
具有恒定拥塞的无向图中的路由。 855-874 Hyung-Chan An先生 , 罗伯特·克莱伯格 , 大卫·B·什莫伊 :
改进christofides的s-t路径TSP算法。 875-886 弗吉尼亚·瓦西列夫斯卡·威廉姆斯 :
乘法矩阵比coppersmith-winograd更快。 887-898
第11A课时
阿明·科贾·奥格伦 , Konstantinos Panagiotou公司 :
获取k-NAESAT阈值。 899-908 金一彩 , 席晨 :
计算具有复杂权重的CSP的复杂性。 909-920 迈克尔·莫洛伊 :
随机图的k着色的冻结阈值。 921年至930年 利伯·巴托 , 马金·科齐克 :
约束满足问题的鲁棒可满足性。 931-940
第11B节
大卫·P·伍德拉夫 , 秦章 :
分布式功能监视的严格限制。 941-960 科伦·塞索尔 , 伯恩哈德·海普勒 , 乔纳森·凯尔纳 , 彼得·梅蒙科夫 :
在一个缺乏联系的世界中进行全球计算:谣言迅速传播,不依赖电导。 961-970 尼基尔·班萨尔 , Vibhor Bhatt公司 , 普拉萨德·贾扬蒂 , Ranganath Kondapally公司 :
严格的时空互斥权衡。 971-982 乔治·贾库普斯 , 菲利普·沃尔费尔 :
随机互斥的紧RMR下限。 983-1002
第12A课时
朱加尔·加格 , 鲁塔·梅塔 , 米林德·索霍尼 , 维杰·瓦齐拉尼 :
可分离分段线性凹效用下市场的互补枢轴算法。 1003-1016 巴勃罗·丹尼尔·阿扎尔 , 西尔维奥·米卡利 :
理性证明。 1017-1028 雅各布·D·阿伯内西 , 拉斐尔·弗伦吉洛 , 安德烈·维比索诺 :
Minimax期权定价在限定范围内满足black-scholes。 1029-1040 埃尔沙南·莫塞尔 , 米克洛斯·拉茨 :
一个没有中立性的定量gibbard-satterthwaite定理。 1041-1060
第12B课时
让·布尔甘 , 阿米尔·耶胡达约夫 :
单调扩展。 1061-1078 诺加·艾伦 , 安库·莫伊特拉 , 本尼·苏达科夫 :
可分解为大诱导匹配的几乎完全图及其应用。 1079-1090 格雷格·库珀伯格 , 沙查尔·洛维特 , 罗恩·贝利德 :
刚性组合结构的概率存在性。 1091-1106 沙哈尔·多布津斯基 , 扬·冯德拉克 :
从查询复杂性到计算复杂性。 1107-1116
第13A课时
詹姆斯·R·李 , 沙扬·奥维斯·加兰 , 卢卡·特雷维森 :
多路谱分割和高阶契格不等式。 1117-1130 阿南·路易斯 , 普拉萨德·拉加文德拉 , Prasad Tetali公司 , 桑托什S.万帕拉 :
许多稀疏切割通过更高的特征值进行。 1131-1140 洛伦佐·奥雷奇亚 , 苏珊·萨奇德娃 , Nisheeth K.Vishnoi公司 :
近似指数、lanczos方法和( 米 )-平衡分离器的时间谱算法。 1141-1160年 米歇尔·戈曼斯 , 尼尔·奥尔弗 , 托马斯·罗斯沃 , 里科·曾克鲁森 :
超图steiner树松弛的拟阵和完整性间隙。 1161-1176 格思·斯特林特·布罗达尔 , 乔治·拉戈甘尼斯 , 塔扬 :
严格的斐波那契堆积。 1177-1184 简·布拉内克 , 米查尔·库克(Michal Kouck) , 迈克尔·E·萨克斯 :
在线标签问题的严格下限。 1185-1198 伊泰·亚伯拉罕 , Shiri Chechik先生 , 西里尔·加维尔 :
通过禁止集距离标签实现平面图的全动态近似距离预言。 1199年-1218年
第13B课时
阿德里亚娜·洛佩兹·阿尔特 , 埃兰·特罗默 , 维诺德·瓦昆塔坦 :
通过多密钥完全同态加密在云端进行即时多方计算。 1219-1234 埃莱特·博伊尔 , 沙菲·戈德瓦塞尔 , Abhishek耆那教 , Yael Tauman Kalai公司 :
多方计算可防止持续内存泄漏。 1235-1254 莫里茨·哈德 , 亚伦·罗斯 :
击败非相干矩阵上的随机响应。 1255-1268 阿迪蒂亚·巴斯卡拉 , 丹尼尔·达杜什 , 拉维珊卡·克里希纳斯瓦米 , 库纳尔·塔瓦尔 :
线性查询的无条件差异私有机制。 1269-1284 S.穆图克里希南 , 阿列克桑达尔·尼科洛夫 :
通过差异优化私有半空间计数。 1285-1292年