37.MFCS 2012:斯洛伐克布拉迪斯拉发
布拉尼斯拉夫·罗万 , 弗拉迪米罗·萨松 , 彼得·维德迈尔 :
2012年8月27日至31日,斯洛伐克布拉迪斯拉发,2012年第37届国际计算机科学数学基础研讨会,MFCS 2012。 诉讼程序。 计算机科学课堂讲稿 7464, 施普林格 2012 ,国际标准图书编号 978-3-642-32588-5 乔治·戈特洛布 , 马可·曼纳 , 迈克尔·莫拉克 , 安德烈亚斯·皮利斯 :
论析取存在规则下本体推理的复杂性。 1-18 克里斯蒂安·科穆塞维茨 , 罗尔夫·尼德迈尔 :
参数化算法中的新种族。 19-30 安东尼诺·萨利布拉 :
斯科特总是很简单。 31-45 妮可·施韦卡特 :
证明逻辑表达能力局限性的工具包。 46-47 埃斯科·乌科宁 :
如何重建基因组。 48 伊戈尔·瓦卢基维奇 :
递归格式的简单模型。 49-60 格哈德·沃金格(Gerhard J.Woeginger) :
恶劣条件下的运输。 61-62 米哈利斯·扬纳卡基斯 :
最小不动点的计算。 63 劳里·阿尔罗斯 , 佩卡·奥波宁 :
无序约束满足游戏。 64-75 阿克苏Tatsuya Akutsu , Takeyuki Tamura先生 :
计算有界次外平面图最大公共子图的多项式时间算法。 76-87 埃里克·阿伦德 , 哈里·布尔曼 , 卢克·弗里德曼 , 布鲁诺·洛夫 :
随机字符串集的约简:基于资源的情况。 88-99 维克拉曼·阿文德 , 约翰内斯·科布勒 , 塞巴斯蒂安·库内特 , 亚杜·瓦苏德夫 :
近似图同构。 100-111 维克拉曼·阿文德 , 穆霍帕迪亚 , Prajakta Nimbhorkar公司 , 亚杜·瓦苏提夫 :
可解置换群的近最优扩张生成集。 112-123 尤金细辛 , 尼古拉斯·巴塞特 , 奥尔德里克·德戈尔 , 多米尼克·佩林 :
定时语言的生成函数。 124-135 克里斯蒂娜·巴兹根 , 摩根·肖邦 :
稳健集问题:参数化复杂性和近似。 136-147 保罗·贝尔 , 米卡·希尔文萨洛 , 伊戈尔·波塔波夫 :
2×2矩阵的死亡率为NP-Hard。 148-159 迪特马尔·伯旺格 , 卢卡斯·凯泽 , 西蒙·勒伊尼奇(Simon Leßenich) :
解决对等游戏。 160-171 特蕾丝·比德尔 , 彼得·弗洛德罗斯 :
在多边形内的点上绘制平面图。 172-183 戴维德·比洛 , 安娜·兹奇 :
重新优化最小斯坦纳树问题的新进展。 184-197 马库斯·巴泽尔 , 博多·曼泰 :
平滑复杂性理论。 198-209 弗朗西娜·布兰切特·萨德里 , 肖恩·西蒙斯 :
部分单词中的阿贝尔模式回避。 210-221 保罗·邦斯玛 :
重新路由最短路径的复杂性。 222-233 奥利维尔·伯内斯 , 皮埃尔·弗拉吉诺 , 泽维尔·科格勒 :
使用交互对大量人口进行计算。 234-246 劳伦特·布尔托 , 纪尧姆·费尔丁 , 伊雷娜·鲁苏 :
煎饼翻动很难。 247-258 陈景森 , 斯特凡·埃德尔坎普 , 阿姆尔·埃尔马斯里 , Jyrki Katajainen公司 :
优化比较、移动和缓存未命中的就地堆构造。 259-270 陈陶璐 , 克劳斯·达格 , 斯特凡·基弗 :
模型检查随机分支过程。 271-282 罗伯特·克劳斯顿 , 格雷戈里·古汀 , 马克·琼斯 , Saket Saurabh公司 , 安德斯·杨 :
测试覆盖问题的参数化研究。 283-295 马雷克·赛根 , 马金·皮利普祖克 , 米查尔·皮利普祖克 , 雅库布·奥努弗里·沃伊塔什奇克 :
坐得比敌人更靠近朋友,再次访问。 296-307 尼古拉斯·德鲁格·阿尔特尔 :
同态多项式的二分法定理。 308-322 马丁·德拉科特 , 彼得·库卡 :
模块化莫比乌斯数系统的有限状态传感器。 323-334 乔瓦尼·迪·克雷塞佐 , 瓦迪姆·费迪尤科维奇 :
通过多项式表示进行零知识证明。 335-347 马丁·杜查 , 扬·克拉托奇维尔 :
簇顶点删除:顶点覆盖和顶点宽度之间的参数化。 348-359 安吉洛·法内利 , 卢卡·莫斯卡德利 , 亚历山大·斯科帕利克 :
公平最佳反应动力学的影响。 360-371 安德烈亚斯·埃米尔·费尔德曼 :
即使在网格和树上,快速平衡分区也很困难。 372-382 加布里埃尔·菲奇 :
双特殊斯图尔语词汇的特征。 383-394 迪米特里斯·福塔基斯 , Paraschos Koutris公司 :
在线和半径聚类。 395-406 汤姆·弗里德茨基 , 莱斯泽克·盖西涅克 , 托马斯·戈里 , 罗素·马丁 :
观察并保持沉默(无通信代理位置发现)。 407-418 罗伯特·加尼安 , 彼得·赫莱宁(Petr Hlinen) , 雅罗斯拉夫·内塞特里 , Jan Obdrzálek先生 , 帕特里斯·奥斯纳·德门德斯 , 雷希玛·拉马杜赖 :
当树木生长缓慢时:灌木和快速MSO1。 419-430 马库斯·盖尔德里 :
战略机器及其复杂性。 431-442 彼得·戈洛维奇 , 丹尼尔·保卢斯马 , 伯纳德·里斯 :
以禁止子图为特征的着色图。 443-454 彼得·戈洛维奇 , 皮姆·范特·霍夫 , 丹尼尔·保卢斯马 :
通过收缩少数边获得平面度。 455-466 米开朗基罗·格里尼 , 浩浩翔(Hao-Hsiang Hung) :
有界路径宽度图中的光扳手。 467-477 罗希特·古尔贾 , 阿皮塔·科尔瓦尔 , Jochen Messner先生 , 西蒙·斯特劳布 , 托马斯·蒂拉夫 :
完美匹配的平面化小工具不存在。 478-490 托本·哈格鲁普 :
边支配集的核:更简单或更小。 491-502 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 雷卡·雷达马拉 :
拼图游戏的类别。 503-515 大卫·贾宁 :
一维重叠图块的准可识别语言与MSO可定义语言(扩展抽象)。 516-528 克劳斯·詹森 , 斯特凡·埃里希·朱利叶斯·卡夫 :
一种改进的变尺寸装箱近似方案。 529-541 早矢香龟井 , 阿尼萨·拉马尼 , Fukuhito Ooshita公司 , 塞巴斯蒂安·提克塞尔 :
在没有全局多重性检测的情况下,在奇数环中收集偶数个机器人。 542-553 克里斯托斯·卡普西斯 , 乔瓦尼·皮奇奇尼 :
小型2DFA的反转层次结构。 554-565 亚历山大·卡尔佐夫 , Pawel公园 :
可折叠下推层次结构的严格性。 566-577 川村昭通 , 大田弘之 , 卡斯滕·罗斯尼克 , 马丁·齐格勒 :
光滑微分方程的计算复杂性。 578-589 克里斯托夫·贝勒 , 安德烈亚斯·克雷布斯 , 克劳斯·约恩·兰格 , 皮埃尔·麦肯齐 :
电路均匀性的下限。 590-602 曼弗雷德·库夫莱特纳 , 亚历山大·劳泽 :
Trotter-Weil层次结构的连接级别是可决定的。 603-614 托米·莱蒂宁 :
自然数集上的方程X+A=B和(X+X)+C=(X-X)+D。 615-629 安东尼·威贾贾·林 :
弱同步地树重写-(带有验证多线程程序的应用程序)。 630-642 卡贾·洛塞曼 , 维姆·马滕斯 , 马蒂亚斯·尼维斯 :
确定性正则表达式的描述复杂性。 643-654 米娜·马哈扬 , B.V.Raghavendra Rao公司 , Kartek Sreenivasaiah公司 :
一次/两次公式和分支程序中的身份测试、多重线性测试和单项式。 655-667 弗洛林·马内亚 , 罗伯特·默卡斯 , 德克·诺沃特卡 :
Fine和Wilf定理与伪再现。 668-680 金·古德斯特兰·拉森 , 拉杜·马尔代尔 , 普拉卡什·帕南加登 :
极限:马尔可夫过程的近似推理。 681-692 马图斯·米哈拉克 , 简·克里斯托夫·施莱格尔 :
不对称交换均衡:网络创造游戏的统一均衡概念。 693-704 菲利普·穆拉克 , 米查尔·奥金斯基 , 马尔金·普日比尔科 :
在树模式和连接查询之间:是否存在超越非循环的可牵引性? 705-717 杰斯珀·内德洛夫 , 埃里克·扬·范·吕文 , 鲁本·范德兹瓦恩 :
将目标间隔缩短为几个精确查询。 718-727 Sotiris E.Nikoletseas公司 , Christoporos L.Raptopoulos公司 , 保罗·G·斯皮拉基斯 :
具有小交集数的图和随机交集图中的最大群。 728-739 多里特·帕尔多·奥登利希 , 亚历山大·拉比诺维奇 :
Reals上“几乎未来”时间逻辑的有限基础。 740-751 埃琳娜·彼得罗娃 , 阿塞尼·M·舒尔 :
构造任何级别的前最大三元平方自由词。 752-763 克里斯托夫·洛丁 , 斯特凡·雷普克 :
弱下推ω-自动机与对策的正则性问题。 764-776 维勒萨洛 , 伊尔卡·特尔梅 :
元胞自动机在可数Sofic移位上的计算方面。 777-788 塔蒂亚娜·斯塔里科夫斯卡娅 :
在线计算Lempel-Ziv因子分解。 789-799 伊戈尔·图内夫 , 阿塞尼·M·舒尔 :
论德让猜想的两个更强的版本。 800-812 托马斯·韦德纳 :
概率自动机和概率逻辑。 813-824 Mingyu Xiao先生 , Jiong Guo(郭炯) :
二部竞赛中反馈弧集的二次顶点核。 825-835
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)