9.COCOON 2003:美国马萨诸塞州大天空
坦迪·J·沃诺 , 滨海朱 :
计算与组合学,第九届国际年会,COCOON 2003,Big Sky,MT,USA,2003年7月25-28日,会议记录。 计算机科学课堂讲稿 2697, 施普林格 2003 ,国际标准图书编号 3-540-40534-8
受邀演讲
乔尔·斯潘塞 :
说谎者! 1-2 乔恩·路易斯·本特利 :
算法工程实验。 3-4 任华忠 , 丹·古斯菲尔德 :
完美系统发育单体型和单体型的实证研究。 5-19
计算几何I
谢尔盖·贝斯帕米亚特尼赫 :
变形项链的圆柱形层次。 20-29 Danny Z.Chen(丹尼·陈) , 徐斌(Bin Xu) :
聚合层次聚类的几何算法。 30-39 徐金辉 , 杨扬 , 林志勇 :
旅行推销员细分问题。 40-49 安德烈·林加斯 , 马丁·沃伦 :
盒图上最大独立集的次指数时间算法及相关问题。 50-56
计算生物学I
永高 , 吴俊峰 , 罗伯特·尼维亚多姆斯基 , 杨旺(Yang Wang) , 陈志忠 , 林国辉 :
具有反转的序列对齐的空间高效算法。 57-67 安妮·贝杰伦 , 延斯·斯托耶 :
关于置换集合的相似性及其在基因组比较中的应用。 68-79 魏福 , 永基议员 , Wing-Kin Sung(Wing-Kin-Sung) :
关于所有子串对齐问题。 80-89
计算/复杂性理论I
埃尔达·费舍尔 , 约翰·马科斯基 :
重新审视Specker-Blater定理。 90-101 郑西忠 :
关于散度有界可计算实数。 102-111 汉诺·莱夫曼 :
有限域上的稀疏奇偶校验矩阵(扩展抽象)。 112-121
图论/算法I
陈燕红 , 金龙路 , 川仪汤 :
关于完全和瓶颈完全斯坦纳树问题。 122-129 浅野忠雄 , 加藤直树 , 田木久雄 , 德山武 :
图的全局舍入的结构和数量。 130-138 张华明 , 新河 :
关于2-连通嵌入图的偶三角剖分。 139-148
自动机/Petri网理论
徐春燕 , 连宝玉 :
带简单电路的Petri网。 149-158 皮埃尔路易吉·圣彼得罗 , 哲当 :
多队列离散时间自动机的自动验证。 159-171
图论/算法II
小周 , 松尾由纪夫 , 西泽高雄 :
列出系列-平行图的总着色。 172-181 特蕾莎·比德尔 , 布隆娜·布列乔娃 , 埃里克·D·德曼 , 安格尔·M·哈默尔 , 亚历杭德罗·洛佩斯·奥尔蒂斯 , 托马斯·维纳尔 :
在区间图中寻找隐藏的独立集。 182-191 川原贤治 , 冈本义雄 , Takeaki Uno先生 :
团簇配合物的拟阵表示。 192-201
复杂性理论II
Jin-yi Cai公司 , 渡边修(Osamu Watanabe) :
关于证明多项式时间层次的电路下限:正负结果。 202-211 马丁·库茨 :
布尔矩阵根计算的复杂性。 212-221 山本弘(Hiroaki Yamamoto) , 宫崎隆志 :
用于匹配扩展正则表达式的快速位并行算法。 222-231
分布式计算
Masataka Takamura高村 , 吉希德·伊加拉西(Yoshihide Igarashi) :
基于票序的群组互斥算法。 232-241 安德烈·齐格里诺 , 米查尔·汉科威克 :
用于更好地逼近最大匹配的分布式算法。 242-251 埃里克·施瓦布 , 伊恩·萨瑟兰 :
奇偶分解数据布局的高效映射。 252-261
基于Web的计算
邓晓铁 , 齐志芳 , 朱山峰 :
近似等级聚合(初步版本)。 262-271 李贤哲 , 艾伦·鲍罗丁 :
超链接环境的扰动。 272-283 陈志祥 , 理查德·福勒 , 阿达·韦奇·傅(Ada Wai-Chee Fu) , 王春月 :
在一个非常大的字母表上快速构造广义后缀树。 284-293
复杂性理论III
图论/算法III
Jung-Heum公园 , Hee-Chul Kim先生 :
路与圈乘积图的Fault-Hamilton性。 319-328 菊池洋介 , 萨布 , 中野信义 , 枝田幸男 :
如何获得毛虫的完整列表(扩展摘要)。 329-338 马格努斯·M·哈尔德森 , 岩岛和雄 , 宫崎水一 , 柳泽弘(Hiroki Yanagisawa) :
稳定婚姻问题的随机逼近。 339-350
计算几何II
埃里克·D·德曼 , 苏珊·霍亨伯格 , 大卫·利本·诺威尔 :
俄罗斯方块很难,甚至很难接近。 351-363 李向阳 :
本地UDG的近似MST。 364-373 李向阳 , Yu Wang(王宇) :
低重量有界度平面扳手的高效构造。 374-384
图论/算法IV
L.苏尼尔·钱德兰 , Telikepalli Kavitha公司 , C.R.Subramanian公司 :
等周不等式与图的宽度参数。 385-393 费萨尔·阿布·科扎姆 , 迈克尔·A·兰斯顿 :
图形着色和浸入顺序。 394-403 卡洛·盖比索 , 吉多·普罗埃蒂 , 理查德·谭 :
平面图中每个节点瞬时删除的最优MST维护。 404-414
行程安排
金在勋(Jae-Hoon Kim) , Kyung-Yong Chwa公司 :
安排有截止日期的广播。 415-424 弗朗西斯·李·钦 , 斯坦利·冯(Stanley P.Y.Fung) :
改进的具有部分作业值的在线调度竞争算法。 425-434 陈丽华 , 邓晓铁 , 齐志芳 , 丰田 :
《公共设施配置的多数均衡》(初版)。 435-444
计算几何III
Günter Rote公司 , 曹安王 , 王路生 , 许银凤 :
关于约束最小伪三角。 445-454 吴晓东 , Danny Z.Chen(丹尼·陈) , 詹姆斯·梅森 , 史蒂文·施密德 :
成对数据聚类及其应用。 455-466 迈克尔·柯林斯 :
用最小圈数覆盖一组点。 467-474
图形绘制
阿希姆·加格 , 阿德里安·鲁苏 :
有序树的区域高效有序保留平面直线图。 475-486 法哈德·沙赫罗基 , 昂德雷·西科拉 , 拉兹洛·塞凯利 , 伊姆里希·弗托 :
凸交叉数的界。 487-495 耶胡达·科伦 :
关于谱图绘制。 496-508
计算生物学II
潘毅恩(Yih-En Andrew Ban) , 谢尔盖·贝斯帕米亚特尼赫 , 纳比尔·穆斯塔法 :
组合化学中Wiener指数的一个猜想。 509-518 马克·齐利耶巴克 , 斯蒂芬·艾登本兹 , 格哈德·沃金格(Gerhard J.Woeginger) :
重温双重文摘:存在噪声数据时的复杂性和近似性。 519-527 罗纳德·格林伯格 :
长距离编码序列中重段或密集段的快速和空间效率定位:(扩展抽象)。 528-536 马克·马龙 , 克里斯特·斯文森 , 伯纳德·M·E·莫雷特 :
缺失和插入下的基因组距离。 537-547
固定参数复杂性理论
斯特凡·塞德尔 :
具有有界子句变量差的最小不满足公式是固定参数可追踪的。 548-558