1. 基线条件：递归必须有一个或多个终止条件，当满足该条件时，递归将停止。

2. 递归条件：递归必须包含一些自我调用的步骤，这些步骤需要将问题分解为较小的子问题。每个子问题都需要用相同的算法解决，并最终计算出最终答案。

3. 过程不重叠：每个递归调用必须解决不同的子问题，以减少或消除冗余计算的可能性。

4. 子问题结构相同：递归必须采用相同的算法解决每个子问题，以确保正确性和一致性。