下面算法的功能是:()
Method(C) { S = {}; while (not solution(S)) { x = select(C); if feasible (S, x) S = S + {x}; C = C - {x}; } return S; }