理解不了为什么可以这样二分，把比mid大的设为1，小的设为0。01排序后看第p位置是否为1，若为1，则成立。。怎么理解。能给个感性点的理解吗