本文研究了计算复杂性中的几种归约方法，应用它们刻画了一些计数问题的计算复杂性，或者给出了多项式时间算法，或者证明其是＃P完全的；研究了匹配线路和匹配门的性质。　　 多项式插值(polynomial interpolation)和全息归约(holographic reduction)是两种计数问题间的归约方法。匹配线路(matchcircuit)是一种多项式时间内模拟部分量子线路的方法，匹配门(matchgate)是构成它的零件。以上方法都是Valiant提出的，需要用到矩阵的秩、张量积等代数工具。　　 本文给出齐次多项式被其在一列递归点列上的值所唯一确定的充分条件，把多项式插值归约推广到高维，使这一方法一般化，用此方法证明了限制到三规则平面偶图的顶点覆盖数目问题仍然是＃P完全的，回答了Vadhan提出的问题。　　 以往的全息归约总是用于平面图完美匹配问题，归根结底是归约到PfaffianSum问题，绝大多数全息算法也是解决平面图上的问题。在本文中，全息归约到其它P中问题，给出了两个一般图上的问题的多项式时间算法；首创对＃P完全问题做全息归约，同时结合插值归约，在证明计数问题的＃P完全性上取得很好的效果，证明了两类问题中一些问题的＃P完全性。　　 构造了一系列EVAL(H)问题(也叫带权重的H染色数目问题)，说明了EVAL(H)问题的复杂性和度之间的关系特点。　　 证明了：对任意k，k比特的匹配门的非退化特征矩阵构成群；2比特的匹配门是通用的。前者推广了蔡进-等的结果，后者回答了Valinat提出的这一未解决问题。使用一些特殊的非退化的简单匹配门，连接到当前的匹配门，以化简其特征矩阵，是证明这两个结果的关键新方法。