在数据规模任意且仅关注渐进复杂度的情况下，哪种排序算法的时间复杂度最优？请说明理由。

回答思路

1. 能指出比较排序最优时间复杂度为O(n log n)
2. 能说明非比较排序（如计数、基数排序）在特定条件下可达到O(n)
3. 能区分最坏、平均、最好情况复杂度
4. 能给出合理的选择理由并承认问题条件限制