×
维克托·拉盖克维斯特

布尔联合克隆的弱基。 （英语） Zbl 1296.68080号

信息处理。莱特。 114，第9期，462-468（2014）.
摘要：泛代数已被证明是研究约束满足问题（CSP）的有用工具，因为复杂性（直至logspace缩减）是由约束语言的克隆决定的。但是，与同一克隆对应的两个CSP在最坏情况下的时间复杂度方面可能仍有很大差异，这使得克隆在比较CSP问题的运行时间时不适合。在本文中，我们考虑一个代数，其中每个克隆分裂成一个强部分克隆区间，使得强部分克隆对应于在相同的（O（c^n））界内可解的CSP。我们研究这些区间，并给出最大元素的关系描述，即弱基。它们具有高度规则的形式，并且在许多情况下很容易与区间中的最小成员相关联，这表明强部分克隆的晶格具有比部分克隆晶格更简单的结构。

引用于1审查
引用于11文件

MSC公司：

65年第68季度 算法和问题复杂性分析
08A40号 代数结构、原代数中的运算和多项式
08A70号 泛代数在计算机科学中的应用

关键词：

计算复杂性;克隆理论;布尔关系;约束满足问题
PDF格式BibTeX公司 XML格式引用
\textit{V.Lagerkvist}，Inf.过程。莱特。114，第9号，462--468（2014；Zbl 1296.68080）
全文： DOI程序 arXiv公司

参考文献：

[1] 阿列克谢耶夫。；Voronenko，A.A.，关于部分二值逻辑中的一些闭类，离散应用。数学。，4, 5, 401-419 (1994) ·Zbl 0818.06013
[2] Allender，E。；Bauland，M。；Immerman，N。；施诺尔，H。；Vollmer，H.，《可满足性问题的复杂性：改进Schaefer定理》，J.Compute。系统。科学。，75、4、245-254（2009年6月）·Zbl 1161.68487号
[3] Böhler，E。；北卡罗来纳州克里诺。；Reith，S。；Vollmer，H.，《玩弄布尔块》，第一部分：波斯特格子在复杂性理论中的应用，ACM SIGACT-Newsl。，34, 4, 38-52 (2003)
[4] Böhler，E。；施诺尔，H。；Reith，S。；Vollmer，H.，布尔共克隆的基础，Inf.过程。莱特。，96, 2, 59-66 (2005) ·Zbl 1184.68351号
[5] 北卡罗来纳州克里诺。；科莱蒂斯，P。；Zanuttini，B.，布尔关系的结构识别和共克隆的普通基，J.Compute。系统。科学。，74、7、1103-1115（2008年11月）·Zbl 1152.68020号
[6] Geiger，D.，函数和谓词的封闭系统，Pac。数学杂志。，27, 1, 95-100 (1968) ·Zbl 0186.02502号
[7] Jeavons，P.，《关于组合问题的代数结构》，Theor。计算。科学。，200, 185-204 (1998) ·Zbl 0915.68074号
[8] Jonsson，P。；拉盖克维斯特，V。；Nordh，G.公司。；Zanuttini，B.，SAT问题的复杂性，克隆理论和指数时间假设（Proc.SODA-2013（2013）），1264-1277·Zbl 1423.68212号
[9] Lagerkvist，V.，《基础薄弱》（2014年）·Zbl 1296.68080号
[10] Lau，D.，《有限集上的函数代数：多值逻辑和克隆理论基础教程》，Springer Monogr。数学。（2006），施普林格出版社：施普林格出版社，纽约，美国新泽西州塞考库斯·Zbl 1105.08001号
[11] Post，E.，《数学逻辑的二值迭代系统》，《数学年鉴》。螺柱，5，1-122（1941）·Zbl 0063.06326号
[12] 罗莫夫，B.A.，部分函数代数及其不变量，控制论，17，2，157-167（1981）·Zbl 0466.03026号
[13] 施诺尔，H。；Schnoor，I.，《部分多态性和约束满足问题》，（Creignou，N.；Kolaitis，P.G.；Vollmer，H.，《约束的复杂性》，《Lect.Notes计算科学》，第5250卷（2008），施普林格：施普林格-柏林，海德堡），229-254·Zbl 1171.68502号
[14] Schnoor，I.，约束满足的弱基方法（2008），Gottfried Wilhelm Leibniz Universityät：Gottfrie Wilhelm Laibniz universityát Hannover，Germany，博士论文
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。