ExpoSort：突破拒绝排序的准多项式时间壁垒

我们提出了一种名为ExpoSort的算法，这是一种开创性的方法，可将长度为 $n$ 的数组以惊人的 $\Theta(2^n)$ 时间排序。ExpoSort自豪地声称是首个能够决定性地超越Broder和Stolfi [ACM SIGACT News, 1984]中被称为SlowSort的算法的准多项式运行时间 $\Omega(n^{\log n/(2+\varepsilon)})$ 的拒绝排序算法。在寻找最慢排序算法的持续征途中，ExpoSort重新定义了“慢慢来”的含义。令人惊讶的是，ExpoSort竟以已知所有排序算法中最简单伪代码之一来实现了这一点。然而，仅将一个递归调用移入if语句内部，ExpoSort就会被转换为一种惊人地被巧妙隐藏的经典插入排序变体，其最佳和最差运行时间分别为 $\Theta(n)$ 和 $\Theta(n^3)$。ExpoSort的这种双重性质提醒我们在构建拒绝算法时必须极为谨慎，稍有疏忽就可能意外地产生一种尴尬且实用的算法。