归纳法,递归,数学推导,问题求解,复杂度简化。