2019年第51届STOC:美国亚利桑那州凤凰城
摩西·查里卡尔 , 伊迪丝·科恩 :
2019年6月23日至26日,美国亚利桑那州凤凰城,STOC2019,第51届ACM SIGACT计算理论年度研讨会论文集。 ACM公司 2019 ,国际标准图书编号 978-1-4503-6705-9
获奖论文及更多
尼玛·阿纳里 , 刘奎奎 , 沙扬·奥维斯·加兰 , 辛西娅·文赞特 :
对数曲线多项式II:用于计算拟阵基的高维游动和FPRAS。 1-12 然·拉茨 , 阿维沙伊·塔尔 :
Oracle分离BQP和PH。 13-23 沃伊切赫·切尔温斯基(Wojciech Czerwinski) , 斯拉沃米尔·拉索塔 , 兰科·拉齐奇 , 杰罗姆·勒鲁 , 菲利普·马佐维耶基 :
Petri网的可达性问题不是基本的。 24-33 陈丽杰 , Roei Tell公司 :
阈值电路的自举结果“刚好超出”已知的下限。 34-41 阿尔卡德夫·查托帕迪耶 , 尼基尔·曼德 , 苏哈伊尔·谢里夫 :
对数近似库推测是错误的。 42-53 朱加尔·加格 , 拉什洛·A·Végh :
线性交易市场的强多项式算法。 54-65
离散优化
埃里克·巴尔干斯基 , 阿维亚德·鲁宾斯坦 , 纱线歌手 :
自适应复杂度模型中拟阵约束下的子模块最大化的最佳逼近。 66至77 钱德拉·切库里 , 肯特·库鲁德 :
在拟阵及其后的子模集函数最大化的并行贪婪。 78-89 阿丽娜·埃内 , Huy L.Nguyen先生 , 阿德里安·弗拉杜 :
并行具有拟阵和装箱约束的子模最大化。 90-101 林晨(Lin Chen) , 莫兰·费尔德曼 , 阿明·卡巴西 :
具有恒定自适应复杂性的无约束子模块最大化。 102-113 阿米尔·阿布德 , 拉格汉德拉·阿丹基 , 法布里奇奥·格兰多尼 , 德巴马利亚·帕尼格拉希 , 巴纳·萨哈 :
动态集合覆盖:改进的算法和下限。 114-125 迪帕纳布查克拉巴蒂 , Chaitanya沼泽 :
最小范数和有序优化问题的近似算法。 126-137
平面图算法
沙拉兰波普洛斯Panagiotis Charalampopoulos , Pawel Gawrychowski先生 , 谢伊·莫泽斯 , 奥伦·魏曼 :
平面图的几乎最优距离预言。 138-151 杰森·李 , Merav Parter公司 :
公制压缩平面直径。 152-163 川崎敬一 , 阿纳斯塔西奥斯·西迪罗普洛斯 :
有界度图上Euler亏格的多对数逼近。 164-175 迈克尔·贝科斯 , 亨利·弗斯特 , 马丁·格罗尼曼 , 塔玛拉·麦克赫德利泽 , 法布里奇奥·蒙蒂奇亚尼 , Chrysanthi N.Raptopoulou公司 , 托尔斯滕·尤克特 :
有界度的平面图具有有界的队列数。 176-184
量子计算I
贾斯汀·霍姆格伦 , 杨丽莎 :
非信号游戏的平行重复:反例和二分法。 185-192 安德拉斯·吉利恩 , 袁苏 , 广浩低 , 内森·威比 :
量子奇异值变换及其以外:量子矩阵算术的指数改进。 193-204 阿图尔·辛格·阿罗拉 , 杰雷米·罗兰 , 斯蒂芬·魏斯 :
量子弱抛硬币。 205-216 汤怡文 :
推荐系统的一种量子启发的经典算法。 217-228
图形算法I
阿努帕姆·古普塔 , 尤文·李 , 杰森·李 :
最小数量 k个 -削减:提高Karger-Stein界限。 229-240 达农·纳农开 , 撒拉努拉克 , Sorrachai Yingchareonsawornchai(索拉凯) :
打破小顶点连通性的二次时间和近似方案。 241-252 法布里奇奥·格兰多尼 , Bundit Laekhanukit公司 , 史丽 :
O(运行) (日志 2 k个 /日志 k个 )-有向Steiner树的近似算法:一种紧拟多项式时间算法。 253-264
流动
Sepehr Assadi公司 , 于晨 , 桑吉夫·坎纳 :
图流算法的多项式传递下限。 265-276 迈克尔·卡普拉洛夫 , 德米特里·克拉春 :
近似MAX-CUT的最佳空间下限。 277-288 Vasileios Nakos公司 , 赵松 :
更强的l 2 /我 2 压缩传感; 没有迭代。 289-297
隐私
刘敬成 , 库纳尔·塔瓦尔 :
私人候选人的私人选择。 298-309 克莱门特·卡农 , 乔塔姆·卡马特 , 奥德拉·麦克米兰 , 亚当·史密斯 , 乔纳森·乌尔曼 :
简单假设的最优私人测试结构。 310-321 斯科特·阿伦森 , 盖·罗斯布卢姆 :
量子态和微分隐私的温和测量。 322-333
图形算法II分布式/动态
亚伦·伯恩斯坦 , 达农·纳农开 :
近线性时间内的分布式精确加权全对最短路径。 334-342 莫希特·达加 , 莫妮卡·亨津格 , 达农·纳农开 , 撒拉努拉克 :
次线性时间内的分布式边缘连通性。 343-354 苏新浩 , Hoa T.Vu公司 :
走向维辛定理的局部性。 355-364 亚伦·伯恩斯坦 , 马克西米利安·普罗布斯特 , 克里斯蒂安·沃尔夫·尼尔森 :
近线性时间内强连接分量和单源可达性减少。 365-376 塞巴斯蒂安·福斯特 , 格拉莫斯·戈兰奇 :
通过动态低直径分解实现动态低伸展树。 377-388 朱莉娅·楚霍伊 , 桑吉夫·坎纳 :
一种新的递减单源最短路径算法及其在顶点容量受限流和割问题中的应用。 389-400
复杂性理论I电路
亚历山大·谢斯托夫 , 裴武 :
AC门限度和符号库的近最优下界 0 . 401-412 尼拉杰·凯亚尔 , 钱丹·萨哈 :
非退化均匀深度三回路的重建。 413-424 埃米尔·耶胡达约夫 :
分离单调VP和VNP。 425-429 亚伦·波提钦 :
关于平衡线性阈值函数的逼近阻力。 430-441 努坦·利马耶 , Kartek Sreenivasaiah公司 , 斯里坎斯·斯里尼瓦桑 , 乌特卡什·特里帕蒂 , S.文基特什 :
AC的一个固定深度大小层次定理 0 通过硬币问题。 442-453 沙查尔·洛维特 , 张嘉鹏 :
向日葵以外的DNF稀疏。 454-460
量子计算II
Kun He公司 , 钱丽 , 孙晓明 , 张嘉鹏 :
量子Lovász局部引理:Shearer的束缚是紧的。 461-472 约瑟夫·菲茨西蒙斯 , 郑凤姬 , 托马斯·维迪克 , 袁子春 :
迭代指数时间及其后的量子证明系统。 473-480 托马斯·博达诺维奇 , 伊丽莎白·克罗森 , Chinmay Nirkhe公司 , 袁子春 :
基于时空电路哈密顿量的良好近似量子LDPC码。 481-490 广浩低 :
对谱范数具有近似最优依赖性的哈密顿模拟。 491-502 科斯汀·巴德斯库 , 瑞安·奥唐纳 , 约翰·赖特 :
量子国家认证。 503-514 亚当·贝尼·瓦茨 , 罗宾·科塔里 , 卢克·谢弗 , 阿维沙伊·塔尔 :
浅量子电路和无界扇入浅经典电路之间的指数分离。 515-526
性能测试
密码学基础 :
在无顶点分布模型中测试图。 527-534 利奥·吉什博利纳 , 阿萨夫·夏皮拉 :
针对未知分布测试图。 535-546 席晨 , 埃里克·温加滕 :
几乎以最佳方式测试不一致性。 547-558 阿卡什·库马尔 , C.塞沙赫里 , 安德鲁·斯托尔曼 :
随机漫步与被禁止的未成年人II:聚( dε -1 )-有界度图的次闭性质的查询测试器。 559-567
约束满足
约书亚·布拉肯西克 , 文卡特桑·古鲁斯瓦米 :
通过随机漫步在0/1和线性规划之间架起桥梁。 568-577 托马斯·杜伊霍姆·汉森 , 哈伊姆·卡普兰 , 或者扎米尔 , 乌里·兹威克 :
更快 k个 -使用有偏PPSZ的SAT算法。 578-589 约书亚·布拉肯西克 , Sivakanth Gopi公司 , 文卡特桑·古鲁斯瓦米 :
具有全局模块化约束的CSP:通过多项式表示的算法和硬度。 590-601 雅库布·布林 , 安德烈·克鲁金 , Jakub Oprsal公司 :
承诺约束满足的代数方法。 602-613
伪随机性/算法博弈论
瑞安·奥唐纳 , Rocco A.Servedio公司 , 李阳潭 :
愚弄多面体。 614-625 拉胡·梅卡 , 奥马尔·莱因戈尔德 , 阿维沙伊·塔尔 :
width-3分支程序的伪随机生成器。 626-637 阿里斯·菲洛斯·拉特西卡斯 , 保罗·W·戈德堡 :
分割项链和分割火腿三明治的复杂性。 638-649 雅科夫·巴比琴科 , 沙哈尔·多布津斯基 , 诺姆·尼桑 :
局部搜索的通信复杂性。 650-661
欧共体联席会议
郭成浩 , 黄志毅 , 张信志 :
解决单参数收益最大化的样本复杂性。 662-673 姚南金 , Pinyan路 , 齐齐 , 智豪加文汤 , 陶晓 :
匿名定价的严格近似比率。 674-685 Hedyeh Beyhaghi公司 , S.马修·温伯格 :
附加买家对独立项目的最优(和基准最优)竞争复杂性。 686-696
弦论
伯恩哈德·海普勒 , 阿维亚德·鲁宾斯坦 , 阿米尔贝沙德·沙赫拉斯比 :
近线性时间插入删除码和(1+ ε )-通过索引近似编辑距离。 697-708 马赫迪·博罗杰尼 , 穆罕默德·古德西 , 穆罕默德·塔吉·哈加加伊 , 赛义德·塞迪金 :
1+ ε 二次时间内树编辑距离的近似值。 709-720年 阿伦·加内什 , 张秋怡(Richard) :
用indels重建系统发育树的最佳序列长度要求。 721-732 巴特洛米耶·杜德克 , Pawel Gawrychowski先生 :
计算四分之一距离相当于计算4个周期。 733-743 桑迪普·辛哈 , 欧姆里·温斯坦 :
Burrows-Wheeler变换的局部可解性。 744-755 多米尼克·坎帕 , 托马斯·科祖马卡 :
串同步集:次线性时间BWT构造和最优LCE数据结构。 756-767
算法统计学
安德烈·林哈里斯 , Chaitanya沼泽 :
具有黑盒分布的分布随机优化的近似算法。 768-779 摩西·查里卡尔 , 基兰库马尔·西拉格 , 亚伦·西德福德 :
通用对称属性估计的有效轮廓最大似然。 780-791 乌里·哈达尔 , 刘晶波 , 尤里·波利安斯基 , 奥费尔·沙耶维茨 :
估计相关性的通信复杂性。 792-803 伊利亚斯·迪亚科尼科拉斯 , 丹尼尔·M·凯恩 :
Degree-푑chow参数可以稳健地确定Degree--\54353 ; PTF(和算法应用程序)。 804-815 建鼎 , Nike太阳 :
Ising感知器的容量下限。 816-827 盖·布雷斯勒 , 弗雷德里克·科勒 , 安库·莫伊特拉 :
通过影响最大化学习受限Boltzmann机器。 828-839
COLT姐妹课程ML基础
纳文·戈亚尔 , Abhishek Shetty公司 :
使用熵方法进行非高斯成分分析。 840-851 诺加·艾伦 , 罗伊·利夫尼 , 玛丽安·马利亚里斯 , 谢·莫兰(Shay Moran) :
私人PAC学习意味着有限的Littlestone维度。 852-860 塞巴斯蒂安·布贝克 , 尹达利 , 李远志 , 马克·塞尔克 :
竞争性地追逐凸体。 861-868 司丹·陈 , 安库·莫伊特拉 :
超越低级算法:子立方体的混合及其应用。 869-880 君士坦丁诺·达斯卡拉基斯 , 尼桑特·迪卡拉 , 约阿尼斯·帕纳吉斯 :
依赖性观察结果的回归。 881-889 梵蒂萨·沙兰 , 亚伦·西德福德 , 格雷戈里·瓦利安 :
小误差线性回归的内存样本权衡。 890-901
矩阵方法
拉斯穆斯·金 , 理查德·彭 , 苏珊·萨奇德娃 , 狄王 :
通过自适应预处理在几乎线性时间内流动。 902-913 大卫·杜菲 , 于高 , 格拉莫斯·戈兰奇 , 理查德·彭 :
全动态谱顶点稀疏器及其应用。 914-925 安库·莫伊特拉 , 亚历山大·魏恩 :
张量网络的谱方法。 926-937年 迈克尔·科恩 , 尹达利 , 赵松 :
在当前矩阵乘法时间内求解线性程序。 938-942 卡尔·布林曼 , 马文·库内曼 , 卡罗尔·韦格兹基 :
无标度近似APSP:近似min-plus和精确min-max的等价性。 943-954 华成余 :
通过近似非负张量分解的最优简洁秩数据结构。 955-966
下限/度量算法
泽耶夫·德维尔 , 亚历山大·戈洛夫涅夫 , 欧姆里·温斯坦 :
静态数据结构下限意味着刚性。 967-978 奥马尔·阿拉比亚 , 文卡特桑·古鲁斯瓦米 :
MSR码子包化的指数下界。 979-985 丹·阿利斯塔 , 詹姆斯·阿斯彭斯 , 费斯·埃伦 , 拉蒂·格拉什维利 , Leqi Zhu先生 :
为什么基于扩展的证明失败了。 986-996 阿里雷扎·法哈迪 , 穆罕默德·塔吉·哈加加伊 , 卡斯珀·格林-拉森 , 伊莱恩·施 :
通过网络编码进行外部内存整数排序的下限。 997-1008 Tyler Helmuth公司 , 威尔·珀金斯 , Guus Regts公司 :
算法Pirogov-Sinai理论。 1009-1020 丹尼尔·达杜什 :
关于逼近覆盖半径和寻找稠密格子子空间。 1021-1026
ML基础II
康斯坦丁·马卡里切夫 , 尤里·马卡里切夫 , 伊利亚·拉森什坦 :
Johnson-Lindenstraus变换的性能 k个 -手段和 k个 -中位数聚类。 1027-1038 卢卡·贝切蒂 , 马克·布里 , 文森特·科恩·阿达德 , 法布里奇奥·格兰多尼 , 克里斯·施维格尔肖恩 :
不经意的尺寸缩减 k个 -意味着:超越子空间和Johnson-Lindenstraus引理。 1039-1050 哈伊姆·艾夫伦 , 迈克尔·卡普拉洛夫 , 卡梅隆·马斯科 , 克里斯托弗·马斯科 , 阿米亚·维林克 , 阿米尔·赞迪 :
用简单傅里叶变换重建信号的通用采样方法。 1051-1063 希亚姆·纳拉亚南 , 杰拉尼·纳尔逊 :
欧几里得空间中的最优终端降维。 1064-1069 冯伟铭 , Nisheeth K.Vishnoi公司 , 伊通音 :
图形模型的动态采样。 1070-1081
密码学
兰·卡内蒂 , 陈一雷(Yilei Chen) , 贾斯汀·霍姆格伦 , 亚历克斯·隆巴迪 , 盖·罗斯布卢姆 , 罗恩·罗斯布卢姆 , 丹尼尔·威克斯 :
菲亚特·沙米尔:从实践到理论。 1082-1090 尼尔·比坦斯基 , 达克希塔·库拉纳 , 奥马尔·帕内思 :
超越黑盒屏障的弱零知识。 1091-1102 Arka Rai Choudhuri公司 , Pavel Hubácek公司 , 契丹·卡马特 , Krzysztof Pietrzak先生 , 阿隆·罗森 , 盖·罗斯布卢姆 :
找到纳什均衡并不比打破菲亚特·沙米尔更容易。 1103-1114 耶尔·托曼·卡莱 , 奥马尔·帕内思 , 杨丽莎 :
如何公开委托计算。 1115-1124年
算法
Nikhil Bansal公司 :
关于迭代和随机取整的推广。 1125-1135 克里斯蒂安·科斯特 , 埃利亚斯·库索皮亚斯 :
在线k出租车问题。 1136-1147 迈克尔·本德 , 马丁·法拉赫-科尔顿 , 威廉·库兹摩尔 :
在多处理器杯赛中实现最佳积压。 1148-1157 贾诺斯·帕奇 , 纳坦·鲁宾 , 加博尔·塔尔多斯 :
平面点集决定了许多成对交叉线段。 1158-1166年
图形算法III
米娜·达利罗伊法德 , Thuy-Duong Vuong公司 , 弗吉尼亚·瓦西列夫斯卡·威廉姆斯 :
图形模式检测:所有诱导模式的硬度和更快的非诱导循环。 1167-1178 阿莱西奥·孔蒂 , Takeaki Uno先生 :
基于邻近搜索的最大子图枚举的新多项式延迟界。 1179-1190年 迈克尔·卡帕博 :
具有最大度K和直径[1+o(1)]log的显式N顶点图 K-1公司 N表示每个K-1的一次幂。 1191-1202
复杂性理论II
阿米尔·什皮尔卡 :
二次多项式的Sylvester-Gallai型定理。 1203-1214 迪伦·M·麦凯 , 科迪·D·穆雷 , R.瑞恩·威廉姆斯 :
资源边界压缩的弱下限意味着复杂类的强分离。 1215-1225 维希什·贾恩 , 弗雷德里克·科勒 , 安德烈·里斯特斯基 :
平均场近似、凸层次和相关舍入的最佳性:一个统一的观点。 1226-1236
图形规范化
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)