第13届ITCS 2022
马克·布拉弗曼 :
第13届理论计算机科学创新会议,ITCS 2022,2022年1月31日至2月3日,美国加州伯克利。 LIPIcs公司 215, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2022 ,国际标准图书编号 978-3-95977-217-4 -
前言、目录、前言、会议组织。 0:1-0:24 加甘·阿加瓦尔 , 克希普拉·巴瓦卡尔 , 古鲁加内斯大师 , 安德烈斯·佩尔罗斯 :
通过中介机构实现收入最大化。 1:1-1:22 迪维什·阿加瓦尔 , 尼科·德特林 , 杰斯科·杜杰莫维奇 , 穆罕默德·哈贾巴迪 , 朱利奥·马拉沃尔塔 , 马西耶·奥布雷姆斯基 :
代数限制码及其应用。 2:1-2:15 什扬·阿克马尔 , 陈丽杰 , 策进 , 马尔维卡·拉吉 , 瑞恩·威廉姆斯 :
改进的Merlin-Arthur协议用于解决细粒度复杂度的中心问题。 3:1-3:25 Prabhanjan Ananth公司 , Abhishek耆那教 , 金正中 , 朱利奥·马拉沃尔塔 :
预约束加密。 4:1-4:20 尼玛·阿纳里 , 米查尔·德里金斯基(Michal Derezinski) , Thuy-Duong Vuong公司 , 伊丽莎白·杨 :
利用熵独立性对离散分布进行区域稀疏化。 5:1-5:23 Anurag Anshu公司 , 钦玛·尼尔赫 :
量子码哈密顿量低能态的电路下限。 6:1-6:22 Shiri Antaki先生 , 刘全泉 , 谢·所罗门 :
对称破缺问题动态算法的近最优分布式实现。 7:1-7:25 本尼·阿普勒巴姆 , 阿莫斯·贝梅尔 , 奇尼尔 , 纳蒂·彼得 , 托尼安·皮塔西 :
秘密共享、切片公式和单音实电路。 8:1-8:23 塞珀尔·阿萨迪 , 维汉·沙阿 :
动态流中最大匹配的渐近优化算法。 9:1-9:23 塞珀尔·阿萨迪 , 陈旺 :
基于稀疏密集分解的次线性相关聚类时空算法。 10:1-10:20 雅科夫·巴比琴科 , Inbal Talgam-Cohen公司 , 徐海峰 , 康斯坦丁·扎巴尼 :
多渠道贝叶斯说服。 11:1-11:2 马歇尔·鲍尔 , 密码学基础 , 塔尔·马尔金 :
从某些依赖源中提取随机性。 12:1-12:14 尼基尔·班萨尔 , 郝天江 , 拉胡·梅卡 , 萨希尔·辛拉 , 马克兰·辛哈 :
前缀差异、平滑分析和组合向量平衡。 13:1-13:22 波阿斯·巴拉克 , 库纳尔·马尔瓦哈 :
高生成图上最大割的经典算法和量子限制。 14:1-14:21 詹姆斯·巴图塞克 , 朱利奥·马拉沃尔塔 :
零量子电路的不可分辨性混淆及其应用。 15:1-15:13 阿努巴夫·巴韦贾 , 贾斯汀 , 大卫·P·伍德拉夫 :
一种用于比赛反馈弧集的高效半流PTAS。 16:1-16:23 巴拉拉姆·贝赫拉 , 爱丁·胡西奇 , 什维塔·贾因 , 蒂姆·拉夫加登 , C.塞沙赫里 :
c-闭图中寻找近团的FPT算法。 17:1-17:24 迈克尔·本德 , 马丁·法拉赫-科尔顿 , 威廉·库兹摩尔 :
动态最优在外部记忆中意味着什么? 18:1-18:23 哈克·贝内特 , 克里斯·佩克特 , 一汤 :
在间隙-(S)ETH下提高BDD和SVP的硬度。 19:1-19:12 阿米·邦格尔 , Prahladh Harsha公司 , 苏亚·罗伊 :
准随机群中三项级数的混合。 20:1-20:9 阿米·邦格尔 , 阿列克萨·斯坦科维奇 :
具有泛因子图的非阿贝尔群上的Max-3-Lin。 21:1-21:21 Vijay Bhattiprolu先生 , 尤文·李 , 马杜尔·图西亚尼 :
区分格罗森迪克问题和小格罗森蒂克问题的NP-难性。 22:1-22:17 戴维德·比洛 , 凯特琳·卡塞尔 , 基尔蒂·乔达里 , 萨雷尔·科恩 , 托比亚斯·弗里德里希 , J.A.格雷戈·拉戈津斯基 , 马丁·辛尼克 , 西蒙·威瑟格 :
固定参数灵敏度甲骨文。 23:1-23:18 阿马蒂亚·尚卡·比斯瓦斯 , 爱德华·派恩 , 罗尼特·鲁宾菲尔德 :
本地访问随机漫游。 24:1-24:22 格雷格·博德温 , 迈克尔·迪尼茨 , 亚萨米·纳扎里 :
顶点容错仿真器。 25:1-25:22 安德烈·博格达诺夫 , 克里希那穆尔蒂·迪内什 , Yuval Filmus公司 , 尤瓦尔·伊斯海 , 阿维·卡普兰 , 阿克沙亚拉姆·斯里尼瓦桑 :
简单源的有界不可分辨性。 26:1-26:18 埃莱特·博伊尔 , 意大利第纳尔 , 尼夫·吉尔博亚 , 尤瓦尔·伊斯海 , 内森·凯勒 , 奥哈德·克莱因 :
与加密连接的移位的局部保留哈希。 27:1-27:24 兹维卡·布拉克斯基 , 维诺德·瓦昆塔坦 :
格启发广播加密和简洁密码策略ABE。 28:1-28:20 塞巴斯蒂安·布兰特 , 张义军 , 简·格雷比克 , 克里斯托夫·格鲁瑙 , 瓦克拉夫·罗忠 , 佐尔坦·维迪尼安斯基 :
从分布式算法、财务因素和描述性组合学的角度看树上的局部问题。 29:1-29:26 利伦·布朗夫曼 , 罗恩·罗斯布卢姆 :
来自加密镜头的PCP和实例压缩。 30:1-30:19 哈里·布尔曼 , 布鲁诺·洛夫 , Subhasree Pator公司 , 弗洛里安·斯佩尔曼 :
计算几何和其他问题的量子加速极限:通过量子行走的精细复杂性。 31:1-31:12 约翰尼斯外滩 , 克里斯托夫·伦岑 , Moti Medina公司 :
小型无危险传感器。 32:1-32:24 西尔维亚·卡萨库贝塔 , 拉斯穆斯·金 :
有限域中的快速稀疏矩阵反演和秩计算。 33:1-33:24 布鲁诺·帕斯夸洛托·卡瓦拉尔 , 镇江路 :
比较器电路收缩的算法和下限。 34:1-34:21 科伦·塞索尔 , 奥尔·菲舍尔 , 弗朗索瓦·勒加尔 , 迪安·莱特斯多夫 , 罗特姆·奥斯曼 :
用于检测团的量子分布式算法。 35:1-35:25 科伦·塞索尔 , 亚尼克·莫斯 , 沙哈·罗梅姆·贝利德 , 蒂格兰·托诺扬 :
分布式顶点覆盖重新配置。 36:1-36:23 阿米特·查克拉巴蒂 , 普拉塔·戈什 , 曼纽尔·斯托克 :
图形流的对抗稳健着色。 37:1-37:23 布伦莫·查普曼 , R.瑞恩·威廉姆斯 :
对称功能的小型ACC0电路。 38:1-38:19 阿尔卡德夫·查托帕迪耶 , 拉吉特·达塔 , Utsab Ghosal公司 , 穆霍帕迪亚 :
生成树多项式重访的单调复杂性。 39:1-39:21 Eshan Chattopadhyay公司 , 杰森·戈德曼 , 大卫·扎克曼 :
采样的空间复杂性。 40:1-40:23 巴斯卡尔·雷·乔杜里 , 朱加尔·加格 , 彼得·麦格劳林 , 鲁塔·梅塔 :
关于与Chores竞争均衡的存在性。 41:1-41:13 舒奇·肖拉 , 米娜·贾加迪桑 :
反比例广告拍卖中的个体公平。 42:1-42:21 薛晨 , 宽诚 , 辛莉(Xin Li) , 明慧欧阳 :
扩展器代码的改进解码。 43:1-43:3 陈一玲 , 阿隆·伊登 , 王俊涛 :
诅咒但满意的特工。 44:1-44:1 陈丽杰 , 水池平原 , Neekon Vafa公司 :
根据最坏情况细粒度假设得出的NP和PH的平均情况硬度。 45:1-45:16 司丹·陈 , 赵松 , 润州陶 , 张瑞哲 :
对称稀疏布尔矩阵分解及其应用。 46:1-46:25 奈慧嘉 , 周志宁 , 张嘉玉 , 张瑞哲 :
Quantum遇到了最小电路尺寸问题。 47:1-47:16 马蒂亚斯·克里斯坦德 , 奥马尔·法齐 , 黄塔 , 杰罗恩·祖伊达姆 :
组合退化的更大无角集。 48:1-48:20 乔戈斯·克里斯托杜鲁 , 瓦西里斯·加泽利斯 , 丹尼尔·斯科普林 :
最优确定性时钟拍卖及其他。 49:1-49:23 Roni Con公司 , 伊扎克塔莫 :
Reed-Solomon码的非线性修复方案。 50:1-50:1 莱昂纳多·纳加米·科雷利亚诺 , 费尔南多·格拉哈·杰罗尼莫 , 克里斯·琼斯 :
线性码的完整线性规划层次。 51:1-51:22 阿努杰·达瓦尔 , 格雷戈里·威尔塞纳赫 :
行列式对称电路的下限。 52:1-52:22 安妮迪亚·德 , 希瓦姆·纳丁帕利 , 洛科·A·塞韦迪奥 :
凸面影响。 53:1-53:21 阿比纳夫·德什潘德 , 阿列克谢·戈什科夫(Alexey V.Gorshkov) , 比尔·费弗曼 :
光谱间隙在估算地面状态能量中的重要性。 54:1-54:6 沙哈尔·多布津斯基 , 西加尔·奥伦 :
与道德投标人的机制设计。 55:1-55:17 是的,多迪斯 , 哈里什·卡提基扬(Harish Karthikeyan) , 丹尼尔·威克斯 :
小型盒加密。 56:1-56:25 尼科·德特林 , 维普尔·戈亚尔 , 朱利奥·马拉沃尔塔 , 贾斯汀·雷兹 :
用于安全计算的交互保留编译器。 57:1-57:18 沙丁·达格米 :
Matroid Secretary等同于争端解决。 58:1-58:23 库纳尔·杜塔 , 阿里吉特·戈什 , 谢·莫兰(Shay Moran) :
统一支架、容器和组合Macbeath区域。 59:1-59:10 法尔扎姆·易卜拉欣·内贾德 , 詹姆斯·R·李 :
一般度量空间上MTS的多尺度熵正则化。 60:1-60:21 法尔扎姆·易卜拉欣·内贾德 , 安什·纳格达 , 沙扬·奥维斯·加兰 :
正则展开非对称图中的计数与抽样完美匹配。 61:1-61:12 塔利亚·伊登 , Piotr Indyk公司 , 徐海科 :
A的嵌入和标记方案。 62:1-62:19 爱德华·艾本 , 罗伯特·加尼安 , 特克拉·哈姆 , 拉尔斯·贾夫克 , O-joung Kwon先生 :
描述和计算宽度度量的统一框架。 63:1-63:23 罗恩·埃尔丹 , 达娜·莫什科维茨 :
从非唯一博弈减少到布尔唯一博弈。 64:1-64:25 雷亚德·阿贝德·埃尔拉兹克 , 罗伯特·罗伯尔 , 阿萨夫·舒斯特 , 加尔·耶胡达 :
NP-完全问题的伪随机自约简。 65:1-65:12 梅利姆·埃萨迪 , 马修斯·V·X·费雷拉 , S.马修·温伯格 :
所有分配的可信、防策略、最优和有界预期循环单项目拍卖。 66:1-66:19 迈克尔·埃兹拉 , 罗恩·罗斯布卢姆 :
小电路意味着高效的Arthur-Merlin协议。 67:1-67:16 奥马尔·法齐 , 亚历山大·米勒-赫尔墨斯 , 阿拉·沙耶吉 :
容错量子计算的空间开销下限。 68:1-68:20 诺亚·弗莱明 , 米卡·哥尔斯 , 斯特凡·格罗瑟 , 罗伯特·罗伯尔 :
关于半代数证明和算法。 69:1-69:25 诺亚·弗莱明 , 托尼安·皮塔西 , 罗伯特·罗伯尔 :
非常深入的证据。 70:1-70:23 英格丽德·福斯利 , 尤瓦尔·伊斯海 , 维克托·科洛波夫 , 玛丽·伍特斯 :
同态秘密共享的下载速率。 71:1-71:22 彼得·弗兰克尔 , 斯维亚托斯拉夫·格里亚兹诺夫 , 纳维德·塔利班 :
VC-Dimension变量及其在深度3电路中的应用。 72:1-72:19 雨果·林孔·加莱纳 , 塞尔吉奥·拉兹鲍姆 , 乌尔里希·施密德 :
连续任务和异步可计算性定理。 73:1-73:27 卢卡·加纳萨利 , 劳伦特·马苏利 , 马克·勒拉格 :
植树图对齐中的树相关检测。 74:1-74:8 塞瓦格·加里比安 , 多里安·鲁道夫 :
关于NP或QMA Oracle的多项式多查询。 75:1-75:27 乌玛·吉里什 , 然·拉茨 :
使用伪随机生成器消除中间测量。 76:1-76:18 盖·戈德伯格 , 盖·罗斯布卢姆 :
基于样本的邻近性证明。 77:1-77:19 密码学基础 , 达娜·罗恩 :
测试巨大物体的分布。 78:1-78:19 帕里克希特·戈帕兰 , 亚当·托曼·卡莱 , 奥马尔·莱因戈尔德 , 梵蒂萨·沙兰 , 乌迪·维德 :
综合预测。 79:1-79:21 W.T.Gowers公司 , 伊曼纽尔·维奥拉 :
非准随机群中的混合。 80:1-80:9 维普尔·戈亚尔 , 贾斯汀·莱兹 , 普拉蒂克·索尼 :
使用区块链的时间旅行模拟器及其应用。 81:1-81:19 瓦伦·古普塔 , 克里斯托弗·荣格 , 乔治·诺亚罗夫 , Mallesh M.Pai先生 , 亚伦·罗斯 :
在线多效学习:方法、时刻和预测间隔。 82:1-82:24 穆罕默德·塔吉·哈加加伊 , 玛丽娜·奈特尔 , 哈米德·萨利赫 , 苏新浩 :
自适应大规模并行恒定圆树收缩。 83:1-83:23 水池平原 , 拉胡尔·桑塔纳姆 :
无差错与易出错的平均案例复杂性。 84:1-84:23 水池平原 , 拉胡尔·桑塔纳姆 :
不包括PH Pessiland。 85:1-85:25 莫伊塔巴·侯赛尼 , 维杰·V·瓦齐拉尼 :
基于纳什-巴金的匹配市场模型:单面和双面; Fisher和Arrow-Debreu。 86:1-86:20 加博尔·伊万约斯 , Tushant Mittal公司 , 乔有明 :
矩阵李代数的符号行列式恒等性检验和非交换秩。 87:1-87:21 费尔南多·格拉哈·杰罗尼莫 , Tushant Mittal公司 , 瑞安·奥唐纳 , 佩德罗·帕雷德斯 , 马杜尔·图西亚尼 :
显式阿贝尔提升和量子LDPC码。 88:1-88:21 克里斯·琼斯 , 亚伦·波提钦 :
内积多项式的阿尔莫斯正交基。 89:1-89:21 伊登·卡莱马吉 , 索菲亚·拉斯霍德尼科娃 , 尼廷·瓦尔马 :
在线擦除情况下的子线性时间计算。 90:1-90:25 迈克尔·卡普拉洛夫 , 阿穆利亚·穆西帕特拉 , 贾卡布·塔尔多斯 , 大卫·P·伍德拉夫 , 萨姆森·周 :
与应用程序的噪声布尔隐藏匹配。 91:1-91:19 吉利·卡尼 , 盖·罗斯布卢姆 , 加尔·尤纳 :
论双向配对的公平性和稳定性。 92:1-92:17 桑杰夫·坎纳 , 克里斯蒂安·康拉德 :
图流中支配集的最优界。 93:1-93:23 彼得·基斯 :
最坏情况更新时间中的确定性动态匹配。 94:1-94:21 孔玉庆(Yuqing Kong) :
具有有限任务数的更加真实的多任务对等预测。 95:1-95:20 洪乐 , 拉扎尔·米伦科维奇 , 谢·所罗门 , 弗吉尼亚·瓦西列夫斯卡·威廉姆斯 :
顶点更新下的动态匹配算法。 96:1-96:24 弗朗索瓦·勒加尔 , 赛义德·塞迪金 :
量子满足细粒度复杂性:弦问题的次线性时间量子算法。 97:1-97:23 贾斯珀·C·H·李 , 保罗·瓦利安特 :
超高维最优次高斯平均估计。 98:1-98:21 亚历山大·林德迈尔 , 妮可·梅高 , 贝特朗·西蒙 :
机器学习建议的双重覆盖。 99:1-99:18 刘嘉惠 , 刘奇鹏 , 罗文倩 :
打破传统的位置验证不可能。 100:1-100:11 杨P.Liu , 阿什温·萨赫 , 梅塔布·萨维尼 :
高斯不动点随机游动。 101:1-101:10 亚历克斯·隆巴迪 , 维诺德·瓦昆塔坦 :
通过Shift-Hiding实现相关不可忽略哈希函数。 102:1-102:16 迪米特里奥斯·洛斯 , 托马斯·索尔瓦尔德 :
信息不完全的均衡分配:两个查询的力量。 103:1-103:23 沙查尔·洛维特 , 拉胡·梅卡 , 伊恩·默茨 , 托尼安·皮塔西 , 张嘉鹏 :
用向日葵举起。 104:1-104:24 毛杰明 , Renato Paes柠檬 , 王康宁 :
双边贸易中的互动交流。 105:1-105:21 Arya Mazumdar公司 , Soumyabrata Pal公司 :
支持Universal One-Bit Compressed Sensing中的恢复。 106:1-106:20 波阿斯·梅纽因 , 莫尼·纳尔 :
记住那张卡片:记忆有限的卡片猜测。 107:1-107:28 哈里哈兰·纳拉亚南 , 里卡夫·沙阿 , 尼基尔·斯利瓦斯塔瓦 :
多面体直径的光谱方法。 108:1-108:22 萨姆·奥列斯科·泰勒 , 卢卡·萨内蒂 :
最快混合马尔可夫链上的几何界。 109:1-109:1 希尔·佩莱 , 本·李·沃尔克 , 阿米尔·什皮尔卡 :
稳定器等级下限。 110:1-110:4 穆罕默德·罗哈尼 , 阿明·萨贝里 , 大卫·瓦伊奇 :
击败民俗算法进行动态匹配。 111:1-111:23 格雷戈里·罗森塔尔 , 袁子春 :
用于合成量子态和幺正的交互式证明。 112:1-112:4 阿维亚德·鲁宾斯坦 , 赵俊耀 :
子模块最大化的预算平滑分析。 113:1-113:23 齐夫·斯库利 , 艾萨克·格罗夫 , 迈克尔·米赞马赫 :
作业规模估计调度的统一界限。 114:1-114:30 马苏德·塞迪金 , 赛义德·塞迪金 :
真正次二次时间内树编辑距离的3+ε近似。 115:1-115:22 罗恩·沙蒂尔 , 伊曼纽尔中提琴 :
关于“极端高端”PRG和快速去随机所需的硬度假设。 116:1-116:17 诺亚·沙蒂 , 玛丽·伍特斯 :
Reed-Solomon编码数据线性函数的低带宽恢复。 117:1-117:19 高拉夫·辛哈 :
用顶部扇入二实现深度三运算电路的高效重构。 118:1-118:33 迪特尔·范·梅尔凯贝克 , 安德鲁·摩根 :
通过有理函数求值进行多项式身份测试。 119:1-119:24 王维娜(Weina Wang) , 阿努帕姆·古普塔 , 贾拉尼·威廉姆斯 :
探索最小化。 120:1-120:23