×
维克托·达尔摩;彼得·琼森

从另一方面看计算同态的复杂性。 （英语） Zbl 1086.68054号

西奥。计算。科学。 329，编号1-3，315-323（2004）.
摘要：对于每一类关系结构\（C\），让\（\text{HOM}（C，_）\）是决定一个结构\（在C\中为{mathbfA}\）是否与给定的任意结构\（{mathbf B}\）同态的问题。Grohe证明了，在一定的复性理论假设下，（text{HOM}（C，））在多项式时间内是可解的当且仅当（C）中所有结构的核都有界树宽。我们证明了（在较弱的复性理论假设下）相应的计数问题在多项式时间内是可解的当且仅当（C）中的所有结构都有界树宽。这回答了Grohe提出的一个公开问题。

引用于2评论
引用于36文件

MSC公司：

65年第68季度 算法和问题复杂性分析
2015年1月5日 精确枚举问题，生成函数
2015年第68季度 复杂性类（层次结构、复杂性类之间的关系等）
68兰特 计算机科学中的图论（包括图形绘制）

关键词：

计算复杂性;计数;同态;关系结构
PDF格式BibTeX公司 XML格式引用
\textit{V.Dalmau}和\textit{P.Jonsson}，Theor。计算。科学。329，编号1--3，315--323（2004；Zbl 1086.68054）
全文： 内政部

参考文献：

[1] Arvind，V。；Raman，V.，一些参数化计数问题的近似算法，（Proc.13th Annual.Internat.Symp.on algorithms and Computation（2002）），453-464·Zbl 1019.68135号
[2] Bodlaender，H.L.，具有有界树宽的图的部分（k）-树丛，Theor。计算。科学。，209, 1-2, 1-45 (1998) ·Zbl 0912.68148号
[3] Bulatov，A.，三元集上约束的二分法定理，（Proc.43 rd IEEE Symp.on Foundations of Computer Science（2002）），649-658
[4] Bulatov，A.A。；Dalmau，V.，面向计数约束满足问题的二分法定理，（第44届IEEE计算机科学基础研讨会（2003）），562-573·Zbl 1115.68141号
[5] 北卡罗来纳州克里诺。；Hermann，M.，广义可满足性计数问题的复杂性，Inform。计算。，125, 1-12 (1996) ·Zbl 0853.68110号
[6] 戴尔，M.E。；Greenhill，C.S.，计数图同态的复杂性，随机结构。算法，17260-289（2000）·兹伯利0965.68073
[7] 费德，T。；Vardi，M.Y.，通过数据日志和群论研究单调单子SNP的计算结构和约束满足，SIAM J.Compute。，28, 1, 57-104 (1998) ·Zbl 0914.68075号
[8] 弗鲁姆，J。；Grohe，M.，计数问题的参数化复杂性，（第43届IEEE计算机科学基础研讨会（2002）），538-547
[9] Gottlob，G。；塞拉利昂，北卡罗来纳州。；Scarcello，F.，《结构CSP分解方法的比较》，Artif。智力。，124, 2, 243-282 (2000) ·Zbl 0952.68044号
[10] Grohe，M.，从另一方面看同态和约束满足问题的复杂性，（第44届IEEE计算机科学基础研讨会（2003）），552-561
[11] 格罗，M。；申特威克，T。；Segoufin，L.，合取查询的评估何时可以处理？，（第33届ACM计算机理论研讨会（2001年），第657-666页）·Zbl 1323.68251号
[12] Jeavons，P.，《关于组合问题的代数结构》，Theor。计算机科学。，200, 1-2, 185-204 (1998) ·Zbl 0915.68074号
[13] Kolaitis，P.G。；Vardi，M.，连接查询包含和约束满足，J.Compute。系统。科学。，61, 302-332 (2000) ·Zbl 0963.68059号
[14] McCartin，C.，参数化计数问题，（第27届国际计算机科学数学基础研讨会，2002年），556-567·Zbl 1014.68108号
[15] 罗伯逊，N。；Seymour，P.，《不包括平面图的未成年人图》，J.Comb。理论B，62323-348（1994）·Zbl 0807.05023号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。