×
何玉巧;邱国良;张池浩

三次图上互补对称Holant问题的逼近性。 （英语） Zbl 07741116号

西奥。计算。科学。 975，文章ID 114140，10 p.（2023）.
摘要：我们研究了三次图上具有互补对称约束函数的布尔Holant问题的逼近性。我们确定了问题允许FPRAS（完全多项式时间随机近似方案）的区域，并指定了问题难以近似的条件。这是首次尝试对三次图上具有非对称约束函数的Holant问题的逼近性进行分类。

MSC公司：

68季度xx 计算理论

关键词：

近似计数;霍兰特;MCMC公司
PDF格式BibTeX公司 XML格式引用
\textit{Y.He}等人，Theor。计算。科学。975，文章ID 114140，10 p.（2023；Zbl 07741116）
全文： 内政部

参考文献：

[1] Bulatov，A.A.，计数约束满足问题的复杂性，J.ACM，60，第34条pp.（2013）·Zbl 1281.68130号
[2] 戴尔，M.E。；Richerby，D.，计数约束满足问题的有效二分法，SIAM J.Compute。，42, 1245-1274 (2013) ·Zbl 1275.68077号
[3] 蔡，J。；Chen，X.，复杂权重CSP计算的复杂性，J.ACM，64，第19条pp.（2017）·Zbl 1426.68114号
[4] 蔡，J。；郭，H。；Williams，T.，捕捉消失的签名引发了一种完全的二分法，SIAM J.Compute。，451671-1728（2016）·Zbl 1350.68133号
[5] 林，J。；Wang，H.，具有非负权重的布尔Holant问题的复杂性，SIAM J.Comput。，47, 798-828 (2018) ·Zbl 1397.68105号
[6] 蔡，J。；傅，Z。；邵，S.，《从霍兰特到量子纠缠及其背后》，（第47届国际自动机、语言和编程学术讨论会（2020年）），第22条，pp。
[7] 邵，S。；蔡，J.，真实布尔Holant问题的二分法，（第61届IEEE计算机科学基础年会（2020）），1091-1102
[8] 李，L。；卢，P。；Yin，Y.，通过自旋系统中的相关衰减进行近似计数，（第二十三届ACM-SIAM离散算法年会论文集（2012）），922-940·Zbl 1422.68301号
[9] 辛克莱，A。；斯利瓦斯塔瓦，P。；Thurley，M.，有界度图上两态反铁磁自旋系统的近似算法，（第二十三届ACM-SIAM离散算法研讨会论文集（2012）），941-953·Zbl 1423.82005年
[10] 李，L。；卢，P。；Yin，Y.，自旋系统中相关性衰减到唯一性，（第二十四届ACM-SIAM离散算法年会论文集（2013）），67-84·Zbl 1422.68302号
[11] Sly，A.，唯一性阈值下的计算跃迁，（第51届IEEE计算机科学基础年度研讨会（2010）），287-296
[12] Sly，A。；Sun，N.，d正则图上双自旋模型计数的计算难度，（第53届IEEE计算机科学基础年会（2012）），361-369
[13] 郭，H。；Liao，C。；卢，P。；Zhang，C.，Holant问题的零点：位置和算法，ACM Trans。算法，17，1-25（2020）·Zbl 07471489号
[14] Bai，Z。；曹毅。；Wang，H.，实布尔Holant问题的零自由度和逼近，Theor。计算。科学。，917, 12-30 (2022) ·Zbl 07533875号
[15] 蔡，J。；刘，T。；Lu，P.，六顶点模型的近似性，（第三十届ACM-SIAM离散算法年会论文集（2019）），2248-261·Zbl 1432.68191号
[16] 蔡，J。；刘，T。；卢，P。；Yu，J.，八维模型的近似性，（第35届计算复杂性会议（2020）），第4条pp·Zbl 07561732号
[17] 蔡，J。；Liu，T.，《计算完美匹配和八维模型》，（第47届国际自动化、语言和编程学术讨论会（2020年）），第23条，pp。
[18] 蔡，J。；Liu，T.，低温下方格六顶点和八维模型的FPTAS，（2021年ACM-SIAM离散算法研讨会论文集（2021）），1520-1534
[19] McQuillan，C.，《绕线近似Holant问题》（2013），arXiv预印本
[20] 黄，L。；卢，P。；Zhang，C.，MCMC的标准路径：从艺术到科学，（第二十七届ACM-SIAM离散算法年会论文集（2016）），514-527·Zbl 1411.68193号
[21] 蔡建勇。；Chen，X.，《计算问题的复杂性二分法：第1卷，布尔域》（2017），剑桥大学出版社·Zbl 1530.68006号
[22] Valiant，L.G.，全息算法，SIAM J.Compute。，37, 1565-1594 (2008) ·Zbl 1152.05010号
[23] 加拉尼斯，A。；斯特凡科维奇，D。；Vigada，E.，反铁磁Ising和硬核模型的配分函数的不逼近性，Comb。普罗巴伯。计算。，25000-559（2016）·Zbl 1420.68098号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。