摘要： 先考虑如何判定一个$y$是否可行——从高位开始，记录这一位所需要的$2^{i}$数量$t$，若$y$的这一位为1，则$t+=x$，之后分两类讨论：1.$t\le a_{i}$，令$t=0$；2.$b>a_{i}$，令$t=2(t-a_{i})$，记比较之前的$t$为$b_{i}$，最终，我们需要让$ 阅读全文

摘要： 结论：设$b_{i}$满足该限制，则$a_{i}$合法当且仅当$\forall i\ne j,a_{i}\ne a_{j}$且$\forall |i-j|<k,[a_{i}<a_{j}]=[b_{i}<b_{j}]$，即$r_{i}$可以确定任意连续$k$位的相对大小关系 充分性显然成立，必要性不会 阅读全文