为什么是吧规模为 $n$ , 的问题分解为了 $a$ 个规模为 $n/b$ 的问题呢？ 这样在合并回去的结果不是 $an/b$ 的吗？我看定理中没有提到 $a=b$ 呢