第7届STOC 1975:美国新墨西哥州阿尔伯克基
威廉·C·罗兹 , 南希·马丁 , 杰克·W·卡莱尔 , 迈克尔·哈里森 :
1975年5月5日至7日在美国新墨西哥州阿尔伯克基举行的第七届ACM计算理论年度研讨会论文集。 ACM公司 1975 理查德·利普顿 , 大卫·P·多布金 :
整数、多项式和n线性形式计算的复杂性度量和层次结构。 1-5 罗纳德·里维斯特 , 让·维莱明 :
Aandera-Rosenberg猜想的推广和证明。 6-11 劳伦特·海菲尔 , H.T.Kung(香港) :
线性递归并行计算的复杂性。 12-22 姚期智 :
关于计算二次型的极小值(初步报告)。 23-26 沃尔夫冈·保罗 :
布尔函数组合复杂度的2.5n下界。 27-36 迈克尔·菲舍尔 , 阿尔伯特·R·迈耶 , 迈克·帕特森 :
布尔公式大小的下限:初步报告。 37-44 莱斯利·瓦利安特 :
计算复杂性中的非线性下限。 45-53 哈里·亨特三世 , 托马斯·希曼斯基 :
语法的复杂性及相关问题。 54-65 西蒙·埃文 , 塔扬 :
多项式空间中完备的组合问题。 66-71 兹维·郭历理 :
关于有界分解的有效性和复杂性。 72-82 史提芬·古克 :
可行性构造性证明与命题演算(初版)。 83-97 赫伯特·埃格利 , 罗伯特·康斯特布尔 :
编程语言语义的可计算性概念。 98-106 德里克·奥本 , 史提芬·古克 :
证明关于操纵数据结构的程序的断言。 107-116 安德烈·埃伦菲赫特 , 格列泽戈兹·罗森伯格 :
论形式语言的(不)可预测性(扩展摘要)。 117-120 斯文·斯库姆 :
关于分解由并行设备定义的语言。 121-125 C.雷蒙德·佩罗 :
树转换语言的插入定理。 126-136 安德烈·埃伦菲赫特 , 格列泽戈兹·罗森伯格 :
关于无交互的L语言的(组合)结构。 137-144 德特勒夫·沃奇克 :
度语言、多项式时间识别和LBA问题。 145年至152年 西莫·金斯堡 , 南希·A·林奇 :
语法形式的比较复杂性。 153-158 阿诺德·罗森博格 , 拉里·斯托克梅耶 :
可扩展数组的散列方案(扩展数组)。 159-166 特伦斯·W·普拉特 :
程序控制结构优化分析的四个模型。 167-176 阿尔弗雷德·阿霍 , 杰弗里·D·厄尔曼 :
可简化流图的节点列表。 177-185 理查德·利普顿 , 斯坦利·艾森斯塔特 , 理查德·德米洛 :
控制结构和数据结构的复杂性。 186-193 佐哈尔·曼纳 , 阿迪·沙米尔 :
递归程序的最佳不动点。 194-206 阿尔弗雷德·阿霍 , 斯蒂芬·约翰逊 :
表达式树的最佳代码生成。 207-217 罗伯特·瓦格纳 :
关于扩展串到串校正问题的复杂性。 218-223 迈克尔·伊恩·沙莫斯 :
几何复杂性。 224-233 加里·米勒 :
黎曼的基本假设和检验。 234-239 迈克尔·弗雷德曼 :
概率搜索技术的两个应用:x+y排序和构建平衡搜索树。 240-244 唐纳德·罗斯 , 塔扬 :
顶点消除的算法方面。 245-254 Kellogg S.展位 , 乔治·S·鲁克 :
识别区间图的线性算法和连续图性质的测试。 255-265