×
阿瑟·德尔彻。;西蒙·卡西夫

高效的并行项匹配和反统一。 （英语） Zbl 0784.68047号

J.汽车。推理 9，第3期，391-406（1992）.
摘要：我们提出了用于术语匹配和以树表示的术语反统一的最佳处理器时间并行算法。术语匹配是统一的特殊情况，其中一个术语被限制为不包含变量。它广泛适用于逻辑编程、术语重写系统和符号模式匹配。反统一是统一的对偶问题，其中一个计算两个项的最具体的泛化。它在归纳推理和定理证明中有应用。我们的算法在共享内存计算模型（EREW PRAM）上使用（N/log^2N）处理器运行，该计算模型禁止同时读写。这些算法是第一个多对数时间EREW算法，其处理器时间乘积与序列对应的处理器时间乘乘积具有相同的顺序，因此允许使用最多（N/log^2N）个处理器实现最佳加速。我们还采用了本文中开发的技术，为允许同时读取和同时写入的共享内存模型（CRCW PRAM）提供了（N/log）（N）处理器、（O（log N））时间算法。

引用于5文件

MSC公司：

2012年第68季度 语法和重写系统
65年第68季度 算法和问题复杂性分析

关键词：

EREW PRAM公司;CRCW PRAM公司;术语匹配;反统一;逻辑程序设计;符号模式匹配;归纳推理;定理证明
PDF格式BibTeX公司 XML格式引用
\textit{A.L.Delcher}和\textit{S.Kasif}，J.Autom。推理9，No.3，391--406（1992；Zbl 0784.68047）
全文： 内政部

参考文献：

[1] 布伦特。P.、？通用算术表达式的并行计算？，《计算机协会杂志》21（2），201-208（1974）。
[2] 克拉克。L.和GregoryS？PARLOG：逻辑并行编程？，ACM事务处理。编程语言系统8（1），1-49（1986年1月）·Zbl 0592.68016号 ·doi:10.1145/5001.5390
[3] 科尔？并行合并排序？，SIAM J.计算机17（4），770-785（1988）·Zbl 0651.68077号 ·doi:10.1137/0217049
[4] 科尔·R·和维什金·U·？确定性抛硬币与最佳平行列表排名的应用？，信息控制70（1986）·Zbl 0612.68044号
[5] 科尔。和维什金大学？近似并行调度。第一部分：基本技术及其在对数时间最优平行列表排序中的应用？，SIAM J.计算17（1），128-142（1988）·Zbl 0637.68038号 ·doi:10.1137/0217009
[6] Delcher，A.L.和Kasif，S？网状并行计算机上的术语匹配？，in：第五届以色列人工智能、视觉和模式识别研讨会论文集441-452（1989）·Zbl 0684.68024号
[7] 德沃克公司。，卡内拉基斯。C.和MitchellJ。C.、？关于统一的顺序性？，J.逻辑编程1（1），35-50（1984年6月）·Zbl 0588.68045号 ·doi:10.1016/0743-1066（84）90022-0
[8] 德沃克公司。，卡内拉基斯。C.和StockmeyerL？术语匹配的并行算法？，SIAM J.Computing 17（4），711-731（1988年8月）·Zbl 0651.68110号 ·数字对象标识代码：10.1137/0217046
[9] 加里姆。R.和JohnsonD。美国，《计算机与难以处理性：NP-完备性指南》，弗里曼公司，旧金山（1979年）。
[10] Hirschberg D.S.，钱德拉。K.和SarwateD。五、？在并行计算机上计算连接的组件？，通信ACM 22（8），461-464（1979）·Zbl 0429.68061号 ·doi:10.1145/359138.359141
[11] Huet，G.和Oppen，D？方程式和重写规则：调查？，收录于：R.V.Book（Ed.），形式语言理论：观点和开放问题，学术出版社（1980）。
[12] Karp，R.M.和Ramachandran，V？共享内存机器并行算法综述？，J.Van Leewen等人：《理论计算机科学手册》，869-941，麻省理工学院出版社（1990）·Zbl 0900.68267号
[13] Z.M.Kedem和K.V.Palm？森林和术语匹配的最优并行算法？，技术报告，IBM Thomas J.Watson Research Center（1988年6月）·Zbl 0745.68053号
[14] Kuper，G.M.、McAloon，K.W.、Palem，K.V.和Perry，K.J？高效的反归并和相对补码并行算法？，技术报告，IBM（1987）·Zbl 0784.68042号
[15] Maluszynski，J.和Komorowski，H.J？无需统一执行horn条款程序？，in：第二届逻辑研讨会论文集，78-86（1985）。
[16] Naish，L.和Lassez，J.-L？最具体的逻辑程序？，墨尔本大学技术报告（1984年）·Zbl 0878.68036号
[17] 内森·D。和MaheshwariS.N？连通分量和最小生成树问题的并行算法？，《信息处理快报》14（1），7-11（1982）·Zbl 0479.68069号 ·doi:10.1016/0020-0190（82）90131-4
[18] 普洛金，G？关于归纳推广的注记？，参见：B.Meltzer和D.Michie（编辑），《机器智能》第5卷，第153-163页，美国爱思唯尔出版社（1970年）·Zbl 0219.68045号
[19] 普洛金，G？关于归纳概括的进一步注释？，参见：B.Meltzer和D.Michie（编辑），《机器智能》第6卷，第101-124页，美国爱思唯尔出版社（1971年）·Zbl 0261.68042号
[20] 拉梅什R。，维玛。克里希纳普拉萨德医学博士。，和罗摩克里希纳尼。五、？并行计算机上的术语匹配？，《逻辑编程杂志》6（3），213-228（1989）·Zbl 0685.68037号 ·doi:10.1016/0743-1066（89）90014-9
[21] 雷诺兹，J.C？变换系统和原子公式的代数结构？，参见：B.Meltzer和D.Michie（编辑），《机器智能》第5卷，第135-151页，美国爱思唯尔出版社（1970年）·Zbl 0219.68044号
[22] 夏皮罗，E.Y？并发Prolog及其解释器的子集？，技术报告TR-003，ICOT（1983）。
[23] 塔尔詹。E.和VishkinU？寻找双连通分量并计算对数并行时间中的树函数？，SIAM J.计算机14（4），862-874（1985）·Zbl 0575.68066号 ·数字对象标识代码：10.1137/0214061
[24] VitterJ.S.和SimonsR。答：？并行复杂性的新类：P？，IEEE传输。计算机C-35（5），403-418（1986）·Zbl 0613.68023号 ·doi:10.1109/TC.1986.1676783
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。