依赖引导的回溯 【计】 dependency-directed backtracking