【AB09】桑吉夫,阿罗拉和波阿斯,巴拉克.计算复杂性：一种现代方法剑桥大学出版社，2009.
[ALM+98]桑吉夫,阿罗拉,卡斯滕,隆德,拉杰夫,莫特瓦尼,马杜,苏丹和Mario Szegedy。证明验证和近似问题的难度。
美国医学会杂志
45(1998)，编号3，501–555。
[巴83]弗朗西斯科,巴拉奥纳
多项式时间内有符号环图的平衡.预印本，智利大学，1983.
【Bar04】瑞吉斯,巴尔邦雄
关于唯一图3-平面上的可着色性和简约约简。
理论计算机科学
319(2004)，编号1–3，455–482。
【Bax82】罗德尼·J·。,巴克斯特
统计力学中精确求解的模型伦敦学术出版社，1982.
【BCSS98】勒诺（Lenore）,布鲁姆,费利佩,袖口,迈克尔,舒布、和史蒂夫,斯梅尔.复杂性和实际计算、施普林格、，1998.
【BD07】安德烈A。,布拉托夫和胜利者,达尔毛.关于计数约束满足问题的二分法定理。
信息与计算
205(2007)第5期，651-678页。
【BG05】安德烈A。,布拉托夫和马丁,格罗赫.配分函数的复杂性。
理论计算机科学
348(2005)第2期，148–186页。
【伯克尔86】迈克尔,Ben-O或,德克斯特,Kozen公司、和约翰,雷夫.初等代数和几何的复杂性。
计算机与系统科学杂志
32(1986)第2期，251-264页。
[Bol98]贝拉,博洛巴斯
现代图论Springer-Verlag公司，1998.
【2006年2月6日】索加塔,巴苏,理查德,波拉克、和玛丽·弗朗索瓦,罗伊.实代数几何中的算法、斯普林格-Verlag、，2006.
【英国标准94】罗伯特,伯顿和杰弗里·E·。,斯泰夫
有限型子移位最大熵测度的非唯一性。
遍历理论和动力系统
14(1994)第2期，第213-235页。
[BS95]关于最大熵测度的新结果。
以色列数学杂志
89(1995), 275–300.
[BSS89]勒诺（Lenore）,布鲁姆,迈克,舒布、和史蒂夫,斯梅尔.关于实数的计算和复杂性理论：NP完备性、递归函数和通用机器。
美国数学学会公报
21(1989), 1–46.
[灯泡13]安德烈A。,布拉托夫
计数约束满足问题的复杂性。
美国医学会杂志
60(2013)第5期，34:1–34:41。
【BW05】格雷厄姆·R。,布赖特韦尔和彼得,温克勒《欧拉电路计数》（Counting Euler circuits is#P complete），载于《第二届分析算法与组合数学研讨会论文集》（Proceedings of the 2nd Workshop on Analytic Algorithmics and Combinationatics），2005.
【CC06】金毅,蔡和维奈,乔杜里。关于匹配门和全息算法的一些结果，载于第33届国际自动化、语言和编程学术讨论会论文集，2006第703-714页。
【CC07】Valiant的Holant定理和匹配门张量。
理论计算机科学
384(2007)，编号1，22–32。
【CC12】金毅,蔡和Xi（希）,陈用复杂权重计算CSP的复杂性，发表在第44届ACM计算理论年度研讨会论文集上，2012第909-920页。
【CCL09】金毅,蔡,维奈,乔杜里、和Pinyan公司,卢.关于匹配门计算理论。
计算系统理论
45(2009)，编号108-132。
【CCL13】金毅,蔡,Xi（希）,陈、和Pinyan公司,卢.复值图同态：二分法定理。
SIAM计算机杂志
42(2013)，编号3924-1029。
【CCL16】非负加权#CSP：一种有效的复杂性二分法。
SIAM计算机杂志
45(2016)第6期，第2177–2198页。
【CF16】金毅,蔡和志国,傅带有匹配门的全息算法对于布尔域上的平面#CSP是通用的，CoRR abs/1603.07046(2016).
【CFGW15】金毅,蔡,志国,傅,恒,Guo（郭）、和泰森,威廉姆斯.A Holant二分法：FKT算法通用吗？，IEEE第56届计算机科学基础年会论文集，2015第1259-1276页。
【CG14】金毅,蔡和亚伦,戈伦斯坦.重温火柴门。
计算理论
10(2014)第7期，167-197页。
[CGG+16]金毅,蔡,安德烈亚斯,加拉尼,莱斯利·安,戈德伯格,恒,Guo（郭）,作记号,杰鲁姆,丹尼尔,什·特凡科维奇、和埃里克,维戈达.#树非唯一区域中二部有界度图上2-自旋系统的BIS-硬度。
计算机与系统科学杂志
82(2016)，编号5，690–711。
【CGW14】金毅,蔡,恒,Guo（郭）、和泰森,威廉姆斯。超越匹配门的全息算法。第41届国际自动化、语言和编程学术讨论会论文集，2014第271-282页。
【CGW16】金毅,蔡,恒,Guo（郭）、和泰森,威廉姆斯.一个完全的二分法来自于对消失签名的捕获。
SIAM计算机杂志
45(2016)1671-1728年第5期。
[第12页]金毅,蔡和迈克尔,科瓦尔奇克.具有复杂边函数的k-正则图上的自旋系统。
理论计算机科学
461(2012), 2–16.
【CK13】具有0，1-顶点赋值和实边函数的k-正则图上的分区函数。
理论计算机科学
494(2013), 63–74.
【CKS01】娜迪亚,克里诺,桑吉夫,卡纳、和马杜,苏丹布尔约束满足问题的复杂性分类。工业和应用数学学会，2001.
[CLX10]金毅,蔡,Pinyan公司,卢、和明治,夏。带有匹配门的全息算法可精确捕获可控制的平面#CSP。IEEE第51届计算机科学基础年会论文集，2010第427-436页。
【CLX11】金毅,蔡,Pinyan公司,卢、和明治,夏.一些限制计数问题复杂性的计算证明。
理论计算机科学
412(2011)第23期，2468–2485页。
【CNR89】Hyeong-Ah公司,崔,卡佐,中岛、和Chong S.公司。,轮辋
图形两分法和过孔最小化。
SIAM离散数学杂志
2(1989)，编号1，38-47。
【东风J02】马丁,染料,艾伦,饰带、和作记号,杰鲁姆.稀疏图中独立集的计数。
SIAM计算机杂志
31(2002)，编号5，1527-1541。
【DG00】马丁·E·。,染料和凯瑟琳,格林希尔.计数图同态的复杂性。
随机结构和算法
17(2000), 260–289.
【DGJ09】马丁,染料,莱斯利·安,戈德伯格、和作记号,杰鲁姆.加权布尔CSP的复杂性。
SIAM计算机杂志
38(2009)1970年至1986年，第5期。
【DGJ10】布尔#CSP的近似三分法。
计算机与系统科学杂志
76(2010)第3期，267–277页。
【DGJR12】马丁,染料,莱斯利,安·戈德伯格马库斯·贾森尤斯（Markus Jalsenius）和大卫·里查比（David Richerby）。近似有界度布尔值#CSP的复杂性。
信息与计算
220–221(2012), 1–14.
[DL92]保罗,达贡和迈克尔,鲁比.用大因子近似图的永久性。
理论计算机科学
102(1992)，编号2，283–305。
【DP91】克里斯托弗·T·J。,多德森和蒂莫西,邮政.张量几何：几何观点及其应用，数学研究生教材130、斯普林格-Verlag、，1991.
[图13]马丁·E·。,染料和大卫·理查德比。计数约束满足问题的有效二分法。
SIAM计算机杂志
42(2013)第3期，1245-1274。
[欧洲标准36]莱昂哈德,欧拉
问题解决方案和相关几何问题。
石油政治科学院评论
8(1736), 128–140.
[GG16]安德烈亚斯,加拉尼和莱斯利·安,戈德伯格.k-一致有界超图上2-自旋系统近似计数的复杂性。
信息与计算
251(2016), 36–66.
【GGJ16】安德烈亚斯,加拉尼,莱斯利·安,戈德伯格、和作记号,杰鲁姆.关于近似计数表H着色的复杂性三分法，载于第43届国际自动化、语言和编程学术讨论会论文集，2016，第46:1-46:13页。
[GGJT10]莱斯利·安,戈德伯格,马丁,格罗赫,作记号,杰鲁姆、和马克,瑟利.混合符号配分函数的复杂性二分法。
SIAM计算机杂志
39(2010)第7期，3336–3402。
[GGv+11]安德烈亚斯,加拉尼,气,Ge公司,丹尼尔,什·特凡科维奇,埃里克,维戈达、和临济义玄,杨.改进了硬核心模型中独立集计数的不可接近性结果，载于《第15届随机化与计算国际研讨会论文集》，2011.
[GGY16]安德烈亚斯,加拉尼Leslie Ann Goldberg和Kuan Yang。有界布尔计数约束满足问题的近似配分函数。CoRR abs/1610.04055(2016).
【GJP03】莱斯利·安,戈德伯格,作记号,杰鲁姆、和迈克,帕特森.二态自旋系统的计算复杂性。
随机结构与算法
23(2003)第2期，133–154页。
【GL16】恒,Guo（郭）和Pinyan公司,卢.铁磁2自旋系统的唯一性、空间混合和近似，摘自《第20届随机化和计算国际研讨会论文集》，2016，第页。31:1–31:26.
[GM94]G.公司。,加尔维亚蒂和F、。,马菲欧利.关于Pfaffians的计算。
离散应用数学
51(1994)第3期，269–275页。
[政府15]阿尔乔姆,戈沃罗夫、私人通信、，2015.
【GŠ12】气,Ge公司和丹尼尔,什·特凡科维奇.在4正则图中计算欧拉游程的复杂性。
算法
63(2012)，编号3588–601。
[GT11]马丁,格罗赫和马克,瑟利计算同态和配分函数。有限组合数学中的模型理论方法《当代数学558》（马丁·格罗和约翰·马考斯基主编），美国数学学会，2011.
【GW95】米歇尔·X。,戈曼斯和大卫·P·。,威廉姆森
利用半定规划对最大割和可满足性问题的逼近算法进行了改进。
美国医学会杂志
42(1995)第6期，1115–1145。
【GW13】恒,Guo（郭）和泰森,威廉姆斯.具有复数权重的平面布尔值#CSP的复杂性，载于第40届国际自动机、语言和编程学术讨论会论文集，2013第516–527页。
[Had75]F、。,哈德洛克
求平面图在多项式时间内的最大割,SIAM计算机杂志
4(1975)第3期，221–225页。
[哈尔66]约翰·H·。,哈尔顿
Pfaffians上Cayley定理的组合证明。
组合理论杂志
1(1966)，编号224-232。
[哈斯01]约翰,哈斯塔德
一些最佳不可接近性结果。
美国医学会杂志
48(2001)，编号4，798–859。
【Hie73】卡尔,Hierholzer公司
这是一个巨大的挑战，一个巨大的挑战，一个巨大的挑战。
数学年刊
6(1873)，编号1，30–32。
[HL16]黄桑霞Pinyan公司,卢.脂肪切开术治疗真正加重的holant问题。
计算复杂性
25(2016)，编号1，255–304。
【HT74】约翰,霍普克罗夫特和罗伯特·E·。,塔扬
有效的平面度测试。
计算机协会杂志
21(1974)第4期，549–568页。
[IMRS98]哈里B。,亨特三世,马达夫五世。,马拉特,文卡特斯,拉达克里希南、和理查德·E·。,斯坦恩斯
平面计数问题的复杂性。
SIAM计算机杂志
27(1998)第4期，1142-1167。
[Isi25]恩斯特·伊辛。
Beitra zur铁磁性理论。Zeitschrift für Physik公司
31(1925)，编号1，253–258。
[杰克85a]内森,雅各布森
基础代数，卷1W.H.Freeman，1985.
[Jac85b]基础代数，卷2W.H.Freeman，1985.
[杰尔87]作记号,Jerrum公司
二维单体-二聚体系统在计算上很难处理。
统计物理杂志
48(1987)，编号121–134。
[杰尔15]作记号,杰鲁姆、私人通信、，2015.
[JS93]作记号,Jerrum公司和阿利斯泰尔,辛克莱.伊辛模型的多项式时间近似算法。
SIAM计算机杂志
22(1993)第5期，1087–1116。
[JVW90]F、。,耶格尔,D.L.公司。,Vertigan公司、和D.J.A.博士。,威尔士的.琼斯多项式和塔特多项式的计算复杂性。
剑桥哲学学会数学进展杂志
108(1990)，编号1，35-53。
【KC10】迈克尔,科瓦尔奇克和金毅,蔡.具有复杂边函数的正则图的Holant问题，第27届计算机科学理论方面国际研讨会论文集，2010第525-536页。
[KD79]医学硕士。,柯什纳穆蒂和Narsingh Deo。节点删除NP-完成问题。
SIAM计算机杂志
8(1979)，编号4619–625。
[基尔47]G.公司。,基尔霍夫
Ueber die auflosung der gleichungen，auf welcheman bei der Untersuchung der linearen Verteilung镀锌机strome gefuhrt wird。
物理与化学年鉴
12(1847), 497–508.
[Kow10]迈克尔,科瓦尔奇克
Holant问题的二分法定理威斯康星大学麦迪逊分校博士论文，2010.
[许可证82]大卫,利希滕斯坦
平面公式及其用途。
SIAM计算机杂志
11(1982)，编号2，329–343。
【Lie67a】埃利奥特H。,留置权
反铁电F模型的精确解。
物理审查信函
18(1967)第24期，1046–1048页。
[留置权67b]二维冰熵问题的精确解。
物理审查信函
18(1967)，编号17，692–694。
[留置权67c]铁电体二维Slater KDP模型的精确解。
物理审查信函
19(1967)，编号3，108–110。
【Lie67d】方形冰的残余熵。
物理审查
162(1967)第1期，162–172页。
[林86]内森,Linial公司
几何和组合学中的硬枚举问题。
SIAM代数和离散方法杂志
7(1986)，编号2331-335。
【LL15】京城,线路接口单元和Pinyan公司,卢.计算单调CNF的FPTAS，第26届ACM-SIAM离散算法年会论文集，2015第1531-1548页。
【LLY12】梁,锂,Pinyan公司,卢、和伊通,阴。通过自旋系统中的相关衰减进行近似计数，第23届ACM-SIAM离散算法研讨会论文集，2012.
【LLZ14】京城,线路接口单元,Pinyan公司,卢和张池浩。带外场的铁磁双自旋系统的复杂性，第18届随机与计算国际研讨会论文集，2014第843-856页。
【LOT03】马西耶,Li'skiewicz先生,MitsunoriOgihara公司,、和晴之辅,托达.计算二维网格和超立方体子图中自空游动的复杂性。
理论计算机科学
304(2003)第1期，129–156页。
[LW16]中国国务院,林和汉宾,王非负权布尔域上Holant问题的复杂性。CoRR abs/1611.00975(2016).
【LY80】约翰·M·。,刘易斯和米哈利斯,亚纳卡基斯.遗传性质的节点删除问题是NP完全的。
计算机与系统科学杂志
20(1980)，编号2，219–230。
【MSV04】米娜,马哈扬,管理层代表。,Subramanya公司、和五、。,维奈.组合方法产生了计算Pfaffians的NC算法。
离散应用数学
143(2004)，编号1-3、1-16。
[穆尔00]卡佐,Murota公司
系统分析的矩阵和拟阵.施普林格，柏林,2000.
[MW96]米莱那,米哈伊尔和彼得,温克勒.关于图的欧拉方向数。
算法
16(1996)，编号4-5、402-414。
【MWW09】埃尔哈南,莫塞尔湾,德罗·威茨,、和尼古拉斯·沃马尔德,.关于超过树阈值的采样独立集的硬度。
概率论及其相关领域
143(2009)，编号3，401–439。
[内斯96a]于五世。,尼斯特伦柯
模块化功能和超越问题。
Comptes Rendus de l'Académie des Sciences–系列I–数学
322(1996), 909–914.
[Nes96b]模块化功能和超越问题。
斯博尼克
187(1996)，编号9，65–96。
[欧姆92]靖国,欧姆（Ohta）
双线性孤子理论，东京大学博士论文，1992.
[第94页]克里斯托斯H。,帕帕季米特里乌
计算复杂性艾迪森·韦斯利，1994.
[鲍35]莱纳斯,保林
冰和其他具有某种原子排列随机性的晶体的结构和熵。
美国化学学会杂志
57(1935)第12期，2680–2684页。
【PB83】J。,斯科特·普罗文和迈克尔·O。,球
计算割集和计算图连接概率的复杂性。
SIAM计算机杂志
12(1983)第4期，777–788页。
[锅52]伦弗雷B。,波茨
一些广义序-序变换。
剑桥哲学学会数学进展杂志
48(1952)，编号1，106–109。
[罗马12]安东尼奥,罗马尼亚语
经典力学与数学.比克豪泽，2012.
[唾液96]迈克尔,Sipser公司
计算理论导论PWS出版公司，1996.
【Sly10】艾伦,Sly公司唯一性阈值下的计算转换，第51届IEEE计算机科学基础年会论文集，2010第287-296页。
【2012春夏】艾伦,.Sly和Nike Sun。d正则图上双自旋模型计数的计算难度，IEEE第53届计算机科学基础年会论文集，2012第361-369页。
[st12]阿利斯泰尔,辛克莱,皮尤什,斯里瓦斯塔瓦和马克·瑟利。有界度图上两态反铁磁自旋系统的近似算法，第23届ACM-SIAM离散算法研讨会论文集，2012.
[塔尔51]阿尔弗雷德,塔斯基
初等代数和几何的一种判定方法.伯克利和洛杉矶，加利福尼亚大学出版社，1951.
[2009年4月]马克,瑟利
配分函数的复杂性柏林洪堡大学博士论文，2009.
【Tod91】美国。,托达
PP与多项式层次结构一样困难。
SIAM计算机杂志
20(1991)，编号5865–877。
【TS41】W.T.公司。,图特和中央银行。,史密斯.在4度网络中的单向路径上。
美国数学月刊
48(1941), 233–237.
[图48]W.T.公司。,图特
将等边三角形分割为等边三角形。
剑桥哲学学会数学进展杂志
44(1948), 463–482.
[Vad01]萨利尔P。,瓦丹
稀疏图、正则图和平面图中计数的复杂性。
SIAM计算机杂志
8(2001)，编号：1398–427。
[vAEdB51]T。,范·阿尔登-埃伦菲斯特和N.G.公司。,德布鲁因.有向线性图中的回路和树。
西蒙·斯特文
28(1951), 203–217.
[Val79a]莱斯利·G。,勇敢的
计算永久性的复杂性。
理论计算机科学
8(1979)，编号2188-201。
[有效值79b]枚举和可靠性问题的复杂性。
SIAM计算机杂志
8(1979)，编号3，410–421。
【Val02a】火柴门的表现力。
理论计算机科学
289(2002)，编号1，457–471。
【Val02b】可以在多项式时间内进行经典模拟的量子电路。
SIAM计算机杂志
31(2002)第4期，1229–1254。
【Val05】莱斯利·G。,勇敢的奇偶问题的完备性，第11届国际计算与组合数学会议论文集，2005第1-8页。
【Val06】莱斯利·G。,勇敢的偶然算法，IEEE第54届计算机科学基础年会论文集，2006第509–517页。
【价值08】全息算法。
SIAM计算机杂志
37(2008)第5期，1565-1594年。
[有效值10]莱斯利·G。,勇敢的关于全息算法的一些观察，载于第九届拉丁美洲理论信息学研讨会论文集，2010第577-590页。
[版本88]米歇尔·拉斯,维尔格纳斯.关于图的Tutte多项式在（3，3）处的求值。
组合理论杂志B辑
45(1988)第3期，第367–372页。
[版本05]德克,Vertigan公司
平面图的Tutte不变量的计算复杂性。
SIAM计算机杂志
35(2005)，编号3，690–712。
[VV86]莱斯利·G。,勇敢的和维杰五世。,瓦齐拉尼
NP就像检测独特的解决方案一样简单。
理论计算机科学
47(1986), 85–93.
【威06】德罗尔,韦茨计算达到树阈值的独立集，第38届ACM计算理论年会论文集，2006第140-149页。
[欢迎93]多米尼克,威尔士的
复杂性：结、颜色和计数伦敦数学学会演讲笔记系列。剑桥大学出版社，1993.
[参考文献70]B。,Widom公司和J.S.Rowlinson。液-气相变研究的新模型。
化学物理杂志
52(1970)，编号4。
【XZZ07】明治,夏,彭,张和赵文博。3-正则平面图计数问题的计算复杂性。
理论计算机科学
384(2007)，编号111-125。
[延81a]米哈利斯,亚纳卡基斯
边删除问题。
SIAM计算机杂志
10(1981)第2期，297–309页。
[燕81b]二部图上的节点删除问题。
SIAM计算机杂志
10(1981)，编号2，310–327。
【Zyk74】答：A。,日科夫
超图。
Uspekhi Matematicheskikh Nauk公司
6(1974)，编号180，89–154。
