数字组合算法：从候选数字中找出满足和为目标的所有组合

数字组合问题是一个经典的算法问题，其目标是找出给定候选数字集合中所有满足和为目标数字的组合。为了解决这个问题，我们采用了一种基于栈结构的算法。下面是该算法的实现步骤：

1. 首先，将候选数字集合按照从小到大的顺序进行排序。这是为了确保在生成组合时能够按照非降序的顺序添加数字。
2. 创建一个空栈，用于存储当前的组合。初始时，栈中不包含任何数字。
3. 从排序后的候选数字集合的第一个数字开始，依次将其放入栈中。同时，不断更新栈中数字的和，并与目标数字进行比较。
4. 如果栈中的数字和大于目标数字，说明当前组合不满足条件，需要将栈中的数字依次弹出，直到栈为空或者找到一个数使得栈中的数字和等于目标数字。这个数就是下一个要放入栈中的数字。
5. 将下一个要放入栈中的数字放入栈中，重复步骤4，直到所有候选数字都被考虑过。
6. 最后，栈中剩余的数字就是满足和为目标数字的组合。将这些组合输出即可。

这种算法的时间复杂度为O(n^2)，其中n是候选数字集合的大小。这是因为在最坏的情况下，我们需要对每个候选数字进行弹出和重新放入栈的操作。但是，由于栈的大小最多为n，所以该算法在可接受的时间内能够处理大规模的候选数字集合。

下面是一个示例代码的实现：

def combination_sum2(candidates, target):
    candidates.sort()  # 将候选数字集合按从小到大排序
    stack = []  # 创建一个空栈用于存储当前组合
    result = []  # 存储满足条件的组合
    for i in range(len(candidates)):
        while stack and candidates[i] > stack[-1]:  # 如果当前候选数字大于栈顶元素，则将栈顶元素弹出
            stack.pop()
        if not stack or candidates[i] > target - stack[-1]:  # 如果栈为空或者当前候选数字大于目标减去栈顶元素
            stack.append(candidates[i])  # 将当前候选数字放入栈中
        elif candidates[i] == target - stack[-1]:  # 如果当前候选数字等于目标减去栈顶元素，则找到一个满足条件的组合
            result.append(stack + [candidates[i]])
    return result

这个函数接受两个参数：候选数字集合 candidates 和目标数字 target。它返回一个列表，包含了所有满足和为目标数字的组合。请注意，这里使用了Python的列表作为栈的数据结构，方便进行元素的弹出和添加操作。

使用示例：

candidates = [2, 3, 6, 7]
target = 7
combinations = combination_sum2(candidates, target)
print(combinations)  # 输出：[ [7], [2, 2, 3] ]

这个示例中，候选数字集合为 [2, 3, 6, 7]，目标数字为 7。函数返回了两个满足条件的组合：[7] 和 [2, 2, 3]。它们都是从候选数字集合中选出的数字，且它们的和等于目标数字 7。