逻辑推理-约束配对解题