D - 数据结构实验之图论四：迷宫探索

Description
有一个地下迷宫，它的通道都是直的，而通道所有交叉点(包括通道的端点)上都有一盏灯和一个开关；请问如何从某个起点开始在迷宫中点亮所有的灯并回到起点？
Input
连续T组数据输入，每组数据第一行给出三个正整数，分别表示地下迷宫的结点数N(1 < N <= 1000)、边数M(M <= 3000)和起始结点编号S，随后M行对应M条边，每行给出一对正整数，表示一条边相关联的两个顶点的编号。

Output
若可以点亮所有结点的灯，则输出从S开始并以S结束的序列，序列中相邻的顶点一定有边，否则只输出部分点亮的灯的结点序列，最后输出0，表示此迷宫不是连通图。
访问顶点时约定以编号小的结点优先的次序访问，点亮所有可以点亮的灯后，以原路返回的方式回到起点。

Sample
Input
1
6 8 1
1 2
2 3
3 4
4 5
5 6
6 4
3 6
1 5
Output
1 2 3 4 5 6 5 4 3 2 1

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
int n;//结点数
int vex[1010];
int arc[1010][1010];
int visited[1010];

int tvex[1010];//存储新产生的序列

int k = 0; //新产生序列的长度标记

void DFS(int i) {
    visited[i] = 1;
    tvex[k++] = vex[i];
    for(int j = 0; j < n; j++) {
        if(arc[i][j] == 1 && visited[j] == 0) {
            DFS(j);
            tvex[k++] = vex[i]; //后递归
        }
    }
}
int main() {

    int T;//组数
    int m;//边数
    int s;//起始结点

    int a, b; //表示一条边相关联的两个顶点的编号
    scanf("%d", &T);

    while(T--) {
        k = 0;
        memset(visited, 0, sizeof(visited)); //访问数组初始化
        memset(arc, 0, sizeof(arc)); //顶点数组初始化
        scanf("%d%d%d", &n, &m, &s);
        //给顶点数组赋值（顶点编号比下标大 1 ）
        for(int i = 0; i < n; i++) {
            vex[i] = i + 1;
        }
        for(int i = 0; i < m; i++) {
            scanf("%d%d", &a, &b);
            arc[a - 1][b - 1] = arc[b - 1][a - 1] = 1;
        }
        DFS(s - 1);
        //如果全部点亮并原路返回则除了终点只经过一次外其他点都经历过两次，也就是走过2*n-1个顶点
        if(k != 2 * n - 1) {
            tvex[k] = 0;
            for(int i = 0; i <= k; i++) {
                printf("%d%c", tvex[i], i == k ? '\n' : ' ');
            }
        } else {
            for(int i = 0; i < k; i++) {
                printf("%d%c", tvex[i], i == k - 1 ? '\n' : ' ');
            }
        }
    }
    return 0;
}