更新され二分探索できる配列
配列を二分探索する時、典型的には「配列は更新されない」という条件がある。
更新されないことは十分条件だが必要条件ではない。更新してかつ二分探索するユースケースがある。
最長増加部分列
「xを超えない最大の値をxに更新」
これはソートされた状態を維持する