据我所知，可以使用段树来查找A的子数组的总和。根据教程here，这可以在O（logn）时间内完成。
但是我无法证明查询时间确实是O（logn）。这个链接（和许多其他人）说我们可以证明在每个级别，处理的最大节点数是4，所以O（4logn）== O（logn）。但是我们如何证明这一点，也许是矛盾呢？
如果是这样，如果我们将段树用于高维数组的远程和，那么证明如何扩展？
例如，我可以考虑通过将原始矩阵划分为4个象限（类似于线性阵列中的对分间隔）来构建子象限分段，从而建立一个象限段树，但是证据证明了这一点。