W谱系（W-hierarchy），理学-计算机科学技术-计算机科学理论-算法-参数算法，对参数计算问题（见参数算法）的固定参数难解性进行分类的一套复杂性类。W谱系涉及的主要复杂性类及其包含关系如下：下面主要给出W[t] （t>0）复杂性类的具体定义。W[SAT]和W[P]的定义可以参考文献。令C是一个布尔电路。如果C中某个输入门(与门或者或门)的输入线数目不受限制，则称其为大输入门。对任意输入变量x以及从x到输出线的路径p，令B(x,p)是p中的大输入门个数。令B(x)是满足如下条件的最小整数：对任意x到输出线的路径p,B(x,p)≤B(x)。电路C的纬t是满足如下条件的正整数：对任意输入变量x，B(x) ≤t并且存在输入变量y满足B(y)=t。电路C的深度是输入门的层数。令X={x1,…,xn}是电路C的输入变量集合。一个赋值的权是被赋值为1（真）的输入变量的个数。Weighted Weft-t Depth-h Circut Satisfiability (WCS(t, h))输入：一个纬是t、深度是h的布尔电路C，以及一个正整数k。参数：k。