Codeforces Round 890 (Div. 2) supported by Constructor Institute ABCD
令f(l,r)为区间[l,r]上最大的数,inv(l,r)为区间[l,r]上的逆序数,如果inv(l,r)==inv(l,r-1),则有f(l,r)=r,只有之前区间加上的数是该区间最的大的数才能不影响之前的区间的逆序数,我们可以通过分治,先从只有一个数的区间开始,然后开始合并,每个区间的状态都由其最大值表示,最终一定可以得到f(1,n)统计1的数量cnt和大于1的数的总和sum,只要满足sum>=2*cnt即可,只有出现1补不上了或者n==1才判no;