2014年第31届STACS:法国里昂
恩斯特·梅尔 , 娜塔莎·波特 :
第31届计算机科学理论方面国际研讨会(STACS 2014),2014年3月5日至8日,法国里昂。 LIPIcs公司 25, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2014 ,国际标准图书编号 978-3-939897-65-1 -
前言、目录、前言、会议组织。 哈维尔·埃斯帕尔扎 :
保护人群安全:关于参数化验证的复杂性(邀请谈话)。 1-10 彼得·布罗·米尔特森 :
计算博弈论中的半代数几何——消费者的视角(邀请谈话)。 11-12 吕克·塞古芬 :
恒定延迟枚举一瞥(邀请谈话)。 13-27 尼拉杰皮划艇 :
算术电路复杂性(教程)。 28-28 马雷克·阿达姆齐克 , 马克西姆·斯维里登科 , 贾斯汀·沃德 :
拟阵上的子模随机探测。 29-40 马修·安德森 , 阿努杰·达瓦尔 :
关于对称电路和定点逻辑。 41-52 埃里克·安吉尔 , 巴姆皮斯叶夫里皮迪斯叶夫里皮迪斯叶夫里皮迪斯叶夫里皮迪斯叶夫里皮迪斯叶夫里皮迪斯叶夫里皮迪斯叶夫里皮迪斯叶夫里皮迪斯叶夫里皮迪斯叶夫里皮迪斯叶夫里皮迪斯叶夫里皮迪斯叶夫里皮迪斯叶夫里皮迪斯叶夫里皮迪斯叶夫里皮迪斯叶夫里皮迪斯 , 周润伟先生 :
速度缩放设置中的吞吐量最大化。 53-62 安东尼奥斯·安东尼亚迪斯 , 尼尔·巴塞洛 , 马里奥·康塞格拉 , 彼得·克林 , 迈克尔·纽金特 , 柯克·普鲁斯 , 米歇尔·斯奎萨托 :
最佳能量和分数加权流量权衡表的有效计算。 63-74 朱利奥·阿劳乔 , 尼古拉斯·尼塞 , 斯特凡·佩雷恩 :
树中的加权着色。 75-86 尤西·阿扎尔 , 马蒂亚斯·恩格勒 , 伊夫塔·甘祖 , Eytan Kidron公司 :
广义重新排序缓冲区管理。 87-98 哈里斯·阿齐兹 , 巴特·德·凯伊泽 :
沙普利遇见了沙普利。 99-111 尼古拉斯·巴基 :
空间周期元胞自动机的复杂性类。 112-124 布鲁诺·鲍文斯 :
在线预测奇偶位的Kolmogorov复杂性的不对称性。 125-136 迈克尔·贝科斯 , 马丁·格罗尼曼 , Chrysanthi N.Raptopoulou公司 :
四平面图的两页嵌入书。 137-148 佩特拉·贝伦布里克 , Funda Ergün基金会 , 弗雷德里克·马尔曼·特伦 , 额尔凡·萨德奇·阿泽 :
流模型中的回文识别。 149-161 弗朗辛·布兰切特·萨德里 , 米歇尔·博德纳尔 , 本杰明·德·温克尔 :
前缀数组、边界数组、无向图和不确定字符串之间的新边界和扩展关系。 162-173 琼·博亚尔 , 沙欣·卡马利 , 金·拉森 , 亚历杭德罗·洛佩斯·奥尔蒂斯 :
在线垃圾箱包装及建议。 174-186 卡尔·布林曼 , 托马斯·索尔瓦尔德 , 亚历山大·斯陶弗 , 何荪 :
通过本地搜索将球放入箱子:覆盖时间和最大负载。 187-198 维罗妮克·布鲁耶尔 , 艾曼纽尔·菲利奥特 , 米凯尔·兰德尔 , Jean-François Raskin女士 :
保证满足您的期望:超越定量游戏中的最坏情况合成。 199-213 曹益新 , 达尼尔·马克思 :
和弦编辑是固定参数可控制的。 214-225 陈建嘉 , Mong-Jen-Kao(孟仁高) , D.T.李 , 伊格纳兹·拉特 , 多萝西娅·瓦格纳 :
具有硬实时保证的在线动态电源管理。 226-238 苏里亚吉思·齐拉拉 , 穆霍帕迪亚 :
深度-4下限,确定性复杂性:统一方法。 239-250 马雷克·赛根 , 托马斯·科祖马卡 :
带异常值的电容k-中心的常数因子近似。 251-262 达鲁什·德雷尼奥斯基 , 阿德里安·科索夫斯基 , 多米尼克·帕杰克 , 普尔泽米斯瓦夫·乌兹南斯基 :
平行转子行走覆盖时间的界。 263-275 Yann异议 , 马克斯·克里姆 , 妮可·梅高 , 塞巴斯蒂安·斯蒂勒 :
包装容量未知的背包。 276-287 波尔·格伦斯·德朗奇 , 费多·弗明 , 米查尔·皮利普祖克 , Yngve村民 :
探索完井问题的次指数参数化复杂性。 288-299 Yuval Filmus公司 , 马西莫·劳里亚 , 姆拉登·米克萨 , 雅各布·诺德斯特伦 , 马克·维尼亚尔斯 :
分辨率从小空间到小宽度。 300-311 瓦伦丁·加内罗 , 克里斯托夫·保罗 , 伊格纳西·绍 , 迪米特里奥斯·M·蒂利科斯 :
通过动态规划实现显式线性核。 312-324 德米特里·加文斯基 , 帕维尔·普德拉克 :
分区扩展器。 325-336 Pawel Gawrychowski先生 , 弗洛林·马内亚 , 德克·诺沃特卡 :
测试词语的一般自由度。 337-349 安德烈亚斯·哥贝尔 , 莱斯利·安·戈德伯格 , 大卫·理查德比 :
仙人掌图模2的同态计数。 350-361 马修·霍洛普 :
不可逆的可计算函数。 362-373 马丁·胡申贝特 , 曼弗雷德·库夫莱特纳 :
Omega-Terms上的Ehrenfeucht-Fraísse Games。 374-385 友弘一世 , Juha Karkkäinen公司 , 多米尼克·坎帕 :
更快速的稀疏后缀排序。 386-396 加博尔·伊万尼奥斯 , 马雷克·卡宾斯基 , 乔有明 , 米克洛斯·桑塔 :
广义Wong序列及其在Edmonds问题中的应用。 397-408 岩岛和雄 , 长尾Atsuki :
请阅读有关树评估问题的一次分支程序。 409-420 伊曼纽尔·詹德尔 :
单带图灵机熵的可计算性。 421-432 托马斯·杰利内克 , 马库斯·克拉斯 , 吉多·施费尔 :
计算具有弧约束和异构玩家的最优通行费。 433-444 阿图尔·杰兹 , 马库斯·洛伊 :
最小线性树文法的近似。 445-457 川崎敬一 , 米克尔·索洛普 :
用o(n^{1/5})种颜色对3-可着色图进行着色。 458-469 丹尼斯·科姆 , 拉斯蒂斯拉夫·克拉洛维奇 , 理查德·克拉洛维奇 , 托比亚斯·莫凯 :
具有高概率保证的随机在线算法。 470-481 罗宾·科塔里 :
预言机识别问题的一种最优量子算法。 482-493 蒂莫·科钦 :
维哈根论文的解决方案。 494-505 莫舍·勒文斯坦 , 雅科夫·奈克里奇 , 杰弗里·斯科特·维特 :
用于通配符模式匹配的节省空间的字符串索引。 506-517 迭戈·菲奎拉 , 列奥尼德·利布金 :
同步单词上的关系。 518-529 马库斯·洛伊 , 乔治·泽采 :
在布尔闭合的全三重奏和有理克里普克框架上。 530-541 达尼尔·马克思 , 米查尔·皮利普祖克 :
关于子图同构的参数化复杂性,您一直想知道的一切(但不敢问)。 542-553 约翰·米切尔 , 乔·齐默尔曼 :
数据共享数据结构。 554-565 贝诺伊特·莫宁 :
更高的随机性和封闭集强制。 566-577 纳比尔·穆斯塔法 , Saurabh Ray公司 :
Macbeath定理的近最优推广。 578-589 Dung T.Nguyen先生 , 艾伦·L·塞尔曼 :
NEXP的非自动还原集。 590-601 安德烈·尼斯 :
多项式时间可计算函数的可微性。 602-613 阿德琳·皮埃罗 , 多米尼克·罗辛 :
2堆栈排序是多项式。 614-626 米歇尔·斯奎萨托 , 弗朗西斯科·西尔维斯特里 :
分布式内存计算的通信下限。 627-638 马丁·斯科特拉 , 马克西姆·斯维里登科 , 马克·尤兹 :
无关机器上的随机调度。 639-650 汉内斯·厄普曼 :
三元域上扩展最小代价同态问题的计算复杂性。 651-662 托马斯·沃森 :
确定可抽样分布统计特性的复杂性。 663-674 山本俊一 , 友弘一世 , 希德奥·班奈 , Shunsuke Inenaga公司 , 武田正之 :
更快的紧凑在线Lempel-Ziv因子分解。 675-686