没有看懂为什么问题能 “转化成最小化 XOR 配对”
也没有看懂后面的做法。