3.3 基于可替换集合的求解算法