从卷积拆分和分组的角度看CNN模型的演化

博客:博客园 | CSDN | blog

写在前面

如题,这篇文章将尝试从卷积拆分的角度看一看各种经典CNN backbone网络module是如何演进的,为了视角的统一,仅分析单条路径上的卷积形式。

形式化

方便起见,对常规卷积操作,做如下定义,

  • II:输入尺寸,长HHWW ,令长宽相同,即I=H=WI = H = W
  • MM:输入channel数,可以看成是tensor的高
  • KK:卷积核尺寸K×KK \times K,channel数与输入channel数相同,为MM
  • NN:卷积核个数
  • FF:卷积得到的feature map尺寸F×FF \times F,channel数与卷积核个数相同,为NN

所以,输入为M×I×IM \times I \times I的tensor,卷积核为N×M×K×KN \times M \times K \times K的tensor,feature map为N×F×FN \times F \times F的tensor,所以常规卷积的计算量为
FLOPS=K×K×M×N×F×F FLOPS = K \times K \times M \times N \times F \times F
特别地,如果仅考虑SAME padding且stride=1stride = 1的情况,则F=IF = I,则计算量等价为
FLOPS=K×K×M×N×I×I FLOPS = K \times K \times M \times N \times I \times I
可以看成是(K×K×M)×(N×I×I)(K \times K \times M) \times (N \times I \times I),前一个括号为卷积中一次内积运算的计算量,后一个括号为需要多少次内积运算。

参数量为
#Params=N×M×K×K \#Params = N \times M \times K \times K

网络演化

总览SqueezeNet、MobileNet V1 V2、ShuffleNet等各种轻量化网络,可以看成对卷积核M×K×KM \times K \times K 进行了各种拆分或分组(同时引入**函数),这些拆分和分组通常会减少参数量和计算量,这就为进一步增加卷积核数量NN让出了空间,同时这种结构上的变化也是一种正则,通过上述变化来获得性能和计算量之间的平衡。

这些变化,从整体上看,相当于对原始FLOPS=K×K×M×N×I×IFLOPS = K \times K \times M \times N \times I \times I做了各种变换。

下面就从这个视角进行一下疏理,简洁起见,只列出其中发生改变的因子项,

  • Group Convolution(AlexNet),对输入进行分组,卷积核数量不变,但channel数减少,相当于
    MMG M \rightarrow \frac{M}{G}
    从卷积拆分和分组的角度看CNN模型的演化

  • 大卷积核替换为多个堆叠的小核(VGG),比如5×55\times 5替换为2个3×33\times 37×77\times 7替换为3个3×33\times 3,保持感受野不变的同时,减少参数量和计算量,相当于把 大数乘积 变成 小数乘积之和,
    (K×K)(k×k++k×k) (K \times K) \rightarrow (k \times k + \dots + k \times k)
    从卷积拆分和分组的角度看CNN模型的演化

  • Factorized Convolution(Inception V2),二维卷积变为行列分别卷积,先行卷积再列卷积,
    (K×K)(K×1+1×K) (K \times K) \rightarrow (K \times 1 + 1 \times K)
    从卷积拆分和分组的角度看CNN模型的演化

  • Fire module(SqueezeNet),pointwise+ReLU+(pointwise + 3x3 conv)+ReLU,pointwise降维,同时将一定比例的3×33\times 3卷积替换为为1×11 \times 1
    (K×K×M×N)(M×Nt+Nt×(1p)N+K×K×Nt×pN)K=3 (K \times K \times M \times N) \rightarrow (M \times \frac{N}{t} + \frac{N}{t} \times (1-p)N + K \times K \times \frac{N}{t} \times pN) \\ K = 3
    从卷积拆分和分组的角度看CNN模型的演化

  • Bottleneck(ResNet)pointwise+BN ReLU+3x3 conv+BN ReLU+pointwise,类似于对channel维做SVD,
    (K×K×M×N)(M×Nt+K×K×Nt×Nt+Nt×N)t=4 (K \times K \times M \times N) \rightarrow (M \times \frac{N}{t} + K \times K \times \frac{N}{t} \times \frac{N}{t} + \frac{N}{t} \times N) \\ t = 4
    从卷积拆分和分组的角度看CNN模型的演化

  • ResNeXt Block(ResNeXt),相当于引入了group 3×33\times 3 convolution的bottleneck,
    (K×K×M×N)(M×Nt+K×K×NtG×Nt+Nt×N)t=2, G=32 (K \times K \times M \times N) \rightarrow (M \times \frac{N}{t} + K \times K \times \frac{N}{tG} \times \frac{N}{t} + \frac{N}{t} \times N) \\t = 2, \ G = 32
    从卷积拆分和分组的角度看CNN模型的演化

  • Depthwise Separable Convolution(MobileNet V1)depthwise +BN ReLU + pointwise + BN ReLU,相当于将channel维单独分解出去,
    (K×K×N)(K×K+N) (K \times K \times N) \rightarrow (K \times K + N)
    从卷积拆分和分组的角度看CNN模型的演化

  • Separable Convolution(Xception)pointwise + depthwise + BN ReLU,也相当于将channel维分解出去,但前后顺序不同(但因为是连续堆叠,其实跟基本Depthwise Separable Convolution等价),同时移除了两者间的ReLU,
    (K×K×M)(M+K×K) (K \times K \times M) \rightarrow (M + K \times K)

    但实际在实现时还是depthwise + pointwise + ReLU。。。

    从卷积拆分和分组的角度看CNN模型的演化

  • pointwise group convolution and channel shuffle(ShuffleNet)group pointwise+BN ReLU+Channel Shuffle+depthwise+BN+group pointwise+BN,相当于bottleneck中2个pointwise引入相同的group,同时3×33\times 3 conv变成depthwise,也就是说3个卷积层都group了,这会阻碍不同channel间(分组间)的信息交流,所以在第一个group pointwise后加入了channel shuffle,即
    (K×K×M×N)(MG×Nt+channel shuffle+K×K×Nt+NtG×N) (K \times K \times M \times N) \rightarrow (\frac{M}{G} \times \frac{N}{t} + channel \ shuffle +K \times K \times \frac{N}{t} + \frac{N}{tG} \times N)
    从卷积拆分和分组的角度看CNN模型的演化

  • Inverted Linear Bottleneck(MobileNet V2),bottleneck是先通过pointwise降维、再卷积、再升维,Inverted bottleneck是先升维、再卷积、再降维,pointwise+BN ReLU6+depthwise+BN ReLU6+pointwise+BN
    (K×K×M×N)(M×tM+K×K×tM+tM×N)t=6 (K \times K \times M \times N) \rightarrow (M \times tM + K \times K \times tM + tM \times N) \\t = 6

    从卷积拆分和分组的角度看CNN模型的演化

小结

最后小结一下,早期的CNN由一个个常规卷积层堆叠而成,而后,开始模块化,由一个个 module构成,module的演化,可以看成是不停地在常规卷积的计算量FLOPS=K×K×M×N×I×IFLOPS = K \times K \times M \times N \times I \times I上做文章。

  • 拆分:卷积核是个3 D 的tensor,可以在不同维度上进行拆分,行列可拆分,高也可拆分,还可以拆分成多段串联。
  • 分组:如果多个卷积核放在一起,可以构成4D的tensor,增加的这一数量维上可以分组group。

不同拆分和分组的方式排列组合就构成了各种各样的module。