第37届STACS 2020：法国蒙彼利埃
克里斯托夫·保罗 
, 马库斯·巴泽尔 :
第37届计算机科学理论方面国际研讨会，STACS 2020，2020年3月10日至13日，法国蒙彼利埃。 LIPIcs公司 154, 达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik） 2020 ，国际标准图书编号 978-3-95977-140-5 前言、目录、前言、会议组织。 0:1-0:12 达娜·兰德尔 :
统计物理与算法（受邀演讲）。 1:1-1:6 马丁·格罗 :
Weisfeiler和Leman从图同构到神经网络的不太可能之旅（受邀演讲）。 2:1-2:1 奥利维尔·伯内斯 :
可计算性、复杂性和常微分方程编程（受邀演讲）。 3:1-3:13 马丁·库珀 , 西蒙·德·吉夫里 , 托马斯·希克斯 :
图形模型：查询、复杂性、算法（教程）。 4:1-4:22 马滕·马克 , 克劳斯·詹森 :
具有时间间隔和资源限制的调度的不近似结果。 5:1-5:18 简·菲利普·瓦赫特 , Armin Weiß :
带有PSPACE完整单词问题的自动组。 6:1-6:17 威姆·马滕斯 , 马蒂亚斯·尼沃斯 , 蒂娜·特劳特纳 :
常规轨迹查询的三分法。 7:1-7:16 安东尼·卡拉德 , 马修·霍洛普 :
非光滑空间上的描述性复杂性。 8:1-8:16 Titus剂量 , 克里斯蒂安·格拉（Christian Glaßer） :
NP-完整性、证明系统和不相交NP-对。 9:1-9:18 菲利普·比尔 , 英格·李·高兹 , 特蕾莎·安娜·斯坦纳 :
使用压缩模式的字符串索引。 10:1-10:13 小林由介（Yusuke Kobayashi） :
最小可加扳手问题的FPT算法。 11:1-11:16 苏珊娜·阿尔伯斯 , 马克西米利安·扬克 :
付费交换模型中随机列表更新的新边界。 12:1-12:17 丹·伯格伦 , 爱德华·艾本 , 罗伯特·加尼安 , 伊亚德·坎吉 :
关于用单位间隔覆盖线段。 13:1-13:17 贾科·卡里 , 艾蒂安·穆托特 :
低复杂度瓷砖的可决定性和周期性。 14:1-14:12 曼纽尔·拉丰德 , 滨海朱 , 邹鹏 :
串联复制距离为NP-Hard。 15:1-15:15 Pawel Gawrychowski先生 , 马丁·兰格 , 纳拉德·拉姆佩萨德 , 杰弗里·沙利特 , 马雷克·西库拉 :
存在长度普遍性。 16:1-16:14 沃尔特·侯赛克 , 阿弥陀佛·特雷汉 :
洪水终止。 17:1-17:13 巴特洛米耶·杜德克 , Pawel Gawrychowski先生 , 塔蒂亚娜·斯塔里科夫斯卡娅 :
重新审视广义模式匹配。 18:1-18:18 格雷戈里·古汀 , Diptapriyo Majumdar公司 , 塞巴斯蒂安·奥德尼亚克 , 马格努斯·瓦尔斯特伦 :
参数化预着色扩展和列表着色问题。 19:1-19:18 塞瓦格·加里比安 , 斯蒂芬·皮多克 , 贾斯汀·伊尔卡 :
Oracle复杂度类和物理哈密顿量的局部度量。 20:1-20:37 马吕斯·齐曼德 :
来自相关数据的密钥协议，无事先信息。 21:1-21:12 米查尔·甘克索尔（Michal Ganczorz） :
使用统计编码实现前所未有的树简洁性。 22:1-22:29 岩井大辅 , 弗朗索瓦·勒加尔 , 弗雷德里克·马格尼兹（Frédéric Magniez） :
CONGEST模型中三角形搜索的量子分布式算法。 23:1-23:13 纳塔娜·菲亚尔科夫 , 纪尧姆·拉加德 , 皮埃尔·奥曼 , 奥利维尔·塞雷 :
通过Hankel矩阵计算电路的下限。 24:1-24:17 托马斯·巴西乌斯 , 菲利普·菲施贝克 , 托比亚斯·弗里德里希 , 马克西米利安·卡兹曼 :
双曲型随机图上多项式时间的顶点覆盖问题的求解。 25:1-25:14 纳塔莉·奥布伦 , 朱利安·埃斯奈 , 马修·萨布利克 :
水平约束下的Domino问题。 26:1-26:15 乔治·B·默齐奥斯 , 亨德里克·莫特尔 , 罗尔夫·尼德迈尔 , 维克托·扎马拉耶夫 , 菲利普·佐什 :
计算时间图中的最大匹配。 27:1-27:14 布里尤克·吉尼亚 , 阿莫斯·科尔曼 :
具有非均匀步长的随机行走覆盖时间的紧界。 28:1-28:14 法尔科·赫格菲尔德 , 斯特凡·克拉奇 :
在单指数时间和多项式空间中求解树参数化的连通性问题。 29:1-29:16 Mitsuru Funakoshi公司 , 朱利安·帕佩·朗格 :
三元非矩形卷积和（子）韵律。 30:1-30:16 埃杜亚德发动机盖 , 塞尔吉奥·卡贝洛 , 沃尔夫冈·穆尔泽 :
几何相交图中的最大匹配。 31:1-31:17 托马斯·科尔科姆贝特 , 西尔万·伦巴第 :
热带树自动机的明确分隔符。 32:1-32:13 米尔马赫迪·拉戈沙伊 , 穆罕默德·萨拉瓦蒂普尔 :
防火围堵资源最小化的渐近拟多项式时间近似方案。 33:1-33:14 张义军 , 马丁·法拉赫-科尔顿 , 徐赞生 , 蔡梦成 :
生成树计算的流复杂性。 34:1-34:19 马特·博纳米 , 马克·海因里希 , 伊藤武弘 , 小林育助 , Haruka Mizuta公司 , 莫里茨·穆伦塔勒 , 铃木章 , Kunihiro Wasa公司 :
Kempe变化下颜色的最短重构。 35:1-35:14 Eva-Maria C.Hols公司 , 斯特凡·克拉奇 , 阿斯特里德·彼得斯 :
顶点覆盖的消除距离、块集和核。 36:1-36:14 S.阿克西 , 尼希尔·巴拉吉 , 阿尼基特·穆赫卡尔（Aniket Murhekar） , 罗希斯·瓦尔马 , 尼基尔·维亚斯 :
Skolem问题片段的近似最优复杂度界。 37:1-37:18 斯特凡·克拉奇 , 弗洛里安·奈尔斯 :
计算所有路径最短路径的有效参数化算法。 38:1-38:15 米查尔·罗纳 :
有界严格宽度齐次图的一阶扩张的关系宽度。 39:1-39:16 迈克尔·布隆丁 , 哈维尔·埃斯帕尔扎 , 布莱斯·基内斯特 , 马丁·海尔弗里奇 , 斯特凡·贾克斯 :
Presburger算法的简洁种群协议。 40:1-40:15 Lech Duraj公司 :
最长公共递增子序列问题的一种次二次算法。 41:1-41:18 安德烈斯·克里斯蒂 , 马修·马里 , 安德烈亚斯·维泽 :
不可分裂流覆盖的固定参数算法。 42:1-42:17 弗兰克·福尔布吕克 , 约翰内斯·科布勒 , 奥列格·维尔比茨基 :
Weisfeiler-Leman算法对小颜色类图的可识别性。 43:1-43:18 安德烈斯·克里斯蒂 , 安德烈亚斯·维泽 :
资源增强下的一般缓存和UFP覆盖的更好近似值。 44:1-44:14 斯里尼瓦桑·阿鲁纳查拉姆 , Sourav Chakraborty公司 , 米查尔·库克（Michal Kouck） , 尼丁·索拉布 , 罗纳德·沃尔夫 :
改进了傅里叶熵和最小熵的界限。 45:1-45:19 布鲁诺·鲍文斯 :
重新审视信息距离。 46:1-46:14 苏里亚吉思·齐拉拉 :
用多重r深度四回路计算多重线性多项式。 47:1-47:16 迪特马尔·伯旺格 , 劳伦特·多恩 :
观察和区分。 在无限游戏中表示信息。 48:1-48:17 朱利安·德·科斯塔 , 恩格尔·勒福丘 , 乔尔·瓦克宁 , 詹姆斯·沃雷尔 :
你能以多快的速度逃离紧凑型多功能厅？ 49:1-49:11 西德汉斯·莫汉蒂 , 瑞安·奥唐纳 , 佩德罗·帕雷德斯 :
随机双特征值CSP的SDP值。 50:1-50:45 黄翔（音） , 杰克·H·卢茨 , 埃尔维拉·马约多莫 , 唐纳德·斯图尔 :
渐近分歧和强二分法。 51:1-51:15 S.M.Dhannya公司 , N.S.纳拉亚纳斯瓦米 :
区间超图无冲突着色的完美分解。 52:1-52:16 莫妮卡·亨津格 , 潘鹏 :
恒定时间动态（Δ+1）-着色。 53:1-53:18 马塞洛竞技场 , 胡安·雷乌特 , 艾蒂安·图桑 , 马丁·乌加特 , 弗朗西斯科·何塞·维亚尔·普拉多 , Domagoj Vrgoc公司 :
具有经济折扣和减少奖励的加密货币挖掘游戏。 54:1-54:16 安德烈·尼斯 , 弗兰克·斯蒂芬 :
概率测度的随机性和初始段复杂性。 55:1-55:14 雅库布·加亚尔斯克 , 斯蒂芬·克鲁泽 :
计算灌木深度分解。 56:1-56:17 汉斯·博德兰德 , 拉尔斯·贾夫克 , 简·阿恩·特尔 :
重温典型序列——计算图的宽度参数。 57:1-57:16 皮埃尔·阿布尔克 , 爱德华·博内特 , 金永中（Eun Jung Kim） , 弗洛里安·西科拉 :
Grundy Coloring&Friends，半图形，自行车。 58:1-58:18 尼基尔·维亚斯 , R.瑞恩·威廉姆斯 :
ACC电路稀疏对称函数的下限：扩展#SAT算法的范围。 59:1-59:17 雅各布·托兰 , 弗洛里安·沃兹 :
可逆卵石博弈及树型空间与一般分辨率空间的关系。 60:1-60:18
