标签: 深度搜索 最小生成树 CSPJ2020 CSPJ2021 CSP J2023