文件Open Access徽标

复值Holant^c的完全二分法

作者 米里亚姆·巴克斯

PDF格式
缩略图PDF

文件

LIPIcs公司。ICALP.2018年12月12日pdf
  • 文件大小：493 kB
  • 14页

文件标识符

作者详细信息

米丽亚姆·巴肯斯
  • 英国牛津大学计算机科学系

基金

  • 米丽亚姆·巴肯斯：导致这些结果的研究获得了EPSRC通过EP/L021005/1拨款和欧洲研究理事会根据欧盟第七框架计划（FP7/2007-2013）ERC第334828号拨款协议提供的资金。本文仅反映了作者的观点，而非ERC或欧盟委员会的观点。欧盟对其中所含信息的任何使用概不负责。本研究期间未创建新数据。这项研究的大部分是在英国布里斯托尔大学数学学院进行的。

引用为获取BibTex

米里亚姆·巴克斯。复杂值Holant的完全二分法^c.第45届国际自动化、语言和编程学术讨论会（ICALP 2018）。莱布尼茨国际信息学论文集（LIPIcs），第107卷，第12:1-12:14页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2018）
https://doi.org/10.4230/LIPIcs.ICALP.2018.12

摘要

Holant问题是一类图上的计数问题，由布尔输入的复值函数集参数化。Holant ^c表示这些问题的一个子系列，其中考虑的任何函数集都必须包含两个一元函数，将输入固定到值0或1。Holant问题的复杂性分类通常采用二分法定理的形式，表明对于族中的任何函数集，该问题要么是#P-hard问题，要么可以在多项式时间内求解。以前的这些结果包括实值Holant^c和具有复杂对称函数的Holant^c的二分法，即仅依赖于输入的Hamming权重的函数。这里，我们导出了具有复值且不一定是对称函数的Holant ^c的二分法定理。可处理的情形是实值Holant^c二分法可处理情形的复值推广。该证明使用了量子信息理论的结果，特别是关于纠缠的结果。霍兰特的这种完全二分法回答了一个近十年来一直悬而未决的问题。

受试者分类

ACM科目分类
  • 计算理论→ 复杂性类别
  • 计算理论→ 问题、减少和完整性
关键词
  • 计算复杂性
  • 计数复杂性
  • 霍兰特问题
  • 二分法
  • 纠缠

韵律学

相关版本

工具书类

  1. 米里亚姆·巴克斯。复合值Holant ^c.arXiv的完全二分法：1704.05798[quant-ph]，2017。谷歌学者
  2. 米里亚姆·巴克斯。受量子计算启发的新Holant二分法。Ioannis Chatzigiannakis、Piotr Indyk、Fabian Kuhn和Anca Muscholl，编辑，第44届国际自动化、语言和编程学术讨论会（ICALP 2017），莱布尼茨国际信息学学报（LIPIcs）第80卷，16:16:14页，德国达格斯图尔，2017年。达格斯图尔-莱布尼茨信息中心。网址：http://dx.doi.org/10.4230/LIPIcs.ICALP.2017.16.
  3. 米里亚姆·巴克斯。归纳纠缠分类下四量子比特纠缠态的超类数。物理评论A，95（2）：0223292017。网址：http://dx.doi.org/10.1103/PhysRevA.95.022329.
  4. J.Cai，X.Chen和P.Lu。具有复值的图同态：二分定理。SIAM计算机杂志，42（3）：924-10292013年1月。网址：http://dx.doi.org/10.1137/10840194.
  5. J.Cai、H.Guo和T.Williams。捕获消失的签名导致了完全的两分法。SIAM计算机杂志，45（5）：1671-17282016。网址：http://dx.doi.org/10.1137/15M1049798.
  6. J.Cai、P.Lu和M.Xia。布尔域Holant*问题的二分法。第二十二届ACM-SIAM离散算法年会论文集，论文集，第1714-1728页。工业和应用数学学会，2011年1月。网址：http://dx.doi.org/10.1137/1.9781611973082.132.
  7. 蔡金一和朱德丽。Valiant的Holant定理和匹配门张量。理论计算机科学，384（1）：22-322007。网址：http://dx.doi.org/10.1016/j.tcs.2007.05.015.
  8. 蔡金一和傅志国。带有匹配门的全息算法对于布尔域上的平面#CSP是通用的。《第49届ACM SIGACT年度计算理论研讨会论文集》，STOC 2017，第842-855页，美国纽约州纽约市，2017年。ACM公司。网址：http://dx.doi.org/10.1145/3055399.3055405.
  9. 蔡金毅，黄桑霞，卢品妍。从霍兰特到#CSP和后面：霍兰特问题的二分法。《算法》，64（3）：511-5332012年3月。网址：http://dx.doi.org/10.1007/s00453-012-9626-6.
  10. 蔡金一、卢品妍和夏明基。复数加权布尔值#CSP的复杂性。《计算机与系统科学杂志》，80（1）：217-2362014年2月。最早出现在STOC'09中的是“Holant问题和计算CSP”。网址：http://dx.doi.org/10.1016/j.jcss.2013.07.003.
  11. 蔡金一、卢品妍和夏明基。实Holantsuperscriptc问题的二分法。第二十届ACM-SIAM离散算法年会论文集，1802-1821页。工业和应用数学学会，2018年。网址：http://dx.doi.org/10.1137/1.9781611975031.118.
  12. W.Dür、G.Vidal和J.I.Cirac。三个量子比特可以以两种不相等的方式纠缠。物理评论A，62（6）：0623142000。网址：http://dx.doi.org/10.103/PhysRevA.62.062314.
  13. Mariami Gachechiladze和Otfried Gühne。完成了“广义量子非局域性”的证明。《物理快报》A，381（15）：1281-12852017年4月。网址：http://dx.doi.org/10.1016/j.physleta.2016.10.001.
  14. 黄桑霞（Sangsia Huang）和卢品彦（Pinyan Lu）。实数加权Holant问题的二分法。计算复杂性，25（1）：255-3042016年3月。网址：http://dx.doi.org/10.1007/s00037-015-0118-3.
  15. L.Lamata、J.León、D.Salgado和E.Solano。随机局部操作和经典通信下多体纠缠的归纳分类。物理评论A，74（5）：0523362006年11月。网址：http://dx.doi.org/10.103/PhysRevA.74.052336.
  16. L.Lamata、J.León、D.Salgado和E.Solano。随机局部操作和经典通信条件下四个量子位的诱导纠缠分类。物理评论A，75（2）：0223182007年2月。网址：http://dx.doi.org/10.103/PhysRevA.75.022318.
  17. 李大法、李向荣、黄洪涛和李新新。SLOCC分类的简单标准。《物理快报》A，359（5）：428-4372006年12月。网址：http://dx.doi.org/10.1016/j.physleta.2006.07.004.
  18. 林嘉宝和王汉萍。非负权重布尔域上Holant问题的复杂性。Ioannis Chatzigiannakis、Piotr Indyk、Fabian Kuhn和Anca Muscholl，编辑，第44届国际自动化、语言和编程学术讨论会（ICALP 2017），莱布尼茨国际信息学学报（LIPIcs）第80卷，第29:1-29:14页，德国达格斯图尔，2017年。Dagstuhl-Leibniz-Zentrum fuer Informatik宫。网址：http://dx.doi.org/10.4230/LIPIcs.ICALP.2017.29.
  19. Sandu Popescu和Daniel Rohrlich。一般量子非局域性。《物理快报》A，166（5-6）：293-2971992。网址：http://dx.doi.org/10.1016/0375-9601（92）90711-T.
  20. L.Valiant。全息算法。SIAM计算机杂志，37（5）：1565-15942008年1月。网址：http://dx.doi.org/10.1137/070682575.
  21. F.Verstraete、J.Dehaene、B.De Moor和H.Verschelde。四个量子比特可以以九种不同的方式纠缠。物理评论A，65（5）：0521122002年4月。网址：http://dx.doi.org/10.103/PhysRevA.65.052112.
问题/备注/反馈
X（X）

Dagstuhl出版社反馈


感谢您的反馈！

已提交反馈

无法发送消息

请稍后再试或发送电子邮件
© 2023-2024Schloss Dagstuhl–LZI股份有限公司 印记 隐私 联系人