2019年第44届MFCS:德国亚琛
彼得·罗斯马尼思 , 皮纳尔·赫格内斯 , Joost-Pieter Katoen公司 :
第44届计算机科学数学基础国际研讨会,2019年8月26日至30日,德国亚琛,MFCS 2019。 LIPIcs公司 138, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2019 ,国际标准图书编号 978-3-95977-117-7 前言、目录、前言、会议组织。 0:1-0:16 穆罕默德·阿卜杜勒阿齐兹 , 库尔特·梅尔霍恩 , 托比亚斯·尼普科 :
值得信赖的图形算法(邀请谈话)。 1:1-1:22 亚历山德拉·席尔瓦 :
带测试的Guarded Kleene代数:近线性时间内未解释程序的验证(受邀演讲)。 2:1-2:1 丹尼尔·洛克斯塔诺夫 :
选择随机顶点(邀请谈话)。 3:1-3:1 Telikepalli Kavitha公司 :
热门配对:好的、坏的和混合的(邀请谈话)。 4:1-4:1 杰罗姆·勒鲁 :
Petri网可达性问题(邀请谈话)。 5:1-5:3 马金·比恩科夫斯基 , 刘祥和 :
一种改进的在线算法,用于求解线路上的旅行维修人员问题。 6:1-6:12 马格努斯·M·哈尔德森 , 穆里洛·桑托斯·德利马 :
查询-不确定竞争排序。 7:1-7:15 马金·比恩科夫斯基(Marcin Bienkowski) , 雅罗斯瓦夫·拜尔卡 , 马雷克·克罗巴克 , 克里斯蒂安·科斯特 , 卢卡斯·杰兹 , 埃利亚斯·库索皮亚斯 :
在线追线的更好边界。 8:1-8:13 帕特里夏·鲍耶 , 内森·托马斯特 :
具有通信机制的图上博弈的纳什均衡。 9:1-9:14 Pawel公园 :
奇偶博弈:准多项式时间的齐埃隆卡算法。 10:1-10:13 盖伊·阿夫尼 , 托马斯·汉津格 , 多德·齐克里克 :
图形游戏中的投标机制。 11:1-11:13 阿萨纳西奥斯·康斯坦蒂尼迪斯 , 查里斯·帕帕佐普洛斯 :
区间图和分裂相关图上的簇删除。 12:1-12:14 Hoáng-Onh Le村 , 范邦乐 :
地图图和半方形的约束表示。 13:1-13:15 巴纳比·马丁 , 丹尼尔·保卢斯马 , 西亚尼·史密斯 :
有界直径的无H图的着色。 14:1-14:14 维克多·切波伊 , 阿尔诺·拉博雷尔 , 塞巴斯蒂安·拉特尔 :
无立方体中值图的距离标记方案。 15:1-15:14 伊曼纽尔·基伦斯基 :
一维防护碎片。 16:1-16:14 丹尼尔·丹尼尔斯基 , 伊曼纽尔·基伦斯基 :
具有传递性的一元否定片断的有限可满足性。 17:1至17:15 伊恩·普拉特·哈特曼 , 丽迪娅·坦德拉 :
具有及物性的长笛片段。 18:1-18:15 安塞尔姆·哈克 , 朱哈·孔廷宁 , 费边·米勒 , 赫里贝特·沃尔默 , 范扬 :
一阶团队逻辑中的团队计数。 19:1-19:15 泽夫·纳托夫 , 盖伊·科茨(Guy Kortsarz) , 伊莱·沙洛姆 :
近似激活边盖和设施位置问题。 20:1-20:14 克里斯蒂安·康拉德 , 维克托·扎马拉耶夫 :
弦图中的分布式最小顶点着色和最大独立集。 21:1-21:15 斑腿Evripidis Bampis , 布鲁诺·埃斯科菲尔 , 亚历山大·泰勒 :
多级背包。 22:1-22:14 奥利维尔·伯内斯 , 阿诺德·杜兰德 :
递归格式,离散微分方程和多项式时间计算的特征。 23:1-23:14 米歇尔·博雷尔 :
关于偏微分方程的余代数。 24:1-24:13 紫苑高 , 桑杰·贾恩 , 巴哈迪尔·库萨诺夫 , 魏丽 , 亚历山大·梅尔尼科夫 , 凯伦·塞德尔 , 弗兰克·斯蒂芬 :
随机理性子群。 25:1-25:14 朱利安·德夫勒 , 马克·罗斯 , 约翰·施密特 , 菲利普·威尼茨 :
计数诱导子图:#W[1]硬度的代数方法。 26:1-26:14 圣埃芬·贝西 , Marin Bougeret公司 , R.Krithika先生 , Abhishek Sahu公司 , Saket Saurabh公司 , 乔斯林·蒂巴特 , 梅拉夫·泽哈维 :
比赛中的打包弧不相交循环。 27:1-27:14 贾克里什南·马达提尔 , 鲁哈尼·夏尔马 , 梅拉夫·泽哈维 :
半完全有向图最小有向二分的次指数FPT算法和多项式核。 28:1-28:14 迭戈·菲奎拉 , 瓦伦·拉马纳桑 , 帕斯卡·韦尔 :
同步关系的量词交替层次。 29:1-29:14 阿南塔·帕德马纳巴 , 拉马努贾姆(R.Ramanujam) :
术语模态逻辑的两个变量片段。 30:1-30:14 埃里希·格拉德尔 , 斯文娅·沙尔特霍夫(Svenja Schalthöfer) :
无选择对数空间。 31:1-31:15 拉多万·塞文 , Ondrej萨奇 :
五路径顶点覆盖的快速FPT算法。 32:1-32:13 杜珊·诺普 , 托马斯·马萨里克 , 托马斯·图法尔 :
公平顶点评估问题的参数化复杂性。 33:1-33:16 拉尔斯·贾夫克 , 帕洛马T.利马 :
图的b-色数临界值的复杂性二分法。 34:1-34:13 阿坎沙·阿格拉瓦尔 , 帕拉维·贾因 , 劳奎恩·卡内什 , Saket Saurabh公司 :
无冲突匹配和路径的参数化复杂性。 35:1-35:15 维克托·拉盖克维斯特 , 古斯塔夫·诺德 :
关于原正公式中唯一性量化的强度。 36:1-36:15 米查尔·加利克 :
拒绝声明的解决下限。 37:1-37:13 伊娃·弗拉克 :
缠结和单链接层次聚类。 38:1-38:12 伊斯海·哈维夫 :
图和超图的正交维数的逼近。 39:1-39:15 卡尔·艾纳森 , 费利克斯·雷德尔 :
支配高于独立:节俭有帮助吗? 40:1-40:13 埃丝特·加尔比 , 帕洛马T.利马 , 伯纳德·里斯 :
通过边收缩减少图的控制数。 41:1-41:13 爱德华·艾本 , 罗伯特·加尼安 , 特克拉·哈姆 , O-joung Kwon先生 :
衡量什么是重要的:一种具有树宽的动态规划混合方法。 42:1-42:15 马库斯·洛伊 , Armin Weiß :
Power Word问题。 43:1-43:15 乔尔·戴伊 , 弗洛林·马内亚 , 德克·诺沃特卡 :
某些二次字方程最小解长度的上界。 44:1-44:15 桑德拉·基弗 , 丹尼尔·诺恩 :
Weisfeiler-Leman算法分解图的能力。 45:1-45:15 纳塔莉·奥布伦 , 塞巴斯蒂安·巴比埃里 , 艾蒂安·穆托特 :
Domino问题在曲面组上无法确定。 46:1-46:14 Titus剂量 :
每个NP-集的P-最优证明系统,但相对于Oracle没有完全不相交的NP-对。 47:1-47:14 马修·霍洛普 , 唐纳德·斯图尔 :
欧几里得空间中的半可计算点。 48:1-48:13 尼古拉·加莱西 , 德米特里·伊特塞克森 , 阿图尔·里扎诺夫 , 阿纳斯塔西亚·索夫罗诺娃 :
所有图的Tseitin公式的有界深度Frege复杂性。 49:1-49:15 皮埃尔·克莱兰堡 , 安德烈·穆拉夫斯基 :
线性递归格式的表示性。 50:1-50:14 弗洛伦特·科赫林 , 西里尔·尼科德 , 巴勃罗·罗通多 :
统一随机表达式缺乏表达性。 51:1-51:14 C.苎麻 , B.V.Raghavendra Rao公司 :
多线性有序约束ABP的下限。 52:1-52:14 尼基尔·古普塔 , 钱丹·萨哈 :
关于设计多项式的对称性和等价性检验。 53:1-53:16 简·伯克 , 陈一佳(音) , 马丁·格罗 , 高拉夫藤 :
同胚不可分性的复杂性。 54:1-54:13 Titouan光标 , 多米尼克·霍斯曼 , 西蒙·佩德里克斯 :
SZX-微积分:可缩放图形量子推理。 55:1-55:15 柯晨 , 阿德里安·杜米特里斯库 , Wolfgang Mulzer公司 , 萨巴·D·托斯 :
关于多边形链的拉伸因子。 56:1-56:14 杰西卡·恩赖特 , 基蒂·米克斯 , 乔治·B·默齐奥斯 , 维克托·扎马拉耶夫 :
删除边以限制时间网络中流行病的规模。 57:1-57:15 克里斯托夫·贝尔霍尔茨 , 妮可·施韦卡特 :
带FPT预处理的常延迟枚举用于有界子模宽度的联合查询。 58:1-58:15 阿米罗申·卡泽米尼亚 , 安德烈·布拉托夫 :
计算质数模的同态。 59:1-59:13 安德烈·布拉托夫 , 斯坦尼斯拉夫·齐夫尼 :
从另一侧看到的近似计数CSP。 60:1-60:14 内森·洛特 , 文森特·米奇里尼 , 米歇尔·斯科齐普扎克 :
统一赋予了正则语言的全部力量。 61:1-61:13 沃伊切赫·切尔温斯基(Wojciech Czerwinski) , 斯拉沃米尔·拉索塔 , 克里斯托夫·洛丁 , 拉多斯瓦夫·皮奥科夫斯基 :
二维VASS泵送新技术。 62:1-62:14 亨宁·费尔诺 , 弗拉基米尔·古塞夫 , 斯特凡·霍夫曼 , 马库斯·霍尔泽 , 米哈伊尔·沃尔科夫 , 佩特拉·沃尔夫 :
规则约束下同步的计算复杂性。 63:1-63:14 托本·哈格鲁普 :
具有几乎稳健迭代的恒定时间彩色选择词典。 64:1-64:14 苏伦德·巴斯瓦纳 , 希夫·库马尔·古普塔 , 阿尤什·塔尔西安 :
无向图中的容错和全动态DFS:简单而有效。 65:1-65:16 拉斐尔·克利福德 , Pawel Gawrychowski先生 , 托马斯·科祖马卡 , 丹尼尔·马丁 , 普尔泽米斯瓦夫·乌兹南斯基 :
RLE在接近最佳时间编辑距离。 66:1-66:13 桑卡迪普·查克拉波蒂 , Kunihiko Sadakane公司 :
索引图搜索树和应用程序。 67:1-67:14 阿尔贝托·丹尼恩齐奥 , 恩里科·福门蒂 , 达里杰·格林伯格 , 卢西亚诺·玛加拉 :
有限阿贝尔群上的可加元胞自动机:拓扑和测度理论性质。 68:1-68:15 苏加塔·博斯 , 桑卡拉·纳拉亚南·克里希纳 , 安卡·穆斯科尔 , 文森特·佩内尔 , 加布里埃尔小狗 :
传感器再同步器的合成。 69:1-69:14 保罗·贝尔 , 米卡·希尔文萨洛 :
量子自动机的接受模糊性。 70:1-70:14 菲利普·比尔 , 英格·李·高兹 :
从正则表达式匹配到解析。 71:1-71:14 埃哈德·艾钦格 :
超幂零代数方程组的求解。 72:1-72:9 阿莱西奥·孔蒂 , 罗伯托·格罗西 , 马马杜·穆斯塔法·坎特 , 安德烈亚·马里诺 , Takeaki Uno先生 , Kunihiro Wasa公司 :
列出诱导Steiner子图作为发现图中Steiner树的紧凑方法。 73:1-73:14 谢尔盖·加斯佩斯 , 雷·李 :
几乎定向有向图中首选扩展的枚举。 74:1-74:15 塞奥多尔·洛佩兹 , 本杰明·蒙梅格 , Jean-Marc Talbot公司 :
确定有限模棱两可的无版权成本登记自动机。 75:1-75:15 曼弗雷德·德罗斯特 , 保罗·加斯廷 :
非周期加权自动机和加权一阶逻辑。 76:1-76:15 皮埃尔·甘蒂 , 埃琳娜·古铁雷斯 , 佩德罗·瓦莱罗 :
基于同余的自动机最小化算法透视。 77:1-77:14 伊丽莎白·伯琼斯 , 法比安-弗雷 , 伊迪丝·赫玛斯潘德拉 , 丹尼斯·科姆 , 大卫·维纳 :
通过邻居帮助找到最佳解决方案。 78:1-78:14 Haruka Mizuta公司 , 鸠山达彦 , 伊藤武弘 , 小周 :
通过顶点交换重构最小斯坦纳树。 79:1-79:11 马特·博纳米 , 尼古拉斯·布斯克 , 马克·海因里希 , 伊藤武弘 , 小林由介(Yusuke Kobayashi) , 阿诺德·玛丽 , 莫里茨·穆伦塔勒 , Kunihiro Wasa公司 :
完美匹配重新配置问题。 80分80秒14 查尔斯·卡尔森 , 卡提基安·钱德拉塞卡兰(Karthekeyan Chandrasekaran) , Xien-Chih Chang先生 , 内奥诺里·卡基穆拉 , 亚历山德拉·科拉 :
对称矩阵标志的光谱方面。 81:1-81:13 斯特凡·基弗 , 卡斯·维德施恩 :
利用矩阵半群技术有效分析无歧义自动机。 82:1-82:13 保罗·贝尔 , 伊戈尔·波塔波夫 , 帕维尔·塞穆金 :
关于死亡率问题:从乘法矩阵方程到线性递归序列及其他。 83:1-83:15
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)