拓扑排序与回溯算法在UVa 124题中的应用

1. 问题背景与核心挑战

这道UVa 124题目看似简单，实则蕴含了图论和回溯算法的经典思想。我在第一次接触这类问题时，花了整整一个下午才真正理解其精妙之处。题目要求我们处理变量间的偏序关系，输出所有可能的全序排列——这正是拓扑排序的枚举问题在实际编程竞赛中的典型应用场景。

关键理解：拓扑排序的本质是将有向无环图(DAG)的节点线性化，使得每条有向边的起点都排在终点之前。在这个问题中，每个x<y的约束就是一条从x指向y的有向边。

2. 算法设计与实现思路

2.1 数据结构建模

我选择用以下数据结构来表示问题：

• 字符数组input[]存储变量列表
• 二维数组limit[][]存储约束条件
• 数组value[]记录每个字母在当前排列中的位置
• 布尔数组visited[]标记字母是否已被使用
• 字符数组output[]存储当前生成的排列

cpp复制#define MAXN 20
bool visited[MAXN];
int nChar, value[2 * MAXN], nLimit;
char output[MAXN], input[MAXN], limit[MAXN][2];

2.2 回溯算法框架

回溯法的核心在于"尝试-验证-回溯"的循环。我的实现分为三个关键函数：

1. print()：输出有效排列
2. isValid()：验证当前部分排列是否满足所有约束
3. lexicographical()：主回溯函数

cpp复制void lexicographical(int current) {
    if (current >= 2 && !isValid()) return;  // 早期剪枝
    if (current == nChar) {
        print();
        return;
    }
    for (int i = 0; i < nChar; i++)
        if (!visited[i]) {
            visited[i] = true;
            output[current] = input[i];
            value[input[i] - 'a