\(B_i = A_i - i\) とすると, \(B_i\) を広義単調増加数列にするために必要な操作回数を求めることになる.

ただし, \(A_i\) は正の整数である必要があるので, \(B_i\) は \(0\) より大きくなければならないので, \(B_i \leq 0\) となる要素はそもそも書き換えなければいけないので省いておく.

あとは \(B_i\) の最長増加部分列の長さを求め, \(N\) から引けばいい.