第16届STACS 1999:德国特里尔
受邀会谈
诺姆·尼桑 :
自私代理的算法。 1-15 帕特里斯·奥斯纳·德门德斯 :
多重图的约化亏格。 16月31日 托马斯·威尔克 :
离散时间属性分类。 32-46
复杂性1
并行算法理论1
亚历山大·安德列夫 , 安德里亚·克莱门蒂 , 保罗·佩纳 , 何塞·D·P·罗利姆 :
大型共享数据的内存组织方案:分布式内存机器的随机解决方案。 68-77 安德烈亚斯·雅各比 :
处理器网络中计算前缀函数的平均时间复杂性。 78-89
复杂性2
Jin-yi Cai公司 , 阿杜里·帕凡 , D.西瓦库马尔 :
关于永久性的硬度。 90-99 哈里·布尔曼 , 兰斯·福特诺 :
概率计算中的单面误差与双面误差。 100-109
计算几何
基督教冰壶 , 罗尔夫·克莱恩 , 埃尔玛·兰盖特佩 :
步行街的最佳竞争策略。 110-120 斯文·舒伊尔 , 伊内斯·塞姆罗 :
在未知街道中搜索的最佳策略。 121-131 米凯尔·哈马尔 , 本特·尼尔森 , 斯文·舒伊尔 :
在m条光线上进行并行搜索。 132-142
复杂性3
克莱门斯·劳特曼 , 妮可·施韦卡特 , 托马斯·施温蒂克 :
非确定性图灵机上线性时间的逻辑特征。 143-152 布鲁诺·杜兰德 , 亚历山大·沈 , 尼古拉·韦雷沙金(Nikolai K.Vereshchagin) :
可计算序列的描述性复杂性。 153-162 克利夫德·伯格曼 , 乔拉·斯卢茨基 :
泛代数中若干问题的复杂性。 163-172
算法和数据结构1
Ton Kloks公司 , 扬·克拉托奇维尔 , 海科米勒 :
新Branchwidth地区。 173-183 高明扬 , 安德烈·林加斯 , 安娜·斯特林 :
平衡随机树分裂及其在进化树构造中的应用。 184-196 文森特·布奇特 , Ioan Todinca公司 :
弱三角图的树宽和最小填充。 197-206
自动化与形式语言
维萨·哈拉瓦 , 米卡·希尔文萨洛 , 罗纳德·沃尔夫 :
标记PCP的可决定性和不可决定性。 207-216年 约翰·迈克尔·罗布森 , 沃尔克·迪克特 :
关于二次方程式。 217-226 丹尼尔·克里斯滕 :
与迹幺半群中恒星问题有关的一些不可判定结果。 227-236
算法和数据结构2
冈纳·安德松 :
最大p截面的近似算法。 237-247 迪特尔·克拉奇 , 洛娜·斯图尔特 :
通过混合区间图布局来近似带宽。 248-258 罗伯特·普赖斯 :
一般图中最大加权匹配的线性时间1/2近似算法。 259-269
复杂性4
伊迪丝·赫玛斯潘德拉 , A.Hemaspandra巷 , 哈拉尔德·亨佩尔 :
将向下折叠从1-versus-2查询扩展到j-versus-j+1查询。 269-280 维克拉曼·阿文德 , 雅各布·托兰 :
稀疏集、近似集和NP的并行查询。 281-290
算法和数据结构3
乔普·西宾(Jop F.Sibeyn) :
外部选择。 291-301 蒂姆·阿伦特 :
指数函数的快速计算。 302-312
验证
算法和数据结构4
复杂性5
马里奥·塞格迪 :
用多少步骤可以解决k Peg版本的“河内之塔”游戏? 356-361 古德蒙德·斯科夫布杰尔·弗兰德森 , 约翰·P·汉森 , 彼得·布罗·米尔特森 :
动态代数问题的下限。 362-372 拉尔斯·恩格布雷森 :
距离为1和2的TSP的显式下限。 373-382
并行算法理论2
安德烈亚斯·雅各比 , 马西耶·利斯基维奇 , Rüdiger Reischuk公司 :
调度动态图。 383-392 威廉·埃洛 , 科斯塔斯·布希 , 赫利希 , 马里奥斯·马夫罗尼科拉斯 , 谢菲特 , 丹头头 :
支持平衡网络中的增量和减量操作。 393-403 埃利亚斯·库索皮亚斯 , 克里斯托斯·帕帕迪米特里奥 :
最坏情况均衡。 404-413
算法学习
Rüdiger Reischuk公司 , 托马斯·齐格曼 :
学习单项式的完整且严密的平均案例分析。 414-423 约翰·凯斯 , Keh-Jinn Chen(陈建安) , 桑杰·贾恩 :
通用学习成本。 424-433 雷纳·舒勒 :
普适分布和时限Kolmogorov复杂性。 434-443
计算机科学中的逻辑
克莱门斯·劳特曼 , 皮埃尔·麦肯齐 , 托马斯·施温蒂克 , 赫里贝特·沃尔默 :
LOGCFL的描述复杂性方法。 444-454 奥尔娜·库普夫曼 , 莫舍·瓦尔迪 :
自我补充的弱点。 455-466 托马斯·艾特 , 茨城东芝 , Kazuhisa Makino公司 :
论霍恩理论的差异。 467-477
复杂性6
马克·艾廷格 , 彼得·霍耶 :
非交换隐子群的量子算法。 478-487 马丁·索尔霍夫 :
关于k稳定函数的随机OBDD和Read-Once分支程序的大小。 488-499 乔瓦尼·迪·克雷塞佐 , 尼尔斯·弗格森 , 罗素·英帕利亚佐 , 马库斯·贾克博森 :
如何忘记秘密。 500-509
计算机科学中的逻辑2
马库斯·穆勒·奥尔姆 :
带Chop的模态定点逻辑。 510-520 拉娜·巴鲁阿 , 苏曼·罗伊 , 周朝晨 :
邻域逻辑的完备性。 521-530 马丁·奥托 :
消除微积分中的递归。 531-540
复杂性7
Jochen Meßner公司 :
关于最优算法和最优证明系统。 541-550 胡安·路易斯·埃斯特班 , 雅各布·托兰 :
分辨率的空间界限。 551-560