文件大小：0.53 MB 14页
非负权布尔域上Holant问题的复杂性
作者
-
部分： 体积： 第44届国际自动化、语言和编程学术讨论会（ICALP 2017）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 自动化、语言和编程国际学术讨论会（ICALP） 许可证： 
Creative Commons Attribution 3.0未出口许可证 出版日期：2017-07-07
文件
文件标识符
引用为 获取BibTex
摘要
关键词
计数复杂性 二分法 霍兰特 #CSP公司
度量标准
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
安德烈·布拉托夫。 计数约束满足问题的复杂性。 J.ACM，60（5）：342013年。 
-
安德烈·布拉托夫（Andrei A.Bulatov）和维克托·达尔摩（Víctor Dalmau）。 关于计数约束满足问题的二分法定理。 信息计算。， 205(5):651-678, 2007.
-
安德烈·布拉托夫（Andrei A.Bulatov）、马丁·E·戴尔（Martin E.Dyer）、莱斯利·A·戈德堡（Leslie A.Goldberg）、马库斯·贾森尤斯（Markus Jalsenius）、马克·杰勒姆（Mark Jerrum）和大卫·里切比。 加权和未加权#CSP的复杂性。 J.计算。 系统。 科学。， 78（2）：681-6882012年。
-
安德烈·布拉托夫（Andrei A.Bulatov）、马丁·E·戴尔（Martin E.Dyer）、莱斯利·A·戈德堡（Leslie A.Goldberg）、马库斯·贾森尤斯（Markus Jalsenius）和大卫·里切比（David Richerby）。 带混合符号的加权布尔#CSP的复杂性。 西奥。 计算。 科学。， 410(38-40):3949-3961, 2009.
-
安德烈·布拉托夫（Andrei A.Bulatov）和马丁·格罗（Martin Grohe）。 配分函数的复杂性。 西奥。 计算。 科学。， 348(2):148-186, 2005.
-
蔡金一和陈曦。 关于非负权有向图同态的一个可判定二分法定理。 在第51届IEEE计算机科学基础年度研讨会论文集，第437-4462010页。
-
蔡金一和陈曦。 计算具有复杂权重的CSP的复杂性。 2012年第44届计算理论研讨会论文集，第909-920页。
-
蔡金毅，陈曦，卢品彦。非负加权#CSP：一种有效的复杂性二分法。 在2011年第26届IEEE计算复杂性年会论文集，第45-54页。
-
蔡金毅，陈曦，卢品彦。复值图同态：二分法定理。 SIAM J.计算。， 42(3):934-1029, 2013.
-
蔡金毅、傅志国、恒国和泰森·威廉姆斯。 霍兰特二分法：FKT算法是通用的吗？ 2015年IEEE第56届计算机科学基础年度研讨会，第1259-1276页。
-
蔡金一、郭恒和泰森·威廉姆斯。 一个完全的二分法来自于对消失签名的捕获：扩展抽象。 2013年第45届ACM计算机理论研讨会论文集，第635-644页。
-
蔡金一、郭恒和泰森·威廉姆斯。 全息算法超越了匹配门。 ICALP会议记录，第271-282页，2014年。
-
蔡金毅，黄桑霞，卢品妍。从霍兰特到#CSP和后面：霍兰特问题的二分法。 算法，64（3）：511-5332012。
-
蔡金一、卢品妍和夏明基。 Holant问题和计算CSP。 2009年第41届ACM计算机理论年会论文集，第715-724页。
-
蔡金一、卢品妍和夏明基。 Holant问题的计算复杂性。 SIAM J.计算。， 40(4):1101-1132, 2011.
-
蔡金一、卢品妍和夏明基。 布尔域Holant^*问题的二分法。 《第二十二届ACM-SIAM离散算法年度研讨会论文集》，第1714-1728页，2011年。
-
蔡金一、卢品妍和夏明基。 复数加权布尔值#CSP的复杂性。 J.计算。 系统。 科学。， 80(1):217-236, 2014.
-
纳迪娅·克里诺（Nadia Creignou）和米基·赫尔曼（Miki Hermann）。 广义可满足性计数问题的复杂性。 信息计算。， 125(1):1-12, 1996.
-
Martin E.Dyer、Leslie A.Goldberg和Mark Jerrum。 加权布尔#CSP的复杂性。 SIAM J.计算。， 38(5):1970-1986, 2009.
-
马丁·戴尔（Martin E.Dyer）、莱斯利·戈德堡（Leslie A.Goldberg）和迈克·帕特森（Mike Paterson）。 关于有向非循环图的同态计数。 J.ACM，54（6），2007年。
-
马丁·戴尔（Martin E.Dyer）和凯瑟琳·格林希尔（Catherine S.Greenhill）。 计数图同态的复杂性。 随机结构。 算法，17（3-4）：260-2892000。
-
马丁·戴尔（Martin E.Dyer）和大卫·理查德比（David Richerby）。 关于#CSP的复杂性。 2010年第42届ACM计算机理论研讨会论文集，第725-734页。
-
Martin E.Dyer和David Richerby。 计数约束满足问题的有效二分法。 SIAM J.计算。， 42(3):1245-1274, 2013.
-
迈克尔·弗里德曼（Michael Freedman）、拉兹洛瓦兹（LászlóLovász）和亚历山大·施里杰弗（Alexander Schrijver）。 图的反射正性、秩连通性和同态。 J.Amer。 数学。 Soc.，20（1）：37-512007年。
-
Leslie A.Goldberg、Martin Grohe、Mark Jerrum和Marc Thurley。 混合符号配分函数的复杂性二分法。 SIAM J.计算。， 39(7):3336-3402, 2010.
-
Heng Guo、Pinyan Lu和Leslie G.Valiant。 对称布尔奇偶Holant问题的复杂性。 SIAM J.计算。， 42(1):324-356, 2013.
-
帕沃尔·赫尔和雅罗斯拉夫·内什等人。 关于H-染色的复杂性。J.Comb。 理论Ser。 B、 48（1）:92-1101990年。
-
黄桑霞（Sangsia Huang）和卢品彦（Pinyan Lu）。实数加权Holant问题的二分法。 《第27届计算复杂性会议论文集》，第96-106页，2012年。
-
理查德·E·拉德纳。 关于多项式时间可约性的结构。 J.ACM，22（1）：155-171975年。
-
拉兹洛瓦兹。 结构操作。 数学学报。 挂。， 18(3-4):321-328, 1967.
-
莱斯利·瓦利安特（Leslie G.Valiant）。 意外算法。 第47届IEEE计算机科学基础年度研讨会论文集，第509-5172006页。
-
莱斯利·瓦利安特（Leslie G.Valiant）。 全息算法。 SIAM J.计算。， 37(5):1565-1594, 2008.