第32届FOCS 1991:波多黎各圣胡安
-
第32届计算机科学基础年度研讨会,1991年10月1日至4日,波多黎各圣胡安。 IEEE计算机学会 1991 ,国际标准图书编号 0-8186-2445-0 乌列尔·菲戈 , 沙菲·戈德瓦塞尔 , 拉兹洛瓦兹 , Shmuel Safra公司 , 马里奥·塞格迪 :
近似团接近NP-完成(初步版本)。 2-12 Dror Lapidot公司 , 阿迪·沙米尔 :
NEXP-Time的完全并行多验证程序协议(扩展摘要)。 13-18 理查德·贝格尔 , 米希尔·贝拉雷 , 琼·费根鲍姆 , 沙菲·戈德瓦塞尔 :
比证明更容易的语言。 19-28 伯纳德·夏泽尔 :
最优凸壳算法和切割的新结果(扩展抽象)。 29-38 弗兰克·霍夫曼 , 迈克尔·考夫曼 , 克劳斯·克里格尔 :
带孔多边形的艺术画廊定理。 39-48 吉里·马图塞克 , 纳萨利·米勒 , 贾诺斯·帕奇 , 米查·谢里尔 , 什穆埃尔·西弗罗尼 , 埃莫·韦尔兹尔 :
胖三角形决定线性多个孔。 49-58 密码学基础 , 埃雷斯·彼得兰克 :
量化知识复杂性。 59-68 琼·博亚尔 , 布拉萨德 , 雷内·佩拉尔塔 :
次二次零知识。 69-78 大卫·扎克曼 :
使用一般弱随机源模拟BPP。 79-89 曼纽尔·布卢姆 , 威廉·S·埃文斯 , 彼得·杰梅尔 , 桑帕斯·坎南 , 莫尼·纳尔 :
检查记忆的正确性。 90-99 桑乔伊·巴鲁阿 , 吉拉德·科伦 , 布巴内斯瓦·米什拉 , 阿尔文德·拉胡纳坦(Arvind Raghunathan) , 路易斯·罗西尔 , 丹尼斯·沙沙 :
过载情况下的在线调度。 100-110 安贾·费尔德曼 , 吉尔·斯加尔 , 上华腾 :
并行机器上的动态调度。 111-120 杰弗里·斯科特·维特 , P.克里希南 :
通过数据压缩优化预取(扩展抽象)。 121-130 大卫·B·什莫伊斯 , 乔尔·韦恩 , 大卫·P·威廉姆森 :
在线调度并行机。 131-140 曼弗雷德·昆德 :
网格上的集中常规数据流:在二分边界附近排序和路由。 141-150 吴毅成 , H.T.Kung(香港) :
并行分治的通信复杂性。 151-162 克里斯托斯·帕帕迪米特里奥 :
关于选择令人满意的真值赋值(扩展抽象)。 163-169 霍华德·艾森斯坦 , 雷纳德·皮特 :
准确学习可读DNF公式(扩展摘要)。 170-179 凯坦·穆穆利 :
随机多维搜索树:惰性平衡和动态乱序(扩展抽象)。 180-196 奥特弗里德·施瓦茨科普夫 :
简化几何结构的动态维护。 197-206 吉里·马图塞克 :
半空间中的报告点。 207-215 凯坦·穆穆利 :
随机多维搜索树:动态采样的进一步结果(扩展抽象)。 216-227 阿隆·奥利茨基 :
交互式通信:平衡分布、相关文件和平均案例复杂性。 228-238 托马斯·费德 , 埃亚尔·库什利维茨 , 莫尼·纳尔 :
摊销通信复杂性(初步版本)。 239-248 杰夫·埃德蒙兹 , 史蒂文·鲁迪奇 , 罗素·英帕利亚佐 , 吉尔·斯加尔 :
通信复杂度接近电路深度下限。 249-257 巴鲁克·阿韦布奇 , 乔治·瓦尔盖塞 :
分布式程序检查:构建自稳定分布式协议的范例(扩展抽象)。 258-267 巴鲁克·阿韦布奇 , 波阿斯·帕特·沙米尔 , 乔治·瓦尔盖塞 :
通过局部检查和校正实现自我稳定(扩展摘要)。 268-277 王卫国 :
异步二维自校正元胞自动机。 278-285 阿莫斯菲亚特 , 院长P.Foster , 霍华德·卡洛夫 , 尤瓦尔·拉巴尼 , Yiftach Ravid公司 , 桑达尔·维什瓦纳坦 :
分层图遍历的竞争算法。 288-297 邓晓铁 , Tiko Kameda公司 , 克里斯托斯·帕帕迪米特里奥 :
如何学习未知环境(扩展摘要)。 298-303 罗尔夫·克莱恩 :
绕行未知街道。 304-313 杰库马尔·拉德哈克里希南 :
阈值公式的更好边界。 314-323 迈克·帕特森 , 乌里·兹威克 :
限制条件下德摩根公式的收缩。 324-333 Nader H.Bshouty公司 , 理查德·克利夫 , 韦恩·埃贝里 :
代数公式的大小-深度权衡。 334-341 布鲁斯·卡普伦 , 史提芬·古克 :
Mehlhorn多项式时间泛函的一个新特征(扩展抽象)。 342-347 拉凯什·M·维尔玛 :
等式系统历史应用理论(扩展摘要)。 348-357 尼尔斯·克拉伦德 :
欧米伽自动机与时间逻辑应用互补的进展度量。 358-367 E.艾伦·艾默生 , 查兰吉特·朱特拉 :
树自动机,Mu微积分和确定性(扩展摘要)。 368-377 维克托·舒普 , 罗曼·斯莫伦斯基 :
多项式求值和插值问题的下限。 378-383 约阿希姆·冯·祖尔·盖森 :
有限域中的有效指数(扩展抽象)。 384-391 莫西·摩根斯坦 :
自然边界集中器的显式构造。 392-397 纳比尔·卡哈尔 :
Ramanujan图的更好扩展。 398-404 Ioannis Z.埃米利斯 , 约翰·坎尼 :
消除退化的一般方法。 405-413 赫伯特·埃德尔斯布伦纳 , Tiow Seng Tan公司 :
最小最大长度三角剖分的二次时间算法(扩展抽象)。 414-423 吉里·马图塞克 , 埃莫·韦尔兹尔 , 洛伦斯·沃尼什 :
有界VC-维的差异和ε近似。 424-430 丁祖渡 , 张彦军(Yanjun Zhang) , 青峰 :
关于欧几里得-施泰纳最小树的更好启发式(扩展摘要)。 431-439 约纳坦·奥曼 , 迈克尔·本·奥尔 :
故障超立方体上的渐近最优PRAM仿真(扩展抽象)。 440-446 密码学基础 , 沙菲·戈德瓦塞尔 , 内森·利尼尔 :
全信息模型中的容错计算(扩展抽象)。 447-457 弗兰克·汤姆森·莱顿 , 袁马 , C.格雷格·普拉克斯顿 :
高容错分拣电路。 458-469 弗兰克·汤姆森·莱顿 , 埃里克·施瓦布 :
分布式内存动态分配的高效算法。 470-479 伊兰·阿德勒 , 彼得·贝林 :
代数整数子环上LP的多项式算法及其在循环矩阵LP中的应用。 480-487 大卫·艾普斯坦 :
动态三维线性规划。 488-494 谢尔盖·普罗特金 , 大卫·B·什莫伊斯 , 埃瓦·塔尔多斯 :
分数包装和覆盖问题的快速近似算法。 495-504 巴鲁克·阿韦布奇 , 伦纳德·J·舒尔曼 :
分布式系统中公共数据的维护。 505-514 莫尼·纳尔 , 罗恩·罗斯 :
分布式网络中的最佳文件共享(初步版本)。 515-525 赫利希 , 谢菲特 , 奥利·沃茨 :
低争议线性计数。 526-535 加里·米勒 , 尚华腾 , 斯蒂芬·瓦瓦西斯 :
图形分隔符的统一几何方法。 538-547 徐赞生 , 维贾亚·拉马钱德兰 :
三连通性增强的线性时间算法(扩展抽象)。 548-559 大卫·R·卡格 , 科勒 , 史蒂文·菲利普斯 :
寻找隐藏路径:所有路径最短路径的时间限制。 560-568 诺加·艾伦 , 兹维·郭历理 , 奥德·玛格利特 :
关于所有对的最短路径问题的指数。 光纤通信系统 1991 : 569-575 拉兹洛瓦兹 , 莫尼·纳尔 , 伊兰·纽曼 , 阿维·威格德森 :
决策树模型中的搜索问题(初步版本)。 576-585 诺加·艾伦 :
局部引理的并行算法版本。 586-593 安娜·加尔 :
带噪声门的可靠布尔电路复杂性的下限。 594-601 Rüdiger Reischuk公司 , 伯恩德·施梅尔茨 :
带噪声电路和决策树的可靠计算——一般n log n下界。 602-611 拉贾马尼·桑达尔 :
哈希模型下字典问题的下限。 612-621 阿米尔·本·阿姆拉姆 , 兹维·郭历理 :
RAM上数据结构问题的下界(扩展摘要)。 622-631 格雷格·弗雷德里克森 :
动态2-边连通性和k个最小生成树的二元数据结构。 632-641 阿恩·安德森 , 托马斯·奥特曼 :
更快、独特的词典。 642-649 布鲁斯·兰德尔·唐纳德 , 大卫·张仁潘(David Renpan Chang) :
关于计算三角剖分的同调类型的复杂性。 650-661 迪马·格里戈里耶夫 , 马雷克·卡宾斯基 :
GF[q]上任意多项式零点数的近似算法。 662-669 约翰内斯·布尔默(Johannes Blömer) :
计算多项式时间中的根和。 670-677 明德·A·黄 , 道格·伊拉迪 :
Riemann-Roch问题和曲线雅可比加法的有效算法(扩展抽象)。 678-687 唐纳德·约翰逊 , Takis Metaxas泛神经炎 :
CREW PRAM并联时间为O(\lg^3/2|V|)的连接组件。 688-697 约瑟夫·吉尔 , 马提亚斯 , 乌兹维什金 :
接近恒定时间并行算法理论。 698-710 迈克尔·古德里奇 :
使用近似算法设计可忽略处理器分配的并行算法(初步版本)。 711-722 希勒尔·加齐特 :
平面图同构的一种确定性并行算法。 723-732 拉兹洛巴拜 , 卡塔琳·弗里德尔 :
有限群的近似表示理论。 733-742 Huzur Saran公司 , 维杰·瓦齐拉尼 :
在两倍最佳值内找到k个切割。 743-751 彼得·肖尔 :
如何包装比最佳包装更好:平均包装箱在线包装的严格限制。 752-759 阿米胡德·阿米尔 , 马丁·法拉赫 :
自适应字典匹配。 760-766 沃尔夫冈·马斯 , 乔治·施尼特 , 爱德华多·桑塔格 :
关于Sigmoid与布尔阈值电路的计算能力。 767-776 马蒂亚斯·克劳斯 , 斯蒂芬·瓦克 :
具有无界扇入的对称门的深度二回路的通信矩阵的变化秩和下限。 777-782 理查德·贝格尔 , Jun Tarui先生 :
ACC上。 783-792 阿尔卡迪·卡内夫斯基 , 罗伯托·塔马西娅 , 朱塞佩·迪·巴蒂斯塔 , 陈剑儿 :
图的四连通分量的在线维护(扩展抽象)。 793-801 阿尔文德·古普塔 , 罗素·英帕利亚佐 :
计算平面缠绕。 802-811 哈罗德·加博 :
Poset表示在边连通性和图刚性中的应用。 812-821