关于分而治之的算法中时间复杂度的问题，如何解决？

如图所示，他这里讲到，N/2^k=1,不理解他为什么把N可以看做与2^k相等，这里为什么能够默认数组的大小为2^k呢？

只是为了方便分析复杂度而做的假设而已