38.2013年MFCS:奥地利克洛斯特内堡
克里什南杜·查特吉 , 吉尔·斯加尔 :
2013年计算机科学数学基础第38届国际研讨会,2013年MFCS,奥地利克洛斯特内堡,2013年8月26日至30日。 诉讼程序。 计算机科学课堂讲稿 8087, 施普林格 2013 ,国际标准图书编号 978-3-642-40312-5 萨姆·巴斯 :
替代交易证据及其限制。 1-7 利亚·爱泼斯坦 :
自私自利的垃圾箱包装游戏。 8-21 让·古堡-拉雷克 :
拓扑Kruskal定理的构造性证明。 22-41 马丁·格罗 :
图同构问题的逻辑和结构方法。 42 埃利亚斯·库索皮亚斯 :
数字商品的优先免费拍卖。 43-44 尼尔·皮特曼 :
时间规范综合:机器人和模型驱动开发中的新应用。 45-49 埃里克·安吉尔 , 斑腿Evripidis Bampis , 亚历山大·科诺诺夫 , 迪米特里斯·帕帕拉斯 , 埃马努伊尔·蓬图拉基斯 , 瓦西里斯·齐西莫普洛斯 :
k边着色图上的聚类。 50-61 安东尼奥斯·安东尼亚迪斯 , 黄建忠 , 塞巴斯蒂安·奥特 , 何塞·凡尔赛 :
当你不得不购买背包时,如何包装你的物品。 62-73 乔治·巴奇 , 乔瓦尼·巴奇 , 金·拉森 , 拉杜·马尔代尔 :
组合计算行为距离。 74-85 塞巴斯蒂安·巴拉 :
哪个有限模糊自动机识别有限序列函数 (扩展摘要)。 86-97 文斯·巴拉尼 , 本尼迪克特 , 打捆机十类 :
重写保护否定查询。 98-110 阿诺德·贝克曼 , 帕维尔·普德拉克 , 尼尔·萨彭 :
对等游戏和命题证明。 111-122 尼古拉斯·贝登 :
逻辑和分支自动机。 123-134 马可·本德 , 克莱门斯·蒂伦 , 斯蒂芬·韦斯特法尔 :
具有最小数量和单位尺寸项目的广义指派问题的常数因子近似。 135-145 本尼迪克特 , 乔斯特·恩格弗里特 , 塞巴斯蒂安·马内斯 :
自上而下和MSO树变换的确定性和重写。 146-158 克里斯托夫·贝尔霍尔茨 , 奥列格·维尔比茨基 :
约束传播速度和弧一致性测试的时间复杂性。 159-170 亨利克·比约克隆德 , 维姆·马滕斯 , 托马斯·施温蒂克 :
关于模式信息的树模式查询的有效性。 171-182 皮耶罗·A·博纳蒂 , 马可·费拉 , 克莱门特·加尔迪 , 路易吉·索罗 :
部分异质偏好拍卖。 183-194 安德烈亚斯·布兰德斯特 , 马丁·米兰奇 , 拉格纳·奈弗里斯 :
加权有效控制问题的新多项式情形。 195-206 卡尔·布林曼 :
为克莱度量问题的特殊情况提供秩序。 207-218 卡尔·布林曼 , 克里斯蒂安·恩格斯 , 博多·曼泰 , B.V.Raghavendra Rao公司 :
随机最短路径:度量优化问题的非核素实例。 219-230 P.Buckheister先生 , 乔治·泽采 :
配价自动机接受的语言的半线性和上下文无关性。 231-242 哈里·布尔曼 , 兰斯·福特诺 , 约翰·希区柯克 , 布鲁诺·洛夫 :
学习稀疏集的约简。 243-253 罗希特·查达 , A.普拉萨德·西斯特拉 , 马赫什·维斯瓦纳坦 :
具有孤立割点的概率自动机。 254-265 陈陶璐 , Vojtech预测 , Marta Z.Kwiatkowska公司 , 艾斯蒂斯·西马提斯 , 克莱门斯·威尔奇 :
关于多目标随机博弈。 266-277 萨雷尔·科恩 , 阿莫斯·菲亚特 , 莫希克·赫什科维奇 , 哈伊姆·卡普兰 :
后续搜索的最小索引-(扩展摘要)。 278-289 纳迪亚·克里尼努 , 阿恩·梅尔 , 朱利安·施特芬·穆勒 , 约翰尼斯·史密特 , 赫里贝特·沃尔默 :
参数化枚举的范例。 290-301 沃伊切赫·切尔温斯基(Wojciech Czerwinski) , 彼得·詹卡尔 , 马丁·科特 , 兹德内克·萨瓦 :
检查顺序进程和并行进程之间相似性的复杂性。 302-313 斯蒂芬·杜洛彻 , 赛义德·梅赫拉比 :
使用滑动相机保护正交艺术画廊:算法和硬度结果。 314-324 斯蒂芬·杜洛彻 , 班学员拉胡尔·沙阿 , 马修·斯卡拉 , Sharma V.Thankachan公司 :
阵列和树上距离频率查询的线性空间数据结构。 325-336 塞巴斯蒂安·艾格特 , 亨宁·施诺尔 , 托马斯·威尔克 :
不干涉地方政策。 337-348 Amr Elmasry公司 , Jyrki Katajainen公司 :
就地二进制计数器。 349-360 利亚·爱泼斯坦 , 哈南·泽贝德·海德尔 :
固定时间范围内的租赁或购买问题。 361-372 斯特凡·费尔斯纳 , 乔治·B·默齐奥斯 , 鸢尾 :
关于四向正交射线图的识别。 373-384 袁峰 , 俞能坤 , 明生英 :
递归量子马尔可夫链的可达性分析。 385-396 马丁·费克 , 谢尔盖·普皮耶夫 :
通过街区交叉点订购地铁线路。 397-408 阿兰·芬克尔 , 斯特凡·戈勒 , 克里斯托夫·哈斯 :
具有多项式更新的注册机中的可达性。 409-420 费多·弗明 , 彼得·戈洛维奇 , Janne H.Korhonen先生 :
关于从图中剪切几个顶点的参数化复杂性。 421-432 埃尔维·福尼尔 , 西尔万·佩里费尔 , 雷米·德·乔安妮斯·德·维尔克洛斯 :
关于Valiant意义下一致多项式的固定多项式尺寸电路下限。 433-444 文森特·弗洛斯 , 勒内·范·贝文 , 罗尔夫·尼德迈尔 , 曼努埃尔·索奇 :
组合特征选择问题的参数化复杂性分析。 445-456 罗伯特·加尼安 , 弗里德里希·斯利沃夫斯基 , 斯特凡·塞德尔 :
具有结构参数的元核化。 457-468 安德鲁·戈德堡 , 伊利亚·拉赞斯特恩 , 鲁斯兰·萨夫琴科 :
分离分层和通用集线器标签。 469-479 亚历山大·戈洛夫涅夫 , 亚历山大·库利科夫 , 伊万·米哈伊林 :
在3 n/3时间内求解3-超弦。 480-491 普拉奇·戈亚尔 , 维克拉姆·卡马特 , 内尔德哈拉·米斯拉 :
关于最大边2-着色问题的参数化复杂性。 492-503 列奥尼德·古尔维茨 :
关于与具有指定行和列和的布尔矩阵相关的配分函数的确定性多时间算法的注记。 504-515 克里斯托弗·阿恩斯费尔特·汉森 , 弗拉基米尔·波多尔斯基 :
多项式阈值函数和布尔阈值电路。 516-527 亚历山大·休纳 , 亚历山大·卡尔佐夫 :
高阶计数器中的可达性。 528-539 约翰·希区柯克 , 阿杜里·帕凡 :
PSPACE完整性的长度增加减少。 540-550 黄慎伟(Shenwei Huang) :
改进的k-着色P-t-Free图的复杂性结果。 551-558 马丁·胡申贝特 , 刘嘉谋 :
多色拉姆齐序数理论。 559-570 Tomohiro一世 , 瓦塔鲁松原 , 下原口二 , Shunsuke Inenaga公司 , 希德奥·班奈 , 武田正彦 , Kazuyuki Narisawa先生 , Ayumi Shinohara公司 :
检测语法压缩字符串的规则。 571-582 安德烈亚斯·克雷布斯 , 努坦·利马耶 , 米娜·马哈扬 , Kartek Sreenivasaiah公司 :
小型深度防护系统。 583-594 米查尔·库克 , 亚历山大·奥霍廷 :
图行走自动机中计算的可逆性。 595-606 奥尔娜·库普夫曼 , 乔纳森·莫塞夫 :
主要语言。 607-618 迪特里希·库斯克 :
1-计数器语言词汇顺序的逻辑方面。 619-630 约翰内斯·科布勒 , 塞巴斯蒂安·库内特 , 奥列格·维尔比茨基 :
Helly循环弧图同构在对数空间中。 631-642 兰科·拉齐奇 , 乔尔·瓦克宁 , 詹姆斯·沃雷尔 :
芝诺、大力神和九头蛇:向下理性终结是阿克曼主义。 643-654 德克斯特·科赞 , 拉杜·马尔代尔 , 普拉卡什·帕南加登 :
马尔科夫逻辑的强完备性。 655-666 斯特凡·门格尔 :
带内存的算术分支程序。 667-678 尼尔达拉·米斯拉 , 法哈德·帕诺兰 , Saket Saurabh公司 :
d-簇边缘删除的次指数算法:例外还是规则? 679-690 安卡·穆斯科尔 , 斯文·舍韦 :
具有有限缺失知识的分布式综合的无限决定性。 691-703 莫里茨·米勒 , 斯特凡·塞德尔 :
在证明复杂性中重新审视空间:树宽和路径宽度。 704-716 安德烈亚·彼得拉卡普里纳 , 盖皮诺·普奇 , 弗朗西斯科·西尔维斯特里 , 法比奥·范丁 :
组合搜索问题的空间有效并行算法。 717-728 托马斯广场 , 洛里恩·范·罗伊扬(Lorijn van Rooijen) , 马克·泽顿 :
用分段可测试语言和无歧义语言分离正则语言。 729-740 亚历山大·拉比诺维奇 :
一种不寻常的时间逻辑。 741-752 弗朗西斯科·兰扎托 :
一种更有效的克里普克结构仿真算法。 753-764 延斯·施密特 :
通过构造序列进行平面度测试。 765-776 阿里尔·热曼·费尔南德斯 , 迈克尔·索尔蒂斯 :
可行组合矩阵理论。 777-788 亚历山大·苏扎 :
广义工厂选址的近似算法。 789-800 高桥雅弘 , 山崎武史 , 田中和辅 :
具有无界Toffoli和扇出门的经典模拟量子电路的硬度。 801-812 塞巴斯蒂安·塔维纳斯 :
减少到深度4和深度3的改进界限。 813-824 迈拉夫·泽哈维 :
模块Motif的参数化算法。 825-836 托马斯·泽姆 , 托马斯·施温蒂克 :
关于可达性的无量词动态复杂性。 837-848