第15届STOC 1983年:美国马萨诸塞州波士顿
大卫·约翰逊 , 罗纳德·费金 , 迈克尔·弗雷德曼 , 哈雷尔 , 理查德·卡普 , 南希·A·林奇 , 克里斯托斯·帕帕迪米特里奥 , 罗纳德·里维斯 , 沃尔特·卢佐 , 乔尔·塞菲亚斯 :
1983年4月25日至27日在美国马萨诸塞州波士顿举行的第15届ACM计算机理论年会论文集。 ACM公司 1983 米克洛斯·阿杰泰 , 杰诺斯·科洛斯 , 恩德雷·斯泽梅雷迪 :
一个O(n log n)排序网络。 1-9 约翰·雷夫 , 莱斯利·瓦利安特 :
线性尺寸网络的对数时间排序。 10-16 约阿希姆·冯·祖尔·加滕 :
代数问题的并行算法。 17-23 昆廷·F·斯托特 :
拓扑匹配。 24-31 佩特格拉奇 :
元胞自动机的可靠计算。 32-41 丹尼·多列夫 , 辛提亚·沃克 , 尼古拉斯·皮彭格 , 阿维·威格德森 :
深度有限的超级浓缩器、广义浓缩器和广义连接器(初步版本)。 42-51 阿肖克·K·钱德拉 , 史蒂文·福琼 , 理查德·利普顿 :
无界扇入电路和关联函数。 52-60 迈克尔·西普塞 :
Borel集与电路复杂性。 61-69 弗里德海姆·梅耶(Friedhem Meyer auf der Heide) :
求解N维背包问题的多项式线性搜索算法。 70-79 迈克尔·本·奥尔 :
代数计算树的下限(初步报告)。 80-86 阿伦·博罗丁 , 丹尼·多列夫 , 费斯·菲奇 , 沃尔夫冈·保罗 :
宽度为2的分支程序的边界。 87-93 阿肖克·K·钱德拉 , 梅里克·L·福斯特 , 理查德·利普顿 :
多方协议。 94-99 费斯·菲奇 :
并行前缀电路的新边界。 100-109 莱斯利·瓦利安特 :
限制单音电路的指数下界。 110-117 拉里·斯托克梅耶 :
近似计数的复杂性(初步版本)。 118-126 帕沃尔·杜利斯 , 兹维·郭历理 , 沃尔夫冈·保罗 , Rüdiger Reischuk公司 :
两个非线性下限。 127-132 阿尔弗雷德·阿霍 , 杰弗里·D·厄尔曼 , 米哈利斯·扬纳卡基斯 :
超大规模集成电路中的信息传递概念。 133-139 苏珊·兰多 , 加里·米勒 :
根的可解性在多项式时间。 140-151 詹姆斯·德里斯科尔 , 梅里克·L·福斯特 :
关于置换群的直径。 152-160 马丁·福勒 , 沃尔特·施奈德 , 恩斯特·斯派克 :
三价图和有界价图的正规形式。 161-170 拉兹洛巴拜 , 尤金·M·卢克斯 :
图的规范标记。 171-183 埃里克·巴赫 :
如何使用已知因子分解生成随机整数。 184-188 阿扬·K·伦斯特拉 :
有限域上多元多项式的因子分解(扩展抽象)。 189-192 拉维·坎南 :
整数规划及相关格问题的改进算法。 193-206 科尔姆·奥斯丁林 , 米查·谢里尔 , 芝麻坑 :
后退:运动规划的新方法(扩展抽象)。 207-220 列奥尼达斯·吉巴斯 , 豪尔赫·斯托尔菲 :
一般细分操作和Voronoi图计算的基本原理。 221-234 丹尼尔·多米尼克·斯莱特 , 塔扬 :
自调整二叉树。 235-245 哈罗德·加博 , 塔扬 :
不相交集合并特殊情况下的线性时间算法。 246-251 格雷格·弗雷德里克森 :
用于最小生成树的在线更新的数据结构(初步版本)。 252-257 F.弗朗西斯·姚 :
3空间划分及其应用(扩展抽象)。 258-263 巴黎C.Kanellakis , 斯塔夫罗斯·科斯马达基斯 , 莫舍·瓦尔迪 :
一元包含依赖具有多项式时间推断问题(扩展抽象)。 264-277 阿米尔·普努利 :
概率算法的极端公平处理。 278-290 德克斯特·科赞 :
概率PDL。 291-297 伊莎·费尔德曼 :
一种可判定命题概率动态逻辑。 298-309 约瑟夫·哈珀(Joseph Y.Halpern) , 迈克尔·拉宾 :
可能性推理逻辑。 310-319 Ernst-Rüdiger Olderog公司 :
类Pascal过程程序的Hoare逻辑特征。 320-329 迈克尔·西普塞 :
随机性的复杂性理论方法。 330-335 帕特里克·戴蒙德 , 马丁·汤帕 :
同步并行机对确定性机器的加速。 336-343 拉维·坎南 :
交替和不确定性的力量。 344-346 尼尔·伊梅尔曼 :
捕获复杂类的语言(初步报告)。 347-354 戴尔·迈尔斯 :
随机访问层次结构(初步报告)。 355-364 乔斯特·恩格弗里特 :
迭代下推自动机和复杂性类。 365-373 岩岛和雄 :
无序字符串的独特可分解性:异步时分复用通信的形式化处理。 374-381 哈特马尼斯 , 维维安·塞韦尔森 , 尼尔·伊梅尔曼 :
NP-P:EXPTIME与NEXPTIME中的稀疏集。 382-391 保罗·杨 :
NP中多项式可约性和集合的一些结构性质。 392-401 伦纳德·阿德曼 :
破解广义背包公钥密码系统(摘要)。 402-412 道格拉斯·L·朗 , 阿维·威格德森 :
离散日志有多谨慎? 413-420 迈克尔·本·奥尔 , 本尼·乔尔 , 阿迪·沙米尔 :
关于单个RSA位的密码安全性。 421-430 沙菲·戈德瓦塞尔 , 西尔维奥·米卡利 , 姚期智 :
强签名方案。 431-439 曼纽尔·布卢姆 :
如何交换(机密)密钥(扩展摘要)。 440-447 哈罗德·加博 :
度约束子图和双向网络流问题的一种有效约简技术。 448-456 杰里米·斯宾拉德 :
O(n²)时间内的传递方向。 457-466 乔纳森·特纳 :
带宽最小化算法的概率分析。 467-476 布伦达·S·贝克 , 桑迪普·N·巴特 , 弗兰克·汤姆森·莱顿 :
曼哈顿路由的一种近似算法(扩展摘要)。 477-486
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)