标签: 基本概念 深度搜索 最小生成树 CSPJ2019 CSPJ2020 CSP J2023