For iterative algorithms, loop invariant can be used as the proof of correctness. Kadane's algorithm is an iterative algorithm, so we do proof ...
確定! 回上一頁