递归是一种通过函数自调用解决问题的技术，包含基本情况和递归情况。它简化代码，适用于树和图等结构，但可能导致栈溢出和性能问题。常用于阶乘、斐波那契数列、树遍历等。优化方法包括记忆化和动态规划。