2018年第35届STACS:法国卡昂
罗尔夫·尼德迈尔 , 布里吉特·瓦莱 :
第35届计算机科学理论方面研讨会,2018年2月28日至3月3日,法国卡昂,STACS 2018。 LIPIcs公司 96, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2018 ,国际标准图书编号 978-3-95977-062-0 -
前言、目录、前言、会议组织。 0:i-0:xvi 布鲁诺·萨维 :
递归组合结构:枚举、概率分析和随机生成。 1:1-1:5 米娜·马哈扬 :
QBF证明系统的下限技术。 2:1-2:8 达米恩·普斯 :
关于传递闭包关系的正演算。 3:1-3:16 格哈德·沃金格(Gerhard J.Woeginger) :
开放式车间调度问题。 4:1-4:12 安娜·阿达马斯泽克 , 安东尼奥斯·安东尼亚迪斯 , 阿米特·库玛尔 , 托比亚斯·莫凯 :
接近机场和铁路。 5:1-5:13 伊索尔德·阿德勒 , 弗雷德里克·哈瓦特 :
有界学位数据库的属性测试。 6:1-6:14 阿坎沙·阿格拉瓦尔 , 丹尼尔·洛克斯塔诺夫 , 普拉纳本德·米斯拉 , Saket Saurabh公司 , 梅拉夫·泽哈维 :
区间图的障碍的Erdös-Pósa性质。 7:1-7:15 安德里斯·安巴尼斯 , 马丁斯·科凯尼斯 , 克里斯贾尼斯·普鲁西斯 , Jevgenijs维罗夫斯 :
所有经典对抗方法对总函数都是等价的。 8:1-8:14 马克斯·班纳赫 , 直到Tantau :
通过AC^0-电路计算命中集内核。 9:1-9:14 雷米·贝尔蒙特 , 迈克尔·兰皮斯 , 瓦利亚·米特苏 :
参数化(近似)缺陷着色。 10:1-10:15 克里斯托夫·贝尔霍尔茨 :
多项式微积分、Sherali-Adams和平方和证明之间的关系。 11:1-11:14 奥拉夫·贝耶斯多夫 , 约书亚·布林霍恩 :
QBF扩展的真实下限。 12:1-12:15 戴维德·比洛 , 基尔蒂·乔达里 , 卢西亚诺·瓜拉 , 斯特凡诺·莱奇 , Merav Parter公司 , 吉多·普罗埃蒂 :
替换路径的高效Oracle和路由方案。 13:1-13:15 戴维德·比洛 , 帕斯卡·伦兹纳 :
网络创作游戏的树猜想。 14:1-14:15 劳伦特·宾文努(Laurent Bienvenu) , 罗德尼·G·唐尼 :
低速甲骨文。 15:1-15:13 迈克尔·布隆丁 , 哈维尔·埃斯帕尔扎 , 斯特凡·贾克斯 :
大群小鸟:关于最小种群规模的协议。 16:1-16:14 Benedikt Bollig公司 , 玛丽·福廷 , 保罗·加斯廷 :
通信有限状态机和双变量逻辑。 17:1-17:14 马可·布莱桑 , 伊诺克·佩塞里科 , 卢卡·普雷托 :
时间可逆马尔可夫链平稳分布的逼近。 18:1-18:14 氯离子碳纳米管 , 大卫·A·科恩 , 马丁·库珀 , 斯坦尼斯拉夫·齐夫尼 :
由单调模式定义的CSP的单点弧一致性。 19:1-19:15 Bernadette Charron-Bost公司 , 什洛莫·莫兰 :
重新审视射击队问题。 20:1-20:14 苏里亚吉思·齐拉拉 , 努坦·利马耶 , 斯里坎斯·斯里尼瓦桑 :
迭代矩阵乘法的小深度多重线性公式下限及其应用。 21:1-21:15 拉斐尔·克利福德 , 阿伦·格伦伦德 , 卡斯珀·格林-拉森 , 塔蒂亚娜·斯塔里科夫斯卡娅 :
字符串上动态数据结构的上下限。 22:1-22:14 德巴拉蒂·达斯 , 米查尔·库克(Michal Kouck) , 迈克尔·E·萨克斯 :
布尔矩阵乘法组合算法的下限。 23:1-23:14 埃里克·D·德曼 , 莎拉·艾森斯塔特 , 米哈伊尔·鲁多伊 :
最优解魔方是NP完成的。 24:1-24:13 戈卡普·德米尔西 , 亨利·霍夫曼 , 大卫·香港·金 :
具有资源和优先级约束的调度近似算法。 25:1-25:14 帕维尔·德沃拉克 , 安德烈亚斯·埃米尔·费尔德曼 , 杜珊·诺普 , 托马斯·马萨里克 , 托马斯·图法尔 , 帕维尔·维塞尔(Pavel Vesel) :
具有少量Steiner顶点的Steiner树的参数化逼近方案。 26:1-26:15 拉兹洛·埃格里 , 达尼尔·马克思 , 巴维尔·扎泽夫斯基 :
从有界树宽图到自反图的发现列表同态:一个完整的复杂性表征。 27:1-27:15 爱德华·艾本 , 罗伯特·加尼安 , 塞巴斯蒂安·奥德尼亚克 :
使用依赖树宽度的QBF的小分辨率证明。 28:1-28:15 爱德华·艾本 , 米蒂列什·库马尔 , 阿默尔·穆阿瓦德 , 法哈德·帕诺兰 , 塞巴斯蒂安·西贝茨 :
稀疏图上连通支配集的损失核。 29:1-29:15 卢卡斯·弗莱舍 , 曼弗雷德·库夫莱特纳 :
有限单调的交集问题。 30:1-30:14 摩西·加纳迪 , 丹尼·哈克 , 丹尼尔·科尼格 , 马库斯·洛伊 , 康斯坦蒂诺斯·马穆拉斯 :
滑动窗自动机理论。 31:1-31:14 摩西·加纳迪 , 丹尼尔·科尼格 , 马库斯·洛伊 , 乔治·泽采 :
花环产品的背包问题。 32:1-32:13 罗伯特·加尼安 , 费比安·克劳特 , 塞巴斯蒂安·奥德尼亚克 :
有界顶点删除问题的结构参数化。 33:1-33:14 帕特里克·加迪 , 帕特里夏·鲍耶 , 尼古拉斯·马基 :
战略逻辑中的依赖性。 34:1-34:15 谢尔盖·加斯佩斯 , 黄慎伟(Shenwei Huang) , 丹尼尔·保卢斯马 :
无长诱导路的无平方图的着色。 35:1-35:15 芭芭拉·盖斯曼 , 斯特凡诺·莱奇 , Chih-Hung Liu先生 , 保罗·佩纳 :
次二次时间内具有持续误差的最优错位。 36:1-36:13 乔治·贾库普斯 , 菲利普·沃尔费尔 :
具有并发插入的随机二叉搜索树的改进边界。 37:1-37:13 加里斯·古德尔 , 托马斯·科祖马卡 , 雅库布·拉多舍夫斯基 , 沃伊切赫·莱特 , 阿塞尼·M·舒尔 , 托马斯·瓦伦 :
订单预留模型中的字符串周期。 38:1-38:16 Hiroshi Hirai先生 , 岩正裕尼 , 卡佐·穆罗塔 , 斯坦尼斯拉夫·齐夫尼 :
超越JWP:通过M-凸交集的一类可牵引的二进制VCSP。 39:1-39:14 约翰·希区柯克 , 哈迪沙菲 :
非均匀约化和NP-完全性。 40:1-40:13 岩田洋一 , 小泽知木 , 大坂直人 :
关于全多项式FPT算法的树深度的幂。 41:1-41:14 拉尔斯·贾夫克 , O-joung Kwon先生 , 简·阿恩·特尔 :
有界Mim-Width图上反馈顶点集的统一多项式时间算法。 42:1-42:14 斯文·贾格尔 , 马丁·斯科特拉 :
推广Kawaguchi-Kyan界到随机并行机调度。 43:1-43:14 Masashi Kiyomi先生 , 小野博孝 , 尤塔·奥塔奇 , 帕斯卡·施韦策 , Jun Tarui先生 :
最长增加子序列的空间效率算法。 44:1-44:15 克里斯·科彻 :
部分损失队列单体中的有理集、可识别集和非周期集。 45:1-45:14 德米特里·科索洛波夫 :
贪婪和比特优化LZ77编码之间的关系。 46:1-46:14 丹尼斯·库珀伯格 , 阿尼尔班·马朱姆达尔 :
非确定自动机的宽度。 47:1-47:14 迈克尔·卢滕伯格 , 拉斐拉·帕伦塔 , 赫尔穆特·塞德尔 :
计算多项式时间内无上下文语言的最长公共前缀。 48:1-48:13 贝诺·拉罗泽 , 巴纳比·马丁 , 丹尼尔·保卢斯马 :
反身有向图上的surpjective H-Coloring。 49:1-49:14 菲利普·马佐维耶基 , 克里斯蒂安·里弗罗斯 :
加权自动机的抽运引理。 50:1-50:14 安德烈·尼斯 , 弗兰克·斯蒂芬 :
多项式时间排列下基于资源的随机性概念的闭包。 51:1-51:10 小野原Taku Onodera , 涉谷铁雄 :
简洁的遗忘RAM。 52:1-52:16 帕维尔·帕里斯 :
递归方案和WMSO+U逻辑。 53:1-53:16 阿尤什·拉贾塞卡兰 , 杰弗里·O·沙利特 , 施敏夫 :
回文和:通过自动机的方法。 54:1-54:12 汉斯·乌里希·西蒙 :
关于线性集的包含问题。 55:1-55:12 马雷克·西库拉 :
改进最短重置字长度的上限。 56:1-56:13 高桥雅弘 , 谷井一郎 :
浅量子电路中未初始化量子比特的功率。 57:1-57:13 罗伊·泰尔 :
密度估计的黑盒约简下限。 58:1-58:13