应用快速排序的分治思想，可以实现一个求第 $K$ 大数的程序。假定不考虑极端的最坏情况，理论上可以实现的最低的算法时间复杂度为（ ）。