;Itincrementallybuildscandidatestothesolutions，andabandonseachpartialcandidatec，assoonasitdeterminesthatccannotpossiblybecompletedtoaninvalidsolution.递增地构建解的候选，并且一旦确定部分候选c不能成为合法的解，就将c抛弃