第30届STACS 2013:德国基尔
娜塔莎·波特 , 托马斯·威尔克 :
2013年2月27日至3月2日,第30届计算机科学理论方面国际研讨会,德国基尔。 LIPIcs公司 20, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2013 ,十亿 978-3-939897-50-7
论文
娜塔莎·波特 , 托马斯·威尔克 :
前言、目录、前言、车间组织。 库沙·埃特萨米 :
分析无限状态马尔可夫链、马尔可夫决策过程和随机博弈的复杂性(邀请谈话)。 1-2 尼古拉斯·布斯克 , Aurélie拉古特 , 圣多马塞 :
图形着色、通信复杂性和顽固问题(邀请谈话)。 3-4 库尔特·梅尔霍恩 :
Physarum计算机(受邀演讲)。 5-6 达尼尔·马克思 :
算法图结构理论(教程)。 7-7 费多·弗明 , Yngve村民 :
寻找更好的填充。 8-19 安德烈亚斯·比约克隆德 , 佩特里·卡斯基 , 卢卡斯·科瓦利克 :
可能是最佳图形模型。 20-31 费多·弗明 , 斯特凡·克拉奇 , 马金·皮利普祖克 , 米查尔·皮利普祖克 , Yngve村民 :
群集编辑参数化复杂性的严格限制。 32-43 阿尔伯特·阿塞里亚斯 , 塞尔吉·奥利瓦 :
有界宽度QBF是PSPACE完成的。 44-54 丹尼尔·保卢斯马 , 弗里德里希·斯利沃夫斯基 , 斯特凡·塞德尔 :
有界模树宽CNF公式的模型计数。 55-66 谢尔盖·加斯佩斯 , 塞巴斯蒂安·奥德尼亚克 , M.S.Ramanujan先生 , Saket Saurabh公司 , 斯特凡·塞德尔 :
q-Horn的后门。 67-79 斯特凡·克拉奇 :
稀疏整数线性规划的多项式核。 80-91 费多·弗明 , 丹尼尔·洛克斯塔诺夫 , Saket Saurabh公司 , 迪米特里奥斯·M·蒂利科斯 :
具有排除拓扑子图的图上(连通)支配集的线性核。 92-103 马蒂恩·巴尔茨 , 克劳斯·梅尔 :
实上NP的PCP定理。 104-115 亚当·凯斯 , 杰克·H·卢茨 :
共同维度。 116-126 岩田洋一 , 吉田裕一 :
点代数上最大约束满足问题的精确和近似算法。 127-138 康斯坦丁·马卡里切夫 :
对于有界发生顺序的k-CSP,局部搜索优于随机分配。 139-147 席晨 , 马丁·戴尔 , 莱斯利·安·戈德伯格 , 马克·杰拉姆 , Pinyan路 , 科林·麦克奎伦 , 大卫·理查德比 :
近似保守计数CSP的复杂性。 148-159 尤瓦尔·伊斯海 , 埃亚尔·库什利维茨 , 奥马尔·斯特鲁洛维奇 :
Lossy Chains和Fractional Secret Sharing。 160-171 莎拉·坎农 , 埃里克·D·德曼 , 马丁·L·德曼 , 莎拉·艾森斯塔特 , 马修·帕蒂兹 , 罗伯特·施韦勒 , 斯科特·萨默斯 , 安德鲁·温斯洛 :
两只手胜过一只手(直到常数):2HAM与aTAM中的自我组装。 172-184 马尔特·达恩斯特 , 汉斯·乌里希·西蒙 , Balázs Szörényi :
未标记的数据确实有帮助。 185-196 米查尔·皮利普祖克 :
通过度排序计算半完全有向图的割宽和路宽。 197-208 马雷克·赛根 , 法布里奇奥·格兰多尼 , Telikepalli卡维塔 :
成对扳手。 209-220 Jisu Jeong(吉素贞) , O-joung Kwon先生 , 桑伊尔·乌姆 :
线性秩宽度最多为k的图的排除顶点子图。 221-232 阿图尔·杰兹 :
再压缩:一种简单而强大的单词方程式技术。 233-244 托马斯·科祖马卡 , 雅库布·拉多舍夫斯基 , 沃伊切赫·莱特 :
单词和最大公因子查询中阿贝尔周期的快速算法。 245-256 帕维尔·盖瑞乔夫斯基 , 弗洛林·马内亚 , 罗伯特·默卡斯 , 德克·诺沃特卡 , 卡塔琳·蒂塞努 :
查找伪重复请求。 257-268 扎卡里·阿贝尔 , 埃里克·D·德曼 , 马丁·L·德曼 , 莎拉·艾森斯塔特 , 安娜·卢比夫 , 安德烈·舒尔茨 , 黛安·苏瓦恩(Diane L.Souvaine) , 乔瓦尼·维格里塔 , 安德鲁·温斯洛 :
弹出卡设计算法。 269-280 路易斯·巴巴 , 马蒂亚斯·科尔曼 , 斯特凡·兰格曼 , 罗德里戈·西尔维拉 , Kunihiko Sadakane公司 :
基于堆栈的算法的时空权衡。 281-292 Danny Z.Chen(丹尼·陈) , 王海涛 :
平面多边形障碍物中的L_1最短路径查询。 293-304 曼弗雷德·库夫莱特纳 , 亚历山大·劳泽 :
二元一阶逻辑中的量词交替是可决定的。 305-316 维斯拉夫·斯瓦斯特 , 丽迪娅·坦德拉 :
具有一个传递关系的FO^2是可判定的。 317-328 吕克·达托伊斯 , 查尔斯·帕普曼 :
两变量一阶逻辑,在单词上使用模块谓词。 329-340 马格努斯·瓦尔斯特伦 :
滥用Tutte矩阵:K-集循环问题的代数实例压缩。 341-352 马金·皮利普祖克 , 米查尔·皮利普祖克 , 彼得·桑科夫斯基 , 埃里克·扬·范·吕文 :
平面图上Steiner树的次指数时间参数化算法。 353-364 弗洛伦特·卡佩利 , 阿诺德·杜兰德 , 斯特凡·门格尔 :
张量压缩的算法复杂性。 365-376 伊迪丝·赫玛斯潘德拉 , A.Hemaspandra巷 , 柯蒂斯·曼顿 :
选举操纵问题的搜索与决策。 377-388 利亚·爱泼斯坦 , 阿萨夫·莱文 , 丹尼·塞格夫 , 奥伦·魏曼 :
改进了在线抢占式匹配的界限。 389-399 马库斯·贾森尤斯 , 本尼·波拉特 , 本杰明·萨克 :
流模型中的参数化匹配。 400-411 梅格纳·纳斯雷 :
流行配对:结构和作弊策略。 412-423 哈特穆特·克劳克 , 罗纳德·沃尔夫 :
愚弄单面量子协议。 424-433 洛克·马格宁 , 杰雷米·罗兰 :
量子查询复杂度的所有下界技术之间的显式关系。 434-445 安德里斯·安拜尼斯 , Arturs后盾 , 朱利斯·斯莫特洛夫斯 , 罗纳德·沃尔夫 :
几乎所有布尔函数的最佳量子查询边界。 446-453 纳塔娜·弗朗索瓦 , 弗雷德里克·马格尼兹(Frédéric Magniez) :
检查优先级队列的流式处理复杂性。 454-465 康斯坦丁·库茨科夫 :
偏斜矩阵乘积的确定性算法。 466-477 马腾宇(Tengyu Ma) , 薄汤 , 王亚军 :
几个子模拟阵秘书问题的模拟贪婪算法。 478-489 伊曼纽尔·詹德尔 , 帕斯卡·瓦尼尔 :
有限型多维子移位的共轭性、嵌入和因子分解的硬度。 490-501 伊内斯·克利曼 :
由2字母可逆Mealy自动机生成的群的有限性是可判定的。 502-513 阿米尔·本·阿姆拉姆 :
整数上迭代分段仿射函数的死亡率:可判定性和复杂性(扩展抽象)。 514-525 尤纳坦·比卢 , 阿米特·丹尼尔 , Nati Linial公司 , 迈克尔·E·萨克斯 :
关于MAXCUT的实际有趣的实例。 526-537 吉尔吉斯·多萨 , 吉尔·斯加尔 :
First Fit箱子包装:严格分析。 538-549 阿明·卡巴西 , 莫特扎·扎迪莫格哈达姆 :
约束二进制标识问题。 550-561 米科拉伊·博扬奇克 , 托马斯·伊齐亚泽克 , 米歇尔·斯科齐普扎克 :
细树的常规语言。 562-573 托马斯·科尔科姆贝特 , 劳蕾·达维奥 :
距离自动机的近似比较。 574-585 马丁·胡申贝特 :
树自动线性排序的排名。 586-597 朱利安·克莱门特 , Thu Hien Nguyen Thi先生 , 布里吉特·瓦莱 :
排序和搜索算法实际分析的一般框架。 应用于一些流行的算法。 598-609 马克·布拉弗曼 , 加尔·奥斯里 :
使用对无法区分的项目的查询进行搜索。 610-621 巴拉戈帕尔·科马拉斯 , 贾亚拉尔·萨尔马 :
卵石、熵和分支程序大小下限。 622-633 托马斯·沃森 :
建议稠密模型定理的下限。 634-645 娜塔莎·波特 , 托马斯·威尔克 :
作者索引。 646-647
![](https://dblp.org/img/cog.dark.24x24.png)