关于WQS二分算法以及其一个细节证明