kd-tree剪枝的时间复杂度有严格证明吗
或者说在随机数据下期望复杂度是多少