若某算法满足递推式：$T(n)=2T(n/2)+O(n)$，则其时间复杂度为 $O(n\log n)$。