SIAM计算机杂志,第9卷
第9卷第1期,1980年2月
艾伦·C·塔克 :
圆弧图的一个有效检验。 1-24 史蒂芬·L·布鲁姆 , 卡尔文·埃尔戈特 , 杰西·莱特 :
迭代方程的解和标量迭代运算的扩展。 25-45 钱德拉·M·R·金塔拉 , 帕特里克·菲舍尔 :
改进相对多项式时间限制计算中的不确定性。 46-53 理查德·布伦特 , 约瑟夫·特劳布 :
关于幂级数合成和广义合成的复杂性。 54-66 马修·轩尼诗 :
非确定性环境中按值调用和按名称调用的语义。 67-84 保罗·斯托克迈耶 , F.弗朗西斯·姚 :
关于线性合并的最优性。 85-90 Yookun Cho公司 , 萨尔塔吉·萨赫尼 :
统一处理器上列表调度的边界。 91-103 理查德·斯塔特曼 :
具有Paramodulation的输入分辨率的最坏情况指数下限。 104-110 C.K.Wong先生 , 马尔科姆·伊斯顿 :
一种无需替换的加权采样的有效方法。 111-113 哈特马尼斯 :
语言不同表现形式的简洁性。 114-120 大卫·P·多布金 , 理查德·利普顿 :
特殊多项式计算的加法链方法。 121-125 丹尼尔·S·赫施伯格 :
关于搜索向量集的复杂性。 126-129 詹姆斯·乔伊奇 , 丹尼斯·E·怀特 , S.G.威廉姆森 :
组合格雷码。 130-141 菲利普·弗拉乔莱 , 莱尔·拉姆肖 :
关于格雷码与奇偶合并的注记。 142-158 巴里·罗森 :
用于快速数据流分析的单体。 159-196 兹维·郭历理 :
求图的顶点连通性。 197-199 D.T.李 , C.K.Wong先生 :
L中的Voronoi图 1 (升 英菲 )二维存储应用的指标。 200-211 拉兹洛巴拜 :
强正则图的规范标号的复杂性。 212-216 埃里克·C·R·海纳 , R.奈杰尔·霍斯普尔 :
勘误表:快速简易算术中有理数的新表示法。 217
第9卷第2期,1980年5月
尤西·希洛赫 :
平面图的一种多终端最小割算法。 219-224 许缪尔·维诺格拉特 :
关于多项式模的乘法。 225-229 尼古拉斯·皮彭格 :
关于权力和单项式的评价。 230-250 萨尔瓦多·D·莫格拉 :
大型离散傅立叶变换的有效合成与实现。 251-272 迈克尔·拉宾 :
有限域中的概率算法。 273-280 德里克·科内尔 , 大卫·G·柯克帕特里克 :
图同构问题各种启发式的理论分析。 281-297 弗兰克·K·黄 :
3个元素与n个元素的最佳合并。 298-320 维克多·Y·潘 :
矩阵运算的新快速算法。 321-342 姚期智 , 罗纳德·里维斯特 :
关于多面体决策问题。 343-347 艾坦·古拉里 , 奥斯卡·H·伊巴拉 :
路径系统:构造、解决方案和应用。 348-374 约翰·雷夫 :
代码运动。 375-395 哈里·亨特三世 , 罗伯特·康斯特布尔 , 萨尔塔吉·萨赫尼 :
程序方案等价的计算复杂性。 396-416 兹维·郭历理 , 乔尔·塞菲亚斯 :
在快速字符串匹配中节省空间。 417-438 大卫·K·普罗布斯特 , Vangalur S.Alagar公司 :
勘误表:稀疏多项式的一系列算法。 439
第9卷第3期,1980年8月
哈特穆特·埃里格 , 巴里·罗森 :
记录处理数学。 441-469 小道格拉斯·斯托特·帕克。 :
哈夫曼算法最优性的条件。 470-489 阿诺德·施恩哈吉 :
存储修改机器。 490-508 沃伊切赫·莱特 :
Boyer-Moore字符串搜索的正确预处理算法。 509-512 约翰·吉尔伯特 , 托马斯·伦高 , 塔扬 :
卵石问题在多项式空间中是完全的。 513-524 史蒂芬·L·布鲁姆 , 卡尔文·埃尔戈特 , 杰西·莱特 :
点迭代理论中的向量迭代。 525-540 杰弗里·贾菲 :
类型化任务系统调度的边界。 541-551 布鲁斯·维德 :
随机图和图优化问题。 552-557 尤金·劳勒 , 简·卡雷尔·伦斯特拉 , A.H.G.Rinnooy Kan先生 :
生成所有最大独立集:NP-Hardness和多项式时间算法。 558-565 姚期智 :
选择网络上的边界。 566-582 艾伦·乔治 , 约瑟夫·W·H·刘 :
对称矩阵符号分解的一种优化算法。 583-593 马克·布朗 , 塔扬 :
用于表示排序列表的数据结构的设计和分析。 594-614 理查德·利普顿 , 塔扬 :
平面分离器定理的应用。 615-627 拉兹洛巴拜 , 保罗·埃尔德斯 , 斯坦利·塞尔科夫 :
随机图同构。 628-635 史提芬·古克 , 查尔斯·拉科夫 :
受限机器上迷宫可线程性的空间下界。 636-652 郭仲泰 :
上下文无关语法的预测。 653-664
第9卷第4期,1980年11月
Krzysztof R.公寓 , 兰伯特·G·L·T·梅滕斯 :
递归程序方案的中间断言有限系统的完备性。 665-671 列奥尼达斯·吉巴斯 , 安德鲁·奥德利兹科 :
Boyer-Moore字符串搜索算法线性度的新证明。 672-682 史蒂芬·L·布鲁姆 , 拉尔夫·廷德尔 :
树的度量理论上的相容序。 683-691 达里奥·比尼 , 格拉齐亚·洛蒂 , 弗朗西斯科·罗马尼 :
双线性形式计算问题的近似解。 692-697 大卫·A·普莱斯特 :
多元多项式在推理规则和部分不满足性检验中的应用。 698-705 特里·拜尔 , 桑德拉·米切尔·赫德涅米 :
生根树的恒定时间生成。 706-712 约瑟夫·贾贾 :
关于具有交换性的双线性形式的复杂性。 713-728 罗纳德·V·书 , 弗朗茨·约瑟夫·勃兰登堡 :
等式集和复杂性类。 729-743 大卫·纳西米 , 萨尔塔吉·萨赫尼 :
在网格连接的并行计算机上查找连接的组件和连接的组件。 744-757 加迪尔·塞鲁西 , 亚伯拉罕·伦佩尔 :
有限域中对称矩阵和迹正交基的因式分解。 758-767 杰罗姆·A·费尔德曼 , 阿尼尔·尼甘姆 :
基于消息的系统的模型和证明技术。 768-784 Mila E.Majster-Cederbaum公司 , 安吉丽卡·赖瑟 :
位置树的高效在线构造和校正。 785-807 小爱德华·G·考夫曼。 , M.R.Garey先生 , 大卫·S·约翰逊 , 塔扬 :
面向水平的二维打包算法的性能边界。 808-826 孟加拉阿斯普瓦尔 , 尤西·希洛赫 :
求解每个不等式有两个变量的线性不等式组的多项式时间算法。 827-845 布伦达·S·贝克 , 小爱德华·G·考夫曼。 , 罗纳德·里维斯特 :
二维正交填料。 846-855