×
曼纽尔·博迪尔斯基;陈，胡比

喷丸电弧一致性。 （英语） Zbl 1186.68458号

理论。计算。科学。 411，第2期，445-453（2010）.
小结：本文研究了peek弧一致性，这是一种推理技术，它扩展了众所周知的弧一致性技术来满足约束。与文献中研究的其他更昂贵的弧一致性扩展相比，peek弧一致性只需要线性空间和二次时间，并且可以直接并行化，以便它在线性时间内运行，处理器数量为线性。我们证明了对于各种约束语言，peek-arc一致性给出了约束满足问题的多项式时间决策过程。我们还提出了那些可以通过peek弧一致性求解的约束语言的代数特征，并研究了算法的鲁棒性。

引用于2文件

MSC公司：

68层37 人工智能背景下的不确定性推理

关键词：

约束满足;约束语言
PDF格式BibTeX公司 XML格式引用
\textit{M.Bodirsky}和\textit{H.Chen}，Theor。计算。科学。411，第2号，445--453（2010；Zbl 1186.68458）
全文： 内政部

参考文献：

[1] Atserias，A.，关于有向图着色问题和树宽对偶，（LICS（2005）），106-115
[2] Bessiere，C。；Debruyne，R.，《单点弧一致性及其扩展的理论分析》，人工智能，172，1，29-41（2008）·兹比尔1182.68217
[3] Bodirsky，M.，《无限模板的约束满足问题》（Creignou，N.；Kolaitis，P.G.；Vollmer；H.，《约束的复杂性——当前研究主题概述》，LNCS，第5250卷（2008））·Zbl 1171.03320号
[4] M.Bodirsky，H.Chen，《重新审视定性时间和空间推理》，载于：CSL’07，2007年，第194-207页；M.Bodirsky，H.Chen，《重新审视定性时间和空间推理》，载于：CSL’07，2007年，第194-207页·Zbl 1179.68150号
[5] M.Bodirsky，V.Dalmau，无限模板的数据日志和约束满足，收录于：2006年《STACS学报》，第646-659页；M.Bodirsky，V.Dalmau，无限模板的数据日志和约束满足，收录于：2006年《STACS学报》，第646-659页·Zbl 1136.03314号
[6] Chen，H.，逻辑、复杂性和代数的交会，SIGACT新闻（2006）
[7] H.Chen，V.Dalmau，（Smart）前瞻性电弧一致性和对CSP可处理性的追求，载于：《CP'042004学报》，2004年，第182-196页；H.Chen，V.Dalmau，（Smart）look-ahead arc consistency and the pursing of CSP tractability，收录于：《2004年CP'04会议录》，第182-196页·Zbl 1152.68547号
[8] Cristani，M.，《空间同余推理的复杂性》，《人工智能研究》，第11期，第361-390页（1999年）·Zbl 0928.68104号
[9] V.Dalmau，J.Pearson，闭包函数和宽度1问题，收录于：CP’99会议录，1999年，第159-173页；V.Dalmau，J.Pearson，闭包函数和宽度1问题，收录于：CP’99会议录，1999年，第159-173页·Zbl 0957.68081号
[10] Drakengren，T。；Jonsson，P.，《关于集合约束应用于直觉逻辑可处理推理的推理》，J.logic Comput。，8, 6, 855-875 (1998) ·Zbl 0913.68196号
[11] Feder，T.，定向循环同态和（k）部分可满足性的分类，SIAM J.离散数学。，14, 4, 471-480 (2001) ·Zbl 0982.05097号
[12] 费德，T。；Vardi，M.，单调一元SNP的计算结构和约束满足：通过数据日志和群论进行的研究，SIAM J.Comput。，28, 57-104 (1999) ·Zbl 0914.68075号
[13] 地狱，P。；Nešetřil，J.，《图与同态》（2004），牛津大学出版社·Zbl 1062.05139号
[14] 霍奇斯，W.，《较短模型理论》（1997），剑桥大学出版社·Zbl 0873.03036号
[15] Jonsson，P。；Drakengren，T.，《RCC-5中可牵引性的完整分类》，《人工智能研究杂志》，第6期，第211-221页（1997年）·Zbl 0894.68096号
[16] Jonsson，P。；Kuivinen，F。；Nordh，G.，将MAX ONES推广到更大的领域，SIAM J.Comput。，38, 1, 329-365 (2008) ·Zbl 1162.68015号
[17] Mackworth，A.K.，关系网络的一致性，AI，899-118（1977）·Zbl 0341.68061号
[18] 香港Marc Vilain。；van Beek，P.，《时间推理的约束传播算法：修订报告》，《物理系统定性推理阅读》，373-381（1989）
[19] van Beek，P。；科恩，R.，关于时间关系的精确和近似推理，计算。情报，6132-144（1990）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。