第22届FOCS 1981年:美国田纳西州纳什维尔
第22届计算机科学基础年度研讨会,1981年10月28日至30日,美国田纳西州纳什维尔。 IEEE计算机学会 1981
第1a课时
弗兰克·汤姆森·莱顿 :
超大规模集成电路的新下限技术。 1-12 理查德·利普顿 , 雅各布·瓦尔德斯 :
人口普查功能:VLSI上限方法(初步版本)。 13-22 查尔斯·雷瑟森 , 詹姆斯·萨克斯 :
优化同步系统。 23-36 Zvi M.凯登 , 亚历山德罗·佐拉特 :
超大规模集成电路中输入与通信/计算的关系(初步报告)。 37-44
第1b课时
艾坦·M·古拉里 , 奥斯卡·H·伊巴拉 :
双向计数器和丢番图方程。 45-52 帕沃尔·杜利斯 , 兹维·郭历理 :
语言识别的时空权衡。 53-57 迈克尔·路易斯 :
多维图灵机之间的仿真(初步版本)。 58-67 沃尔夫冈·保罗 :
头部与胶带。 68-73 理查德·埃德温·斯特恩斯 , 哈里·亨特三世 :
关于无歧义正则表达式、语法和自动机的等价性和包含问题。 74-81
第2部分
唐·科珀史密斯 , 许缪尔·维诺格拉特 :
关于矩阵乘法的渐近复杂性(扩展摘要)。 82-90 Ephraim Feig公司 , 许缪尔·维诺格拉特 :
关于直和猜想(扩展摘要)。 91-94 约瑟夫·贾贾 :
具有根提取的代数函数的计算。 95-100 诺伯特·布鲁姆 :
n次卷积单调网络复杂性的Omega(n^4/3)下界。 101-108 玛丽亚·M·克拉维 :
一维展开图的不存在性。 109-114 马克·J·波斯特 :
最小生成椭圆算法。 115-122 Z.阿维亚德 , 埃利·沙米尔 :
产品区域范围搜索及相关问题的直接动态解决方案。 123-126 杰弗里·斯科特·维特 :
保留随机性的散列删除算法(详细摘要)。 127-132 格雷格·弗雷德里克森 :
加权字典问题的隐式数据结构(初步版本)。 133-139
第3a节
威廉·C·罗兹 , 斯蒂芬·布鲁克斯 :
可能的未来、接受、拒绝和沟通流程。 140-149 阿隆·伊泰 , 迈克尔·罗德 :
分配网络中的对称性破坏。 150-158 丹尼·多列夫 :
未知和不可靠环境中的一致性。 159-168 詹姆斯·伯恩斯 :
异步过程系统中的对称性。 169-174
会话3b
拉维·塞蒂 :
并发数据库事务模型(摘要)。 175-184 巴黎C.Kanellakis , 克里斯托斯·帕帕迪米特里奥 :
分布式并发控制的复杂性。 185-197 莫舍·瓦尔迪 :
关系数据库的全局决策问题。 198-202 大卫·约翰逊 , 安东尼·克鲁格 :
属性域不分离时优化连接查询(扩展抽象)。 203-211
第4次会议
Rüdiger Reischuk公司 :
一种快速概率并行排序算法。 212-219 曼博 , 马丁·汤帕 :
哈密顿路径数对顶点着色问题复杂性的影响。 220-227 罗格·韦贝克 :
一般递归的时空权衡。 228-234 拉维·坎南 :
走向非确定性时间与确定性时间的分离。 235-243 斯文·斯凯姆 , 莱斯利·瓦利安特 :
基于布尔代数的复杂性理论。 244-253 罗纳德·V·书 , 克里斯托弗·威尔逊 , 徐美瑞 :
时间和空间的相对化(初步报告)。 254-259 梅里克·L·福斯特 , 詹姆斯·萨克斯 , 迈克尔·西普塞 :
奇偶校验、电路和多项式时间层次。 260-270 斯蒂芬·马哈尼 :
关于NP-完备集的P-同构类的个数。 271-278
第5部分
理查德·斯塔特曼 :
可由多态程序计算的数论函数(扩展抽象)。 279-282 卡尔·H·史密斯 :
自动程序合成的并行能力。 283-295 佩特格拉奇 :
描述复杂性与算法概率的关系。 296-303 拉维·坎南 :
电路尺寸下限。 304-309 哈雷尔 , 阿米尔·普努利 , 乔纳森·斯塔维 :
无上下文程序的命题动态逻辑。 310-321 约瑟夫·哈珀(Joseph Y.Halpern) , 约翰·雷夫 :
确定性、结构良好程序的命题动态逻辑(扩展摘要)。 322-334 Jerzy Tiuryn公司 :
无界程序存储器增加了一阶动态逻辑(扩展抽象)的表达能力。 335-339 皮埃尔·沃尔珀 :
时间逻辑可以更具表现力。 340-348
第6部分
丹尼·多列夫 , 姚期智 :
关于公钥协议的安全性(扩展摘要)。 350-357 克里斯托斯·帕帕迪米特里奥 , 米哈利斯·扬纳卡基斯 :
平面图的最坏情况比率和面上归纳法(扩展抽象)。 358-363 理查德·卡普 , 迈克尔·西普塞 :
稀疏随机图中的最大匹配。 364-375 尼姆罗德·梅吉多 , 圣路易斯·哈基米 , M.R.Garey先生 , 大卫·约翰逊 , 克里斯托斯·帕帕迪米特里奥 :
搜索图形的复杂性(初步版本)。 376-385 菲利普·弗拉乔莱 , Jean-Marc斯特亚特 :
树结构上递归搜索程序类的复杂性演算。 386-393 迈克尔·本·奥尔 :
有限域中的概率算法。 394-398 尼姆罗德·梅吉多 :
在串行算法设计中应用并行计算算法。 399-408 伦纳德·阿德曼 , 安德鲁·奥德利兹科 :
多项式的不可约性检验和因子分解(扩展抽象)。 409-418
迟交的论文
沃恩·R·普拉特 :
一个可决定的微积分:初步报告。 421-427
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)