n是partition时间复杂度，logn是分治法