首先看 \(2\) 操作，不难发现其有最小元，也就是肯定有一个数 \(d\)，使得变为对 \(a\) 加 \(d\) 或减 \(d\)，能否使其单调不降，比较容易猜出 \(d = \gcd (m, k)\)。
然后考虑一下固定 \(k\) 时怎么做，因为要修改，不能涉及一些很复杂的贪心，考虑先将 \(a\) 全部 \(\mod d\)，此时相当于就没有 \(-d\)，只有 \(+d\) 了，我们只需要考虑 \(a_n\) 是否满足条件即可，此时显然 \(a_n' = a_n + xd\)，此时容易得到 \(x\) 为极长连续不降段个数 \(-1\)，动态维护它是好做的。
注意到 \(m\) 很小，于是我们对于每个 \(m\) 的因数去分别维护即可，时间复杂度是可接受的。