2018年第9届ITCS：美国马萨诸塞州剑桥
安娜·R·卡林 :
第九届理论计算机科学创新大会，ITCS 2018，2018年1月11日至14日，美国马萨诸塞州剑桥市。 LIPIcs公司 94, 达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik） 2018 ，国际标准图书编号 978-3-95977-060-6 前言、目录、前言、会议组织。 0:i-0:xii 克里姆·埃弗雷门科 
, 安基特加尔格 , 拉斐尔·门德斯·德奥利维拉 , 阿维·威格德森 :
算术复杂性中秩方法的障碍。 1:1-1:19 金一彩 , 致国富 , 库尔特·吉尔斯特梅尔 , 迈克尔·科瓦尔奇克 :
基于数论的k-正则非对称自旋系统的复杂性三分法。 2:1-2:22 斯里尼瓦桑·阿鲁纳查拉姆 , 乔普·布里特 , 卡洛斯·帕拉祖洛斯 :
量子查询算法是完全有界形式。 3:1-3:21 比尔·费弗曼 , Cedric Yen-Yu Lin先生 :
酉量子空间的一个完整表征。 4:1-4:21 玛丽亚·福丽娜·巴尔坎 , 梁英玉 , 大卫·P·伍德拉夫 , 张洪扬 :
通过强对偶性完成矩阵及相关问题。 5:1-5:22 迈克尔·本·奥尔 , 利奥·埃尔达尔 :
矩阵谱分析的准随机方法。 6:1-6:22 阿迪蒂亚·巴斯卡拉 , 西尔维奥·拉坦齐 :
非负稀疏回归和L1误差的列子集选择。 7:1-7:15 卡梅隆·马斯科 , 普拉尼斯·内特拉帕利 , 亚伦·西德福德 , 沙珊卡·乌巴鲁 , 大卫·P·伍德拉夫 :
超越快速矩阵乘法的频谱近似：算法和硬度。 8:1-8:21 奥拉夫·拜尔斯多夫 , 约书亚·布林霍恩 , 卢克·辛德 :
大小、成本和容量：一种用于硬随机QBF的语义技术。 9:1-9:18 保罗·比姆 , 诺亚·弗莱明 , 罗素·英帕利亚佐 , 安东尼娜·科洛科洛娃 , 丹尼斯·潘克拉托夫 , 托尼安·皮塔西 , 罗伯特·罗伯尔 :
扶正平面。 10:1-10:20 马克·布拉弗曼 , 阿纳特·加诺 , 吉拉特·科尔 , 然·拉茨 :
信息和通信强烈分离的候选人。 11:1-11:13 马克·布拉弗曼 , 年轻的Kun-Ko :
双证明游戏的信息价值。 12:1-12:15 孔玉庆（Yuqing Kong） , 格兰特·斯科内贝克 :
基于信息单调性的无验证信息诱导中的均衡选择。 13:1-13:20 孔玉庆（Yuqing Kong） , 格兰特·斯科内贝克 :
预测市场中贝叶斯信息揭示策略的优化：Alice Bob Alice案例。 14:1-14:20 拉斐尔·弗伦吉洛 , 博·瓦格纳 :
评分规则市场的公理化研究。 15:1-15:20 Avrim Blum公司 , 伊莎·曼苏尔 :
价格与质量。 16:1-16:12 沙菲·戈德瓦塞尔 , 奥弗·格罗斯曼 , 迪拉杰·霍尔登 :
伪确定性证明。 17:1-17:18 密码学基础 , 盖·罗斯布卢姆 :
局部可刻画集的简单双效交互式证明系统。 18:1-18:19 伊泰·伯曼 , 罗恩·罗斯布卢姆 , 维诺德·瓦昆塔坦 :
零知识接近证明。 19:1-19:20 埃里克·艾伦德 , 约书亚·A·格罗丘 , 迪特尔·范·梅尔凯贝克 , 克里斯托弗·摩尔 , 安德鲁·摩根 :
最小电路尺寸，图同构及相关问题。 20:1-20:20 埃莱特·博伊尔 , 尼夫·吉尔博亚 , 尤瓦尔·伊斯海 , 林慧嘉 , 斯特凡诺·特萨罗 :
同态秘密共享的基础。 21:1-21:21 里纳·帕尼格拉希 , 阿里·拉希米 , 苏珊·萨奇德娃 , 张秋怡 :
基于电动力学的神经网络收敛结果。 22:1-22:19 杰琳娜·迪亚科尼科拉斯 , 洛伦佐·奥雷奇亚 :
加速超梯度下降：一种新的加速一阶方法。 23:1-23:19 彼得·布尔吉塞 , 安基特加尔格 , 拉斐尔·门德斯·德奥利维拉 , 迈克尔·沃尔特 , 阿维·威格德森 :
交替最小化、缩放算法和不变量理论中的零核问题。 24:1-24:20 乔什·阿尔曼 , 弗吉尼亚·瓦西列夫斯卡·威廉姆斯 :
矩阵乘法已知方法的进一步限制。 25:1-25:15 斯里坎斯·斯里尼瓦桑 , 迈度·苏丹 :
网格上多项式的局部解码和测试。 26:1-26:14 汤姆·古尔 , 戈文德·拉姆纳拉扬 , 罗恩·罗斯布卢姆 :
松弛的局部可纠正代码。 27:1-27:11 达娜·莫什科维茨 , 米查尔·莫什科维茨 :
空间有界学习的熵采样器和强泛型下限。 28:1-28:20 Pooya Hatami先生 , 阿维沙伊·塔尔 :
低灵敏度函数的伪随机发生器。 29:1-29:13 克里斯托夫·杜尔 , 托马斯·埃尔勒巴赫 , 妮可·梅高 , 朱莉·梅纳 :
具有可探索不确定性的调度。 30:1-30:14 马丁·格罗 , 阿努帕姆·古普塔 , 阿米特·库玛尔 , 扬尼克·马图什克 , 丹尼尔·施密特 , 梅兰妮·施密特 , 何塞·凡尔赛 :
斯坦纳森林的一种局部搜索算法。 31:1-31:17 丹尼尔·洛克斯塔诺夫 , 普拉纳本德·米斯拉 , 法哈德·帕诺兰 , Saket Saurabh公司 , 梅拉夫·泽哈维 :
横截拟阵的拟多项式表示及其在参数化复杂度中的应用。 32:1-32:13 乔恩·克莱恩伯格 , 曼尼什·拉加万 :
存在隐性偏见的选择问题。 33:1-33:17 埃里克·D·德曼 , 安德烈亚·林肯 , 刘全泉 , 杰森·林奇 , 弗吉尼亚·瓦西列夫斯卡·威廉姆斯 :
通过减少细粒度I/O复杂性：新的下限、更快的算法和时间层次结构。 34:1-34:23 阿米尔·阿布德 , 阿维亚德·鲁宾斯坦 :
LCS的快速确定性常数因子近似算法意味着新的电路下限。 35:1-35:14 Irit恐龙 , 帕辛·马努朗西 :
近似2-CSP和定向Steiner网络的ETH-难度。 36:1-36:20 保罗·W·戈德堡 , 克里斯托斯·帕帕迪米特里奥 :
走向全函数的统一复杂性理论。 37:1-37:20 保罗·比姆 , 萨里尔·哈普莱德 , Sivaramakrishnan Natarajan Ramamoorthy西瓦拉玛克里希南 , 赛勒斯·拉什奇安 , 马克兰·辛哈 :
独立集预言器的边缘估计。 38:1-38:21 阿维亚德·鲁宾斯坦 , 泽利尔·施拉姆 , S.马修·温伯格 :
在不知道图形的情况下计算精确最小割集。 39:1-39:16 尼尔·艾隆 , 阿努普·巴塔查里亚 , 拉杰什·贾斯瓦尔 , 阿米特·库玛尔 :
使用相同集群查询的近似集群。 40:1-40:21 维达特·列维·阿列夫 , 尼玛·阿纳里 , Lap Chi Lau先生 , 沙扬·奥维斯·加兰 :
使用有效阻力图聚类。 41:1-41:16 卡提基安·钱德拉塞卡兰（Karthekeyan Chandrasekaran） , 丹尼尔·达杜什 , 文卡塔·甘迪科塔 , 埃琳娜·格里戈雷斯库 :
基于格的局部敏感哈希是最优的。 42:1-42:18 维克托·巴尔塞 , 萨利·P·瓦丹 :
有限计算机上的差异隐私。 43:1-43:21 维希什·卡瓦 , 萨利·P·瓦丹 :
有限样本差异私有置信区间。 44:1-44:9 雅各布·斯坦哈特 , 摩西·查里卡尔 , 格雷戈里·瓦利安 :
适应力：存在任意离群者时的学习标准。 45:1-45:21 黄庆庆 , 沙姆·M·卡卡德 , 孔伟浩 , 格雷戈里·瓦利安 :
恢复结构化概率矩阵。 46:1-46:14 乔明达 , 格雷戈里·瓦利安 :
从不受信任的批中学习离散分布。 47:1-47:20 伊莎·曼苏尔 , Aleksandrs Slivkins公司 , 吴志伟（Steven Wu） :
竞争强盗：在竞争中学习。 48:1-48:27 卢卡斯·博茨科夫斯基 , 奥弗·费内尔曼 , 阿莫斯·科尔曼 , 伊曼纽尔·纳塔莱 :
谣言在随机人群中传播的极限。 49:1-49:21 科伦·塞索尔 , 兰·盖尔斯 , 伯恩哈德·海普勒 :
使异步分布式计算对信道噪声鲁棒。 50:1-50:20 亚伦·伯恩斯坦 , 卡尔·杜贝尔 , Yann异议 , 马克斯·科利姆 , 托尔斯滕·穆策 , 弗里德·斯莫尼 :
距离保留图形收缩。 51:1-51:14 谢·所罗门 :
稀疏图中有界度稀疏器的局部算法。 52:1-52:19 亚历山德罗·基耶萨 , 汤姆·古尔 :
分布测试的邻近性证明。 53:1-53:14 利奥·吉什博利纳 , 阿萨夫·夏皮拉 :
没有有效规则的有效测试。 54:1-54:14 Pravesh K.Kothari公司 , 罗伊·利夫尼 :
通过反驳进行不当学习。 55:1-55:10 格雷格·杨 :
函数的同调理论：非一致布尔复杂度分离和通过代数拓扑限制VC维数，以及同调Farkas引理。 56:1-56:16 罗伯特·莱根斯坦 , 沃尔夫冈·马斯 , 克里斯托斯·帕帕迪米特里奥 , 桑托什S.万帕拉 :
长期记忆和最稠密的K-子图问题。 57:1-57:15 伯纳德·夏泽尔 :
走向马尔可夫影响系统理论及其重整化。 58:1-58:18 乔治·皮里奥拉斯 , 伦纳德·J·舒尔曼 :
学习动力学和竞争性物种的共同进化。 59:1-59:3
