第12届ITCS 2021
詹姆斯·R·李 :
第12届理论计算机科学创新会议,ITCS 2021,2021年1月6日至8日,虚拟会议。 LIPIcs公司 185, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2021 ,国际标准图书编号 978-3-95977-177-1 -
Front Matter,目录,序言,会议组织。 0:1-0:14 尤瓦尔·达甘 , Yuval Filmus公司 , 丹尼尔·凯恩 , 谢·莫兰(Shay Moran) :
谎言的熵:与骗子玩二十个问题。 1:1-1:16 罗素·英帕利亚佐 , 萨姆·麦奎尔 :
比较低于多数的计算熵(或者:密度模型定理何时是错误的?)。 2:1-2:20 马丁·霍弗 , 帕辛·马努朗西 , Alexandros Psomas公司 :
有证据的算法说服。 3:1-3:20 伊斯海·哈维夫 :
循环中寻找公平独立集的复杂性。 4:1-4:14 文卡特桑·古鲁斯瓦米 , 乔纳森·莫舍夫 , 尼古拉斯·雷斯 , 沙什瓦特Silas , 玛丽·伍特斯 :
随机码的锐化阈值率。 5:1-5:20 卡梅隆·马斯科 , 克里斯托弗·马斯科 , 大卫·P·伍德拉夫 :
简单启发式为掩蔽低秩近似提供了可证明的算法。 6:1-6:20 威廉·霍扎 , 爱德华·派恩 , 萨利·P·瓦丹 :
无界宽度置换分支程序的伪随机生成器。 7:1-7:20 Eshwar Ram Arunachaleswaran公司 , 桑帕斯·坎南 , 亚伦·罗斯 , 朱巴·齐亚尼 :
管道干预。 8:1-8:20 姆里纳尔·库马尔 , 本·李·沃尔克 :
非刚性矩阵和小线性电路方程的多项式度界。 9:1-9:9 帕辛·马努朗西 , 阿维亚德·鲁宾斯坦 , 泽利尔·施拉姆 :
更强的种植集团假说及其后果。 10:1-10:21 俞能坤 :
量子态的样本有效身份测试和独立性测试。 11:1-11:20 奥拉夫·贝耶斯多夫 , 本杰明·伯姆 :
了解QBF-CDCL解算器的相对强度和QBF分辨率。 12:1-12:20 威廉·克雷奇默 :
量子至高无上Tsirelson不等式。 13:1-13:13 金伯利·丁 , S.马修·温伯格 :
概率设置中的近似策略性比赛规则。 14:1-14:20 阿努普·巴塔查里亚 , 阿里吉特·比什努 , 戈皮纳特·米什拉 , 阿纳尼亚·奥帕萨纳 :
即使是最简单的(?)图形着色问题在流媒体中也不容易! 15:1-15:19 威廉·库兹摩尔 , 亚历克·韦斯托弗 :
可变处理器杯游戏。 16:1-16:20 乌里·迈尔 :
比较图:均匀性测试的统一方法。 17:1-17:20 希亚姆·纳拉亚南 , 迈克尔·伦 :
环形轨迹重建。 18:1-18:18 托尼·梅特格 , 托马斯·维迪克 :
计算假设下单个量子器件的自测试。 19:1-19:12 席晨 , 安妮迪亚·德 , 李金浩 , 洛科·A·塞韦迪奥 , 桑迪普·辛哈 :
低删除率下的多项式时间轨迹重建。 20:1-20:20 塞巴斯蒂安·布贝克 , Niv Buchbinder公司 , 克里斯蒂安·科斯特 , 马克·塞尔克 :
带转换的计量服务系统。 21:1-21:20 苏尔比·戈尔 , 亚当·克莱文斯 , 帕辛·马努朗西 , 丹尼尔·赖奇曼 :
训练深度-2 ReLU网络的紧密硬度结果。 22:1-22:14 普兰贾尔·杜塔 , 尼丁·萨克塞纳 , 托马斯·蒂拉夫 :
较大的平方和意味着电路硬度和去随机化。 23:1-23:21 亚历山大·戈洛夫涅夫 , 亚历山大·库利科夫 , R.瑞恩·威廉姆斯 :
电路深度减少。 24:1-24:20 冯伟铭 , Kun He公司 , 孙晓明 , 伊通音 :
概率图形模型中的动态推断。 25:1-25:20 埃丝蒂·凯尔曼 , Subhash Khot公司 , 盖伊·金德勒 , 多尔·明泽 , 穆利·萨夫拉 :
KKL、Friedgut和Talagrand通过随机限制的定理和Log-Sobolev不等式。 26:1-26:17 马克·布拉弗曼 , Subhash Khot公司 , 多尔·明泽 :
丰富的2对1游戏。 27:1-27:20 皮埃尔·弗拉吉诺 , 弗朗索瓦·勒加尔 , 西村正美 , 阿米·巴兹 :
复制数据的分布式量子证明。 28:1-28:20 南岛美智子 :
基于非自适应黑盒约简的NP-Hard辅助输入密码算法。 29:1-29:15 波阿斯·巴拉克 , 周志宁 , Xun Gao公司 :
浅量子电路中的欺骗线性交叉熵基准测试。 30:1-30:20 约书亚·A·格罗丘 , 乔有明 :
张量、群和多项式同构问题的复杂性Ⅰ:张量同构-完全性。 31:1-31:19 格雷戈里·罗森塔尔 :
近似奇偶性的QAC^0复杂性的界。 32:1-32:20 诺加·隆·泽维 , 罗恩·沙蒂尔 , 尼廷·瓦尔马 :
局部列表编码和硬核谓词的查询复杂性下限(即使对于小速率和大列表)。 33:1-33:18 杰伊·玛迪亚 :
蓄意集团恢复的空间复杂性与检测的空间复杂性相同吗? 34:1-34:17 Joshua Lau(约书亚·刘) , 安格斯·里托萨 :
多维范围更新和查询的算法和硬度。 35:1-35:20 多里特·阿哈罗诺夫 , 亚历克斯·B·格里洛 :
两个组合MA-完全问题。 36:1-36:20 柯蒂斯·柏克德 , 沙丁·达格米 :
委托随机探测。 37:1-37:19 Irit恐龙 , Yuval Filmus公司 , 普拉哈德·哈沙 , 马杜尔·图西亚尼 :
高维扩展器的明确SoS下限。 38:1-38:16 扎卡里·雷姆斯克里姆 :
双向量子有限自动机和亚对数空间量子图灵机运行时间的下限。 39:1-39:20 林嘉宝 :
关于#CSP^d的复杂性。 40:1-40:10 沙菲·戈德瓦塞尔 , 盖·罗斯布卢姆 , 乔纳森·谢弗 , 埃米尔·耶胡达约夫 :
验证机器学习的交互式证明。 41:1-41:19 奥姆里·本·利泽尔 , 埃尔达·费舍尔 , 阿米特·列维 , 吉田裕一 :
有序图极限及其应用。 42:1-42:20 奥弗·格罗斯曼 , 贾斯汀·霍姆格伦 :
更正未压缩消息的代码时出错。 43:1-43:18 罗伯特·克莱伯格 , 奥利弗·科滕 , 丹尼尔·米特罗波斯基 , 克里斯托斯·帕帕迪米特里奥 :
多项式层次中的总函数。 44:1-44:18 诺亚·伯雷尔 , 格兰特·斯科内贝克 :
放松社交网络的共同信念。 45:1-45:20 伊泰·阿什拉吉 , 马克·布拉弗曼 , 阿明·萨贝里 , 克莱顿·托马斯 , 耿照 :
分层随机匹配市场:排名与人气成正比。 46:1-46:16 杰弗里·库托 , Pooya Farshim公司 , 穆罕默德·马哈穆迪 :
黑盒无用性:密码学中的合成分离。 47:1-47:20 文卡特桑·古鲁斯瓦米 , 维纳亚克·库马尔 :
粘性随机游动的伪二项式。 48:1-48:19 利奥·埃尔达尔 :
(接近)室温下的稳健量子纠缠。 49:1-49:20 阿比吉特·穆迪戈达 , R.瑞恩·威廉姆斯 :
用量子和随机验证器模拟证明系统的时空下界。 50:1-50:20 安杰洛普洛斯Spyros Angelopoulos :
在线搜索提示。 51:1-51:16 帕尔·安德拉斯·帕普 , 罗杰·瓦滕霍夫 :
金融网络中的顺序违约。 52:1-52:20 安基特加尔格 , 罗宾·科塔里 , 普拉尼斯·内特拉帕利 , 苏哈伊尔·谢里夫 :
非光滑凸优化的梯度下降无量子加速。 53:1-53:20 乌玛·吉里什 , 然·拉茨 , 阿维沙伊·塔尔 :
量子与随机通信复杂性,高效参与者。 54:1-54:20 库什·巴蒂亚 , 彼得·L·巴特利特 , 安卡·D·德拉甘 , 雅各布·斯坦哈特 :
使用未知实用程序进行不可知学习。 55:1-55:20 陈丽杰 , 巴迪赫·加齐 , 拉维库玛 , 帕辛·马努朗西 :
论分布式差异隐私和区分要素的计算。 56:1-56:18 诺亚姆·所罗门 , 谢·所罗门 :
广义匹配重构问题。 57:1-57:20 吉田裕一 , 萨姆森·周 :
最大匹配问题的灵敏度分析。 58:1-58:20 维杰·瓦齐拉尼 , 米哈利斯·扬纳卡基斯 :
单面匹配市场Hylland-Zeckhauser方案的计算复杂性。 59:1-59:19 拉杰科·内纳多夫 , 安吉丽卡·斯特格 , 帕斯卡·苏 :
求高概率Hamilton循环的O(N)时间算法。 60:1-60:17 斯里尼瓦桑·阿鲁纳查拉姆 , Supartha吊舱 :
沟通记忆:无记忆的沟通复杂性。 61:1-61:20 迈克尔·科恩 , 亚伦·西德福德 , 田凯文(Kevin Tian) :
外梯度方法中的相对利普希茨性和加速的直接方法。 62:1-62:18 简·范登布兰德 , 彭炳慧(Binghui Peng) , 赵松 , 欧姆里·温斯坦 :
在近线性时间内训练(过参数化)神经网络。 63:1-63:15 杰里米亚·布鲁西 , 迈克·辛科斯克 :
节点和边深度鲁棒图之间的一种新连接。 64:1-64:18 安东尼·勒维耶 , 费雯·隆德 , 吉尔斯·泽莫尔 :
量子编码的局部可测试性。 65:1-65:11 迪克森 , A.帕凡 , N.V.Vinodchandran公司 :
多伪终端计算的完整问题。 66:1-66:16 尤瓦尔·埃梅克 , 谢·库滕 , 阳光石 :
后悔不已的在线寻呼。 67:1-67:20 伊兰·科马尔戈德斯基 , 伊莱恩·施 :
差分遗忘图灵机。 68:1-68:19 安妮迪亚·德 , 希瓦姆·纳丁帕利 , 洛科·A·塞韦迪奥 :
基于半群插值的定量相关不等式。 69:1-69:20 本杰明·罗斯曼 :
决策列表和DNF公式的缩减。 70:1-70:14 库纳尔·米塔尔 , 然·拉茨 :
块刚性:强多层并行重复意味着图灵机的超线性下限。 71:1-71:15 斯特凡·齐姆博夫斯基 , 格拉泽戈兹·法比安斯基 , 塞巴斯蒂安·浮士德 , Siavash Riahi公司 :
离链协议的下限:探索等离子体的极限。 72:1-72:20 桑德·博斯特 , 丹尼尔·达杜什 , 尼尔·奥尔弗 , 马克兰·辛哈 :
优化器优化措施。 73:1-73:20 Hedyeh Beyhaghi公司 , 埃瓦·塔尔多斯 :
有限访谈中双向匹配的随机性和公平性。 74:1-74:18 贾斯汀·霍姆格伦 , 亚历山大·魏恩 :
低阶猜想的反例。 75:1-75:9 乔普·布里特 , Farrokh Labib公司 :
高熵对偶函数和局部可解码代码(扩展抽象)。 76:1-76:2 妮可·埃莫利卡 , 伊恩·卡什 , 布伦丹·卢西尔 :
随时间购买数据:动态数据驱动决策的近似最优策略。 77:1-77:14 格兰特·斯科内贝克 , 方一瑜 :
学习和强真实的多任务同伴预测:一种变分方法。 78:1-78:20 萨拉·艾哈迈丹 , 刘亚伦(Allen Liu) , 彭炳慧(Binghui Peng) , 莫特扎·扎迪莫格哈达姆 :
分布式负载平衡:一个新的框架和改进的保证。 79:1-79:20 阿米特·列维 , 拉梅什·克里希南·S·帕拉沃 , 索菲亚·拉斯霍德尼科娃 , 尼廷·瓦尔马 :
抗擦除子线性时间图算法。 80:1-80:20 杨才 , 格里戈里斯·维莱卡斯 :
如何最优销售信息:算法研究。 81:1-81:20 克里姆·埃弗雷门科 , 吉拉特·科尔 , 德米特里·帕拉莫诺夫 , Raghuvansh R.Saxena公司 :
恶意方干扰广播信道的计算。 82:1-82:19 尼玛·阿纳里 , 内森·胡 , 阿明·萨贝里 , 亚伦·席尔德 :
平行采集乔木。 83:1-83:18 莫西·巴拜奥夫 , 理查德·科尔 , 杰森·D·哈特林 , 妮可·埃莫利卡 , 布伦丹·卢西尔 :
准线性机构中的非准线性代理(扩展摘要)。 84:1-84:1 摩西·查里卡尔 , 希瓦姆·加格 , 黛博拉·M·戈登 , 基兰库马尔·西拉格 :
蚂蚁轨迹形成模型及其收敛性(扩展摘要)。 85:1-85:2 何塞·科雷亚 , 保罗·杜廷 , 费利克斯·A·菲舍尔 , 凯文·舍维尔 , 布鲁诺·齐利奥托 :
未知I.I.D.预言:更好的界限、流算法和新的不可能(扩展抽象)。 86:1-86:1 内塔·达夫尼 , Yuval Filmus公司 , 诺姆·利夫希茨 , 内森·林泽伊 , 马克·维尼亚尔斯 :
对称群及其以外的复杂性度量(扩展抽象)。 87:1-87:5 冯一丁 , 拉德·尼亚扎德 :
批处理和最优多级二部分配(扩展抽象)。 88:1-88:1 Yuval Filmus公司 , 或迈尔 , 阿维沙伊·塔尔 :
随机投影下的收缩,以及AC0的三次公式下界(扩展摘要)。 89:1-89:7