×
西蒙·卡西夫

关于约束满足网络中离散松弛的并行复杂性。 （英语） Zbl 0717.68043号

Artif公司。智力。 45，第3号，275-286（1990）.
摘要：我们研究离散松弛的并行复杂性，这是最常用的约束传播技术之一。由于约束传播过程（如离散松弛）似乎是局部操作的，因此以前人们认为，用于实现局部一致性的松弛方法具有自然并行解。我们的分析表明，并行解决方案不太可能大大改进已知的顺序解决方案。具体地，我们证明了离散松弛（弧一致性）求解的问题对于P（多项式时间确定性序列算法类）是对数空间完备的。直观地说，这意味着离散松弛本质上是连续的，并且我们不太可能通过仅使用多项式数量的处理器来解决对数时间中一致标记问题的多项式时间版本。讨论了我们的结果的一些实际意义。我们还提供了约束网络中AND/OR图、命题Horn可满足性和局部一致性之间的双向转换，使我们能够开发约束网络中局部一致性的最佳线性时间算法。

引用于22文件

理学硕士：

65年第68季度 算法和问题复杂性分析
68立方英尺 知识表示

关键词：

约束满足网络;约束满足问题;并行复杂性;离散松弛
PDF格式BibTeX公司 XML格式引用
\textit{S.Kasif}，阿蒂夫。智力。45，第3号，275--286（1990；Zbl 0717.68043）
全文： 内政部

参考文献：

[1] 巴拉德·D·H。；Brown，C.M.，（计算机视觉（1982），普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德·克利夫斯，新泽西州）
[2] 巴罗·H·G。；Tenenbaum，J.M.，MSYS:场景推理系统，（技术注释121（1976），SRI AI中心：加州门罗公园SRI AI-中心）
[3] Bible，W.，从演绎的角度来看约束满足，人工智能，35401-413（1988）·Zbl 0645.68112号
[4] Brooks，R.A.，《三维模型和二维图像之间的符号推理》，《人工智能》，第17期，第285-348页（1981年）·Zbl 1497.68485号
[5] Garey，M.R。；Johnson，D.S.，（《计算机与难治性：NP-完备性指南》（1979），弗里曼：加利福尼亚州弗里曼旧金山）·Zbl 0411.68039号
[6] Goldschlager，L.M.，同步并行机模型的统一方法，（第10届计算理论研讨会论文集（1978）），89-94·Zbl 1282.68105号
[7] Haralick，R.M。；Shapiro，L.G.，《一致标签问题：第一部分，IEEE Trans。模式分析。机器。智力。，1, 173-184 (1979) ·Zbl 0418.68080号
[8] 琼斯，N。；Laaser，T.，确定性多项式时间的完全问题，Theor。计算。科学。，3, 105-117 (1977) ·兹比尔0352.68068
[9] Kasif，S.，约束满足问题的并行求解，（知识表示原理会议论文集（1989））·Zbl 0709.68102号
[10] Kasif，S。；罗森菲尔德，A.，《图像和场景的固定点》（1983年计算机视觉和模式识别会议论文集（1983））
[11] Kitchen，L.J.，《用于匹配定量关系结构的放松》，IEEE Trans。系统。曼赛本。，10, 96-101 (1980)
[12] Mackworth，A.K.，关系网络的一致性，人工智能，899-118（1977）·Zbl 0341.68061号
[13] Mackworth，A.K。；弗洛伊德，E.C.，约束满足的一些多项式网络一致性算法的复杂性，人工智能，25，65-74（1985）
[14] Nilsson，N.J.，（人工智能中的问题解决方法（1971），McGraw-Hill:McGraw-Hill纽约）
[15] 罗森菲尔德，A。；Hummel，R。；Zucker，S.，《通过松弛操作进行场景标记》，IEEE Trans。系统。曼赛本。，6, 420-433 (1976) ·Zbl 0335.68070号
[16] 萨马尔，A。；Henderson，T.，并行一致标记算法，国际期刊并行程序。，16, 341-364 (1987) ·Zbl 0646.68104号
[17] J.Ullman，《个人沟通》（1985）。；J.Ullman，《个人沟通》（1985年）。
[18] Waltz，D.，《理解带阴影场景的线条画》（Winston，P.H.，《计算机视觉心理学》（1975），McGraw-Hill:McGraw-Hill New York），19-92
[19] Winston，P.H.，（人工智能（1984），Addison-Wesley：Addison-Whesley Reading，MA）·兹比尔0598.68056
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。