二进制相减的算法