在写诗人小G这道题时,我发现题解中二分的范围有[q[t].l,q[t].r][q[t].l,q[t].r][q[t].l,q[t].r],有[q[t],n+1][q[t],n+1][q[t],n+1],还有[i,n+1][i,n+1][i,n+1],并且[1,n+1][1,n+1][1,n+1]实际上也能通过。但是我不理解在第二种和第四种的范围中,为什么不会导致二分得到的值小于 iii ,或者说即使小于 iii 也不会导致答案的错误,也或者是在小于iii时,二分也具有单调性。是这道题的特殊性质,还是所有决策单调性的题都能使用。