2002年第19届STACS:Antibes Juan-les-Pins,法国
赫尔穆特Alt , 阿方索·费雷拉 :
STACS 2002,第19届计算机科学理论方面年度研讨会,Antibes-Juan les Pins,法国,2002年3月14日至16日,会议记录。 计算机科学课堂讲稿 2285, 施普林格 2002 ,国际标准图书编号 3-540-43283-3
受邀论文
算法
皮埃尔·弗拉吉诺 , 西里尔·加维尔 :
树中路由的空间下限。 65-75 阿莫斯·科尔曼 , 大卫·佩莱 , 约夫·罗德 :
动态树网络的标记方案。 76-87 迈卡·阿德勒 , 阿迪·罗森 :
DAG上最长系统性能的严格界限。 88-99 克劳斯·詹森 :
近似强分离及其在分数图着色和抢占调度中的应用。 100-111 本杰明·多尔 :
均衡着色:所有颜色都同样容易? 112-120 约翰内斯·科布勒 , 雅各布·托兰 :
色类为2和3的着色图的图同构的复杂性。 121-132 恩德雷·博罗斯 , 弗拉基米尔·古尔维奇 , 列奥尼德·哈奇扬 , Kazuhisa Makino公司 :
关于生成最大频繁集和最小不频繁集的复杂性。 133-141 哈立德·埃尔巴西尼 :
论森林产品的二元化。 142-153 雷诺·莱佩尔 , 克里斯托夫·拉宾 :
大通信延迟图上具有重复调度问题的渐近O(ln-rho/ln-ln-rho)-逼近算法。 154-165 汉娜·巴斯特 :
《暮光之路》的日程安排。 166-178 阿兰·达特 , 纪尧姆·华德 :
多维循环对齐的复杂性。 179-191 托马斯·霍夫迈斯特 , 乌韦·舍宁 , 雷纳·舒勒 , 渡边修(Osamu Watanabe) :
一种概率3-SAT算法的进一步改进。 192-202 乌尔夫·洛伦茨 , 博克哈德·莫尼恩 :
当使用随机错误评估时,选择性游戏树搜索的秘密。 203-214 维克多·Y·潘 :
基本矩阵计算的随机加速。 215-226 L.苏尼尔·钱德兰 , L.Shankar公羊 :
带参数化三角不等式的ATSP逼近。 227-237 约阿希姆·吉森 , 马提亚斯·约翰 :
平面中的磁盘的新图表。 238-249 斯特凡·兰格曼 , 帕特·莫林 , 迈克尔·索斯 :
计算平面路径、树和循环的最大迂回和跨度比。 250-261
当前的挑战
迈克尔·R·费罗斯 , 延斯·格拉姆 , 罗尔夫·尼德迈尔 :
关于最近子串大小的参数化不可导性及相关问题。 262-273 罗尔夫·巴科芬 , N.S.纳拉亚纳斯瓦米 , 瑞士冷杉 :
mRNA结构约束下蛋白质相似性搜索的复杂性。 274-286 曼纽尔·博德斯基 , 马丁·库茨 :
纯粹优势约束。 287-298 彼得·霍耶 , 罗纳德·沃尔夫 :
改进的量子通信复杂性——不相交和平等的界限。 299-310 西村正美 :
关于振幅受限的量子计算。 311-322 马克·阿德科克 , 理查德·克利夫 :
量子Goldreich-Levin定理及其密码学应用。 323-334 哈特穆特·克劳克 :
关于量子和近似隐私。 335-346 马特·德格拉夫 , 罗纳德·沃尔夫 :
关于姚原理的量子版本。 347-358
计算和结构复杂性
Jörg Flum公司 , 马丁·格罗 :
描述参数化复杂度类。 359-371 马蒂亚斯·克劳斯 :
布尔决策表的计算能力。 372-383 汉斯·乌里希·西蒙 :
质疑型学习者可以容忍多少遗漏的答案? 384-395 申爱达 , 马塞尔·克拉斯马鲁 , 肯尼思·雷根 , 渡边大木 :
具有独特属性的游戏。 396-407 阿杜里·帕凡 , 艾伦·L·塞尔曼 :
双社区分离出强大的NP-完整性概念。 408-418 迪马·格里戈里耶夫 , 爱德华·赫施 , 德米特里·帕西尼克 :
半代数证明的复杂性。 419-430 菲利普·沃尔费尔 :
限制分支程序和应用程序的下限技术。 431-442 安德烈·克鲁金 , 彼得·杰文斯 , 彼得·琼森 :
间隔和长度约束的复杂性。 443-454
自动化与形式语言
丹尼斯·塞利安 , 托马斯·威尔克 :
线性时间逻辑中的嵌套直到和自。 455-464 直到Tantau :
比较有限自动机和图灵机的动词性。 465-476 丹尼尔·克罗布 , 让·梅莱斯 , 伊奥尼斯·米科斯 :
关于迹幺半群的平均并行性。 477-488 迪特里希·库斯克 :
常规MSC语言理论的进一步发展。 489-500 沃尔克·迪克特 , 马库斯·洛伊 :
图积中方程的存在论和正理论。 501-512 霍尔格·彼得森 :
具有交集的正则表达式的成员资格问题在LOGCFL中是完全的。 513-522 雷米·莫林 :
可识别的消息序列图集。 523-534 吉尔·斯尔巴 :
基本并行过程的强相似性和正则性是PSPACE-Hard。 535-546 玛丽·皮埃尔·贝亚尔 , 多米尼克·佩林 :
关于k符号上正则语言的枚举序列。 547-558
计算机科学中的逻辑
克里斯托夫·洛丁 :
有界树宽的地树重写图。 559-570 Deepak D'Souza公司 , P.马都苏丹 :
外部规格的定时控制合成。 571-582 Jos C.M.Baeten先生 , 埃里克·德文克 :
公理化GSOS与终止。 583-595 阿奇姆·布卢门萨特 :
公理化树解释结构。 596-607 伊曼纽尔·基伦斯基 :
EXPSPACE——具有传递性的保护片段的完整变体。 608-619 斯特凡·德姆里 , 弗朗索瓦·拉鲁西尼 , 菲利普·施诺贝伦 :
模型检验中状态爆炸问题的参数分析。 620-631 马库斯·弗里克 :
局部树分解类的广义模型检查。 632-644 马丁·格罗 , 吉尔吉斯·图兰 :
树和类似结构中的可学习性和可定义性。 645-658