# FocusBranch框架

针对只允许改动少量像素的ℓ0扰动，FocusBranch把“至多k个像素被扰动”的约束改写为由焦点像素集与层级组成的节点，使验证可以在不同层级上分支。它用覆盖设计生成超节点、用上影生成具体节点，并按采样估计选择起始层级。在13个网络、3189个候选实例上，它验证了2799个；在740个候选实例的对比中验证641个，而CoVerD+top-k-GP为375个。

针对只允许改动少量像素的ℓ0扰动，FocusBranch把“至多k个像素被扰动”的约束改写为由焦点像素集与层级组成的节点，使验证可以在不同层级上分支。它用覆盖设计生成超节点、用上影生成具体节点，并按采样估计选择起始层级。在13个网络、3189个候选实例上，它验证了2799个；在740个候选实例的对比中验证641个，而CoVerD+top-k-GP为375个。