Skip to content

阈值电路

Threshold circuit · Linear threshold circuit

以加权布尔和是否越过阈值作为门函数的无环电路模型。

条目类型
模型

形式陈述

一个线性阈值门由权重 w1,,wm 与阈值 θ 指定,在输入 x{0,1}m 上输出

THRw,θ(x)=1[i=1mwixiθ].

权重可先取有理数,再同乘公分母化为整数;允许负权重便能表达抑制性输入。整数化以后,补函数也仍是一只阈值门:由于加权和为整数,

¬THRw,θ(x)=THRw,1θ(x).

阈值电路是以这类门为内节点的有限 DAG,因此是布尔电路的一种门基。多数门是 wi=1θ=m/2 的特例;AND 取 θ=m,OR 取 θ=1,NOT 可由单输入权重 1、阈值 0 实现。

模型约定必须同时说明 fan-in、深度、门数和权重编码。一般阈值门常允许无界 fan-in;若电路作为输入对象,整数权重与阈值用二进制写入,描述长度还包括它们的 bit 数。只数门而允许一个门携带无限精度实数,会把无法有效描述的信息藏进参数。复杂度类TC⁰通常直接用无权 majority 门定义,从根源上避开这项歧义。

直觉

阈值门先为每个输入投一张带权选票,再比较总票数与门槛。一个门只能用一个超平面切分布尔立方体:接受点位于半空间一侧。多层阈值电路则可把许多半空间组合成弯折得多的决策边界;深度和门数衡量要叠加多少轮这样的线性分割。

权重大小不是“重要性”这一口语标签,而是精确计算的一部分。同一门的参数也不唯一:把全部 wi,θ 同乘正整数不会改变输出,却会增加编码位数。若把 w2 归一化,布尔输入点到分离超平面的最小间隔可衡量对参数扰动的稳健性;标准离散电路模型只问输出是否精确,不要求这个间隔有统一下界。一个负权输入可能抵消多个正权输入,阈值位置决定等号落在哪侧。把权重从十进制改成二进制不改变门函数,却改变电路描述长度;把一个权重 W 粗暴地复制成 W 根导线,只在 W 本身为多项式时才保持多项式规模。因此讨论 majority 与一般 weighted threshold 的类级等价时,需要常深加法和比较构造,不能只说“复制输入即可”。

例子与边界

g(x1,x2,x3)=1[2x1+x23x31]

100 上的加权和为 2,输出 1;在 010 上恰为 1,等号约定使它也输出 1;在 111 上总和为 0,输出 0。尤其 100101,输出却从 1 降为 0,直接见证负权门不必是单调函数。这展示负权输入如何否决正信号,也说明阈值的严格或非严格比较必须固定。

二位 XOR 不是单个阈值门。若 00 被拒绝而 10,01 被接受,则必须有 θ>0w1,w2θ;于是 w1+w22θ>θ,迫使 11 也被接受,与 XOR 在 11 上输出 0 矛盾。多层阈值电路仍可计算 XOR,所以“不是一个门”不是“不能由阈值电路计算”。同理,单门表达能力、固定深度电路类和任意深度网络是三个不同层次。

线性可分性还依赖输入编码。把类别变量先做特征扩张,原本非线性的集合可能在新坐标中成为半空间;这改变的是输入表示,不是同一门突然增强。真实神经元或模拟比较器的噪声、有限精度也不在离散阈值模型内,工程鲁棒性需另行分析。

推论与应用

阈值门能够在一层汇总全部输入的计数趋势,使常深电路具备 AND/OR 之外的全局聚合能力。多项式规模、常数深度的 majority 电路族定义TC⁰,其中包含整数加法、乘法、除法等远超 AC⁰ 局部聚合能力的运算。把每个 threshold 门替换为对数深的有界扇入计数与比较电路,又是 TC0NC1 的结构来源。

该模型也连接感知器、投票系统和硬件比较树,但复杂度论关心的是随输入长度增长的电路族。给出一只固定门的权重向量只解决一个输入长度;要声称 uniform TC⁰,还需一致生成门、连线和参数,而不是为每个 n 人工挑一张不可计算的权重表。

参考资料
  • Ingo Wegener, The Complexity of Boolean Functions, Wiley-Teubner, 1987, Ch. 9.
  • Stasys Jukna, Boolean Function Complexity: Advances and Frontiers, Springer, 2012, Ch. 2.
  • Ian Parberry, Circuit Complexity and Neural Networks, MIT Press, 1994, Chs. 2–3.
关系图谱2 个相邻概念 · 2 类关系

拖动节点调整位置。

显示关系

显示:依赖

  1. 前置三跳
  2. 前置二跳
  3. 前置一跳
  4. 当前条目
  5. 后续一跳
  6. 后续二跳
  7. 后续三跳
文字版关系按与当前条目的最短距离分组
分类位置

上位 / 更一般

下位 / 直接特例

暂未标注直接特例。