2012年第29届STACS:法国巴黎
克里斯托夫·杜尔 , 托马斯·威尔克 :
第29届计算机科学理论方面国际研讨会,2012年2月29日至3月3日,法国巴黎。 LIPIcs公司 14, Schloss Dagstuhl-莱布尼茨信息中心 2012 ,国际标准图书编号 978-3-939897-35-4 克里斯托夫·杜尔 , 托马斯·威尔克 :
前言、前言、会议组织、外部审核人、目录。 托马斯·科尔科姆贝特 :
自动机的决定论形式(受邀演讲)。 1-23 R.拉维 :
组合优化中的迭代方法(邀请演讲)。 24-24 马丁·迪兹费尔宾格 :
关于散列函数中的随机性(邀请谈话)。 25-28 沙菲·戈德瓦塞尔 :
伪确定性算法(邀请谈话)。 29-29 马金·穆查 :
13/9-图形TSP的近似值。 30-41 贾斯汀·沃德 :
单调子模k-集填充和一般k-交换系统的(k+3)/2近似算法。 42-53 Pawel公园 :
任意水平下推图的抽运引理。 54-65 迈克尔·埃尔伯菲尔德 , 安德烈亚斯·雅各比 , 直到Tantau :
常数和对数深度电路类的算法元定理。 66-77 马克·瑟利 :
#k-SAT的近似算法。 78-87 巴西诺餐厅(Frédérique Bassino) , 印花丝 , 安德烈亚·斯佩蒂埃洛(Andrea Sportiello) :
最小自动机的渐近枚举。 88-99 安德烈亚斯·埃米尔·费尔德曼 , 卢卡·福奇尼 :
树的平衡分区及其应用。 100-111 格思·斯特林特·布罗达尔 , Casper Kejlberg-Rasmussen公司 :
具有Working-Set属性的Cache-Olivious隐式前置字典。 112-123 Kai-Min Chung先生 , 亨利·林 , 刘振明 , 迈克尔·米赞马赫 :
马尔可夫链的Chernoff-Hoefffing界:广义和简化。 124-135 阿图尔·杰兹 :
具有压缩标签的NFA(DFA)的压缩成员身份在NP(P)中。 136-147 斯特凡·格勒 , 安东尼·威贾贾·林 :
并发性使简单的理论变得困难。 148-159 安德烈亚斯·巴兹基 , Subhash苏里 :
无冲突彩色艺术画廊报道。 160-171 沃尔夫冈·默克尔 , 杰森·特奇 :
恒定压缩和随机权重。 172-181 马金·卡明斯基 , 迪米特里奥斯·M·蒂利科斯 :
曲面图形中的收缩检查。 182-193 阿诺焦油醇 , 西里尔·尼科德 :
随机确定性自动机中可访问状态数的分布。 194-205 川崎敬一 , 小林育助 :
四边连通图中的边-双联奇圈。 206-217 沃尔克·迪克特 , 尤恩·朗 , 亚历山大·乌沙科夫 :
高压缩数据的高效算法:希格曼小组的单词问题是P。 218-229 洪庆恩(Hung Q.Ngo) , 伊利·波拉特 , 阿特里·鲁德拉 :
通过列表可恢复代码和递归实现高效可解码压缩感知。 230-241 安托万·杜兰·加塞林 , 彼得·哈贝梅尔 :
对于有界度的结构,Ehrenfeucht-Fraíssé基本上是自动的。 242-253 萨米尔·达塔 , 阿尔琼·戈帕兰 , 拉加夫·库尔卡尼 , Raghunath Tewari公司 :
改进了曲面上二部匹配的边界。 254-265 Ioannis Koutis公司 , 亚历克斯·莱文 , 理查德·彭 :
SDD矩阵的改进谱稀疏化和数值算法。 266-277 川崎敬一 , 小林由介(Yusuke Kobayashi) :
H-minor-free图的树宽与其最大网格之间的线性min-max关系。 278-289 蒂莫西·M·陈 , 斯蒂芬·杜洛彻 , 卡斯珀·格林-拉森 , 詹森·莫里森 , 布莱恩·威尔金森 :
数组中范围模式查询的线性空间数据结构。 290-301 安德烈·布拉托夫 , 马丁·戴尔 , 莱斯利·安·戈德伯格 , 马克·杰拉姆 :
日志-超模块功能、功能克隆和计数CSP。 302-313 乔治·贾库普斯 , 托马斯·索尔瓦尔德 , 何荪 , 菲利普·沃尔费尔 :
通过哈希传播的低随机性谣言。 314-325 罗伯特·加尼安 , 彼得·赫莱宁(Petr Hlinen) , 亚历山大·兰格 , 扬·奥布德扎勒克 , 彼得·罗斯马尼思 , Somnath Sikdar公司 :
MSO_1模型检查复杂性的下限。 326-337 N.S.纳拉亚纳斯瓦米 , 文卡特斯·拉曼 , M.S.Ramanujan先生 , Saket Saurabh公司 :
LP可以解决参数化问题。 338-349 桑杰·贾恩 , Efim B.Kinber公司 :
思维变化加速从积极数据中学习语言。 350-361 埃尔维·福尼尔 , 纪尧姆·马洛德 , 斯特凡·门格尔 :
算术电路中的单项式:完成计数层次中的问题。 362-373 克里斯蒂安·埃格蒙特 , 格哈德·沃金格(Gerhard J.Woeginger) :
使用滑轮、绳索和篮子进行运动规划。 374-383 宁晨 :
关于帕累托稳定分配的计算。 384-395 安德烈·阿诺德 , 亨利克·米查勒夫斯基 , 达米安·尼文斯基 :
关于树语言的分离问题。 396-407 迪特尔·米采 , 吉勒姆·佩拉诺 :
关于随机几何图的树宽和相关参数。 408-419 卡斯滕·维特 :
用随机搜索启发式优化线性函数——突变的鲁棒性。 420-431 费多·弗明 , 彼得·戈洛维奇 :
连通奇偶子图问题的参数化复杂性。 432-440 本杰明·多尔 , 卡罗拉·温岑 :
用恒定大小的内存扮演大师。 441-452 拉兹洛巴拜 , 乔有明 :
Abelian Sylow Towers群的多项式时间同构检验。 453-464 Sungjin Im公司 , 马克西姆·斯维里登科 , 鲁本·范德兹瓦恩 :
抢占和非抢占广义最小和集覆盖。 465-476 孙晓明 , 王成谷(Chengu Wang) :
有限域上线性代数问题的随机通信复杂性。 477-488 弗雷德里克·哈瓦特 , 妮可·施韦卡特 :
常规树语言、基数谓词和附加变量FO。 489-500 Katarzyna E.Paluch公司 , 哈立德·埃尔巴西尼 , 安克·范·祖伦 :
最大非对称旅行商问题的更简单近似。 501-506 托马斯·布拉兹迪尔 , 斯特凡·基弗 :
分支排队网络的稳定性。 507-518 莫里斯·詹森 , 拉胡尔·桑塔纳姆 :
使用相关代数复杂度类的更强下限和随机性-硬权衡。 519-530 保罗·邦斯玛 :
曲面上图的曲面分裂分解和子图同构。 531-542 劳伦特·宾文努(Laurent Bienvenu) , 鲁珀特·霍尔兹尔 , 约瑟夫·S·米勒 , 安德烈·尼斯 :
可计算函数的Denjoy替代方法。 543-554 奥利维尔·芬克尔 :
无上下文游戏的决定性。 555-566 马蒂厄·霍伊鲁普 :
遍历随机序列的维数。 567-576 法里德·阿布·扎伊德 , 埃里希·格拉德尔 , 卢卡斯·凯泽 :
雷亚尔球场不是欧米伽自动球场。 577-588 克里斯托弗·布劳德本特 :
CPDA图上一阶逻辑的可判定极限。 589-600 Yuval Filmus公司 , 贾斯汀·沃德 :
局部搜索的威力:对拟阵的最大覆盖。 601-612 Kei Kimura先生 , Kazuhisa Makino公司 :
基于符号模式的整数线性系统的三分法。 613-623 Pawel Gawrychowski先生 :
在LZW压缩模式匹配中捆扎松端。 624-635 安德里斯·安巴尼斯 :
线性代数问题的可变时间振幅放大和量子算法。 636-647 米科拉伊·博扬奇克 , Szymon Torunczyk公司 :
无限树上的弱MSO+U。 648-660