该题来源于NOIP2004普及组，核心是理解字典序全排列的生成机制。题目给出一个长度为N的排列，要求将其按字典序视为第1个排列，然后找到其后第M个排列，并输出结果。虽然C++标准库提供了next_permutation可以直接解决，但深入理解其背后的构造逻辑对算法思维提升至关重要。 本题的关键在于：如何高效地从当前排列出发，跳过中间M-1个字典序排列，直接生成目标排列。有选手采用深度优先搜索（DFS）模拟全排列过程，并通过巧妙剪枝实现快速定位，这种方法虽非最优效率，却极富教学意义。 下面展示一种更清晰、高效的实现思路： 假设当前排列为P，我们要得到它之后第M个字典序排列。可以借助"下一个排列"算法的思想，连续调用M次next_permutation即可。但由于N最大可达10000，而M不超过100，因此即使每次操作接近O(N)，总复杂度也仅为O(M×N)，完全可以接受。 以下是使用STL实现的简洁版本：

#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;

int main() {
    int n, m;
    cin >> n >> m;
    vector<int> fingers(n);
    for (int i = 0; i < n; ++i) {
        cin >> fingers[i];
    }
    
    // 连续执行 M 次 next_permutation
    for (int i = 0; i < m; ++i) {
        next_permutation(fingers.begin(), fingers.end());
    }
    
    for (int i = 0; i < n; ++i) {
        if (i > 0) cout << " ";
        cout << fingers[i];
    }
    cout << endl;
    
    return 0;
}

然而，若不依赖STL，手动实现"下一个排列"函数更能体现算法本质。其步骤如下：

1. 从右向左查找第一个满足 a[i] < a[i+1] 的位置i；
2. 再从右向左找第一个大于a[i]的元素a[j]；
3. 交换a[i]与a[j]；
4. 将i+1到末尾的子数组反转。

这种做法的时间复杂度为O(M×N)，空间复杂度O(N)，在给定数据范围内表现优异。 值得注意的是，原题解中提到的DFS方法通过设置标志位和特殊起始控制，在遍历过程中跳过无效分支，本质上是在模拟字典序生成路径。其中关键代码：

if(res == 0) i = a[step];

确保首次递归严格按照输入排列展开，从而将初始状态作为字典序起点，后续通过全局计数res累加至M+1时输出结果。尽管该方法在最坏情况下可能面临阶乘级搜索空间，但由于实际只前进M步且M很小，结合剪枝条件，仍能在限定时间内完成。 综上所述，本题既可作为STL应用范例，也可用于深入理解排列生成机制与DFS状态控制技巧。