affine-refinement

本文证明，对于M>=3，每个向量值仿射细化算子的有限仿射迭代都有一个精确的固定宽度ReLU实现，深度为O(n)，使用残差记忆控制器和偏移帧。该结果推广到任意紧支撑连续分段线性强制项。