>>422
それはO(logN-L)ですね
A=[0,1,…,2^k-1]のとき、AL=2^(k-1)-1以降でAR=2^(k-1)=AL+1を探索する時をlog1にできないですね?