2010年第27届STACS:法国南希
让-伊夫·马里昂 , 托马斯·施温蒂克 :
第27届计算机科学理论方面国际研讨会,2010年3月4日至6日,法国南希。 LIPIcs公司 5, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2010 ,国际标准图书编号 978-3-939897-16-3 让-伊夫·马里昂 , 托马斯·施温蒂克 :
前言——第27届计算机科学理论方面国际研讨会。 1-6 让-伊夫·马里昂 , 托马斯·施温蒂克 :
目录-第27届计算机科学理论方面国际研讨会。 7-10
受邀会谈
已投稿论文
安娜·阿达马斯泽克 , 米查尔·阿达马斯泽克 :
图的大生根。 35-46 泽维尔·阿拉米根 , 斯特凡·高伯特 , 埃里克·古堡 :
热带双重描述方法。 47-58 维克拉曼·阿文德 , 斯里坎斯·斯里尼瓦桑 :
远程点问题、小偏差空间和扩展发电机组。 59-70 拉兹洛巴拜 , 阿南达姆·班纳吉 , 拉加夫·库尔卡尼 , Vipul Naik公司 :
回避与素数的分布。 71-82 马金·比恩科夫斯基(Marcin Bienkowski) , 马雷克·克洛诺夫斯基 , 米罗斯瓦夫·科尔泽尼奥斯基 , Dariusz R.Kowalski先生 :
多接入信道的动态共享。 83-94 安德烈亚斯·比约克隆德 :
通过行列式精确覆盖。 95-106 费利克斯·勃兰特 , 费利克斯·A·菲舍尔 , 马库斯·霍尔泽 :
关于迭代优势、矩阵消除和匹配路径。 107-118 弗拉基米尔·布拉弗曼 , Kai-Min Chung先生 , 刘振明 , 迈克尔·米赞马赫 , 拉斐尔·奥斯特罗夫斯基 :
AMS在产品领域没有四维独立性。 119-130 谢尔盖·布拉维 , 阿拉姆·W·哈罗 , 阿维纳坦·哈西迪姆 :
测试分布特性的量子算法。 131-142 Nader H.Bshouty公司 , 汉娜·马扎维 :
重建超图的最佳查询复杂度。 143-154 朱利安·塞维尔 , 恩里科·福门蒂 , 皮埃尔·吉隆 :
元胞自动机的最终踪迹。 155-166 Sourav Chakraborty公司 , 埃尔达·费舍尔 , 奥德拉基什 , 拉斐尔·尤斯特 :
参数最短路径问题的两阶段算法。 167-178 Ho-Leung Chan公司 , 德华林 , 李立基(Lap-Kei Lee) , 兴丰亭 :
在基于时间的滑动窗口上连续监视分布式数据流。 179-190 Shiri Chechik先生 , 大卫·佩莱 :
鲁棒容错无容量设施位置。 191-202 维克多·陈 , 埃琳娜·格里戈雷斯库 , 罗纳德·沃尔夫 :
用于成员资格和多项式评估的高效纠错数据结构。 203-214 比雷斯瓦·达斯 , 萨米尔·达塔 , Prajakta Nimbhorkar公司 :
k树中路径和匹配的对数空间算法。 215-226 比雷斯瓦·达斯 , 雅各布·托兰 , 费比安·瓦格纳 :
有界树宽图同构的限制空间算法。 227-238 弗雷德·范·尼亚顿 , 雷内·西特斯 , 格哈德·沃金格(Gerhard J.Woeginger) , 亚历山大·伍尔夫 , 马克·德伯格 :
平方欧氏距离下的旅行商问题。 239-250 弗雷德里克·多恩 , 费多尔·V·福明 , 丹尼尔·洛克斯塔诺夫 , 文卡特斯·拉曼 , Saket Saurabh公司 :
超越二维性:有向图上的参数化次指数算法。 251-262 弗雷德里克·多恩 :
再论平面子图同构。 263-274 大卫·多蒂 , 杰克·H·卢茨 , 马修·帕蒂兹 , 斯科特·萨默斯 , 达米安·伍兹 :
自组装中的内在普遍性。 275-286 保罗·杜廷 , 莫妮卡·亨辛格 , 英格玛·韦伯 :
赞助搜索、市场均衡和匈牙利方法。 287-298 阿德里安·杜米特里斯库 , 江明辉 :
单元磁盘中的分散。 299-310 阿德里安·杜米特里斯库 , 萨巴·D·托斯 :
平面中的长非交叉配置。 311-322 马丁·戴尔 , 莱斯利·安·戈德伯格 , 马库斯·贾森尤斯 , 大卫·理查德比 :
近似有界度布尔值的复杂性#CSP。 323-334 拉兹洛·埃格里 , 安德烈·克鲁金 , 贝诺·拉罗泽 , 帕斯卡·泰森 :
图的列表同态问题的复杂性。 335-346 利亚·爱泼斯坦 , 阿萨夫·莱文 , 朱利安·梅斯特雷 , 丹尼·塞格夫 :
半流模型中加权匹配的改进近似保证。 347-358 哈维尔·埃斯帕尔扎 , 安德烈亚斯·盖泽 , 斯特凡·基弗 :
计算多项式概率系统的最小不动点。 359-370 吉里菲亚拉 , 马金·卡明斯基 , 伯纳德·利迪克 , 丹尼尔·保卢斯马 :
无爪图的k-in-a-path问题。 371-382 费多尔·V·福明 , Yngve村民 :
通过极小三角剖分寻找诱导子图。 383-394 兰斯·福特诺 , 杰克·H·卢茨 , 埃尔维拉·马约多莫 :
不相交NP对的不可分割性和强假设。 395-404 斯特凡·格勒 , 马库斯·洛伊 :
单计数器进程的分支时间模型检查。 405-416 谢尔盖·格里戈里夫 , 皮埃尔·瓦拉彻 :
进化多代数统一了所有常用的序列计算模型。 417-428 顾晓阳 , 约翰·希区柯克 , 阿杜里·帕凡 :
平均情况和最坏情况假设下完备性概念的折叠和分离。 429-440 皮埃尔·吉隆 , 盖坦·理查德 :
再论元胞自动机的Rice定理。 441-452 爱德华·赫施 , 德米特里·伊齐克森 :
最优启发式随机半决策过程及其在证明复杂性中的应用。 453-464 莫里斯·詹森 :
确定次指数时间非奇异矩阵完备的弱化假设。 465-476 阿图尔·杰兹 , 亚历山大·奥霍廷 :
关于整数集上的方程。 477-488 卢卡斯·杰兹 :
可接受截止期分组调度的随机算法。 489-500 亚历山大·卡尔佐夫 :
2级的可折叠下推图是树自动的。 501-512 尼莱什·坎纳 , 苏伦德·巴斯瓦纳 :
避免失败顶点的近似最短路径:未加权图的最佳大小数据结构。 513-524 迈克尔·科瓦尔奇克 , 蔡金一 :
具有复杂边函数的正则图的Holant问题。 525-536 迪特里希·库斯克 :
拉姆齐定理是自动的吗?。 537-548 弗朗索瓦·勒加尔 :
群同构问题若干实例的有效量子算法。 549-560 达尼尔·马克思 , 巴里·奥沙利文 , 伊戈尔·拉兹贡 :
约束分离和两分问题的树宽约简。 561-572 克莱尔·马蒂厄 , 奥坎·桑库尔 , 沃伦·舒迪 :
在线相关聚类。 573-584 乔治·B·默齐奥斯 , 伊格纳西·绍 , Shmuel Zaks公司 :
公差和有界公差图的识别。 585-596 安吉洛·蒙塔纳里 , 加布里埃尔小狗 , 彼得罗·萨拉 , Guido Sciavicco公司 :
区间时序逻辑ABB对自然数的判定性。 597-608 大卫·佩莱 , 利亚姆·罗德蒂 :
有向圆盘图的放松扳手。 609-620 多米尼克·谢德 :
不满足的线性CNF公式是庞大而复杂的。 621-632 延斯·施密特 :
施工顺序和证明3连通性。 633-644 卢茨·施罗德 , 德克·帕丁森 :
混代数混合逻辑中的命名模型。 645-656 鲁斯特姆·塔哈诺夫 :
一般最小费用同态问题的二分法定理。 657-668 瑞安·威廉姆斯 :
替代交易证明、线性规划和下限。 669-680