SIAM计算机杂志,第4卷
第4卷第1期,1975年3月
哈特马尼斯 , 西奥多·贝克 :
关于简单哥德尔编号和翻译。 1-11 丹尼斯·P·盖勒 :
使用反馈编码实现。 一: 经典理论的类比。 12-33 丹尼斯·P·盖勒 :
使用反馈编码实现。 二: 区分序列的应用。 34-48 罗伯特·曼德尔 , 托马斯·瓦里 :
非交换环上向量(以及其他双线性形式)内积的计算复杂性(允许使用辅助函数)。 49-55 卡帕利·P·埃斯瓦兰 :
集合族的区间集的忠实表示。 56-68 珍妮·费兰特 , 查尔斯·拉科夫 :
一阶有序实加法理论的判定程序。 69-76 唐纳德·约翰逊 :
求有向图的所有基本回路。 77-84 尤金·桑托斯 :
随机机器的状态分裂。 85-96
第4卷第2期,1975年6月
韦伯·米勒 :
计算复杂性和数值稳定性。 97-107 斯蒂芬·拉文伯格 , 杰拉尔德·谢德勒 :
封闭排队网络中工作速率估计的置信区间的推导。 108-124 爱德华·阿什克罗夫特 , 佐哈尔·曼纳 :
将程序模式转换为While-Schemas。 125-146 大卫·J·库克 , 清崎M.丸山 :
算术表达式并行计算的时间限制。 147-162 安德鲁·德·霍尔(Andrew D.Hall Jr.)。 :
用符号代数系统解决特征值逼近问题。 163-174 亚伯拉罕·伦佩尔 :
GF(2)上的矩阵分解与GF(2中的迹正交基 n个 ). 175-186 M.R.加里 , 罗纳德·格雷厄姆 :
具有资源约束的多处理器调度的边界。 187-200 霍罗威茨 , 萨尔塔伊·萨尼 :
符号多项式幂的计算。 201-208
第4卷第3期,1975年9月
丹尼斯·怀特 , S.G.威廉姆森 :
群不变量分区枚举的计算算法。 209-213 沃恩·R·普拉特 :
每个首相都有一张简洁的证书。 214-220 F.挂锁 :
在多项式时间内求平面图的最大割。 221-225 拉维·塞蒂 :
完成寄存器分配问题。 226-248 阿肖克·K·钱德拉 , C.K.Wong先生 :
与存储分配相关的放置算法的最坏情况分析。 249-263 罗伯特·L·(苏格兰)德累斯代尔三世 , 弗兰克·H·杨 :
改进的分割/排序/合并排序网络。 264-270 理查德·卡普 , A.C.McKellar公司 , C.K.Wong先生 :
二维布局问题的近似最优解。 271-286 阿诺德·罗森博格 :
管理可扩展阵列的存储。 287-306 小H.R.Strong。 , 安德烈亚·马吉奥洛·谢蒂尼 :
递归结构简化。 307-320 R.邦比 , E.库珀 , D.插销 :
有限偏序集同调的交互式计算。 321-325 沃恩·R·普拉特 :
否定思维在布尔矩阵乘法中的作用。 326-330 S.Rao Kosaraju公司 :
数组自动机识别上下文无关语言的速度。 331-340 W.H.Hosken公司 :
树寻址结构的最优分区。 341-347 莱斯利·瓦利安特 :
比较问题中的平行性。 348-355 霍尔格·奥德贝克 , 韦斯利·朱棣文 :
程序行为的更新模型。 356-374 菲利普·M·斯皮拉 , A.平移 :
关于查找和更新生成树和最短路径。 375-380 L.Revah公司 :
关于用辅助函数计算多项式的乘除数。 381-392 西蒙·埃文 :
一种确定图的连通性是否至少为k的算法。 393-396
第4卷第4期,1975年12月
M.R.Garey先生 , 大卫·约翰逊 :
资源约束下多处理器调度的复杂性结果。 397-411 丹尼尔·布兰德 :
用修正方法证明定理。 412-430 西奥多·贝克 , 约翰·吉尔 , 罗伯特·索洛维 :
P=?的相对论? NP问题。 431-442 阿诺德·罗森博格 :
保持阵列中的邻近性。 443-460 埃罗·盖伦贝 , 雅克·伦芬特 , 多米尼克·波特 :
固定头磁盘对可变长度传输的响应时间。 461-473 大卫·M·杰克逊 , G.H.约翰·范·里斯 :
广义双随机非负整数平方矩阵的枚举。 474-477 约翰·布鲁诺 , 米查·霍弗里 :
在具有有限抢占权的一个处理器上的作业调度链上。 478-490 迈克尔·D·阿尔德 :
模型神经元层次的收敛定理。 491-506 西蒙·埃文 , 塔扬 :
网络流和测试图连接。 507-518 马修·S·赫奇特 , 杰弗里·D·厄尔曼 :
全局数据流分析问题的简单算法。 519-532 阿尔弗雷德·阿霍 , 肯尼思·斯蒂格利茨 , 杰弗里·D·厄尔曼 :
在固定点集上计算多项式。 533-539 阿兰·孔海姆(Alan G.Konheim) :
排队系统G/G/1的一个初等解。 540-545