【编程马拉松】【019-一笔画】

【编程马拉松算法目录】

---

【019-一笔画】【工程下载>>>】

---

1 题目描述

---

　　咱们来玩一笔画游戏吧，规则是这样的：有一个连通的图，能否找到一个恰好包含了所有的边，并且没有重复的路径。

1.1 输入描述:

---

　　输入包含多组数据。每组数据的第一行包含两个整数n和m (2≤n, m≤1000)，其中n是顶点的个数，m是边的条数。紧接着有m行，每行包含两个整数from和to (1 ≤ from, to ≤ n, from != to)，分别代表边的两端顶点。边是双向的，并且两个顶点之间可能不止一条边。

1.2 输出描述:

---

　　对应每一组输入，如果能一笔画则输出“Yes”；否则输出“No”。

1.3 输入例子:

---

3 31 22 31 34 71 22 11 31 41 42 34 3

1.4 输出例子:

---

YesNo

2 解题思路

---

　　题目要求一个连通的有向图是否可以一笔画完。这是一个可行遍性问题，即从图中一个顶点出发不重复地遍历完所有的边并回到起始顶点，这种回路是欧拉回路。在解答该问题前先对欧拉回路相关的内容进行介绍。

---

2.1 欧拉回路

---

2.1.1 欧拉通路、欧拉回路、欧拉图

---

　　无向图：
　　1) 设G 是连通无向图，则称经过G 的每条边一次并且仅一次的路径为欧拉通路；
　　2) 如果欧拉通路是回路（起点和终点是同一个顶点），则称此回路为欧拉回路（Euler circuit）；
　　3) 具有欧拉回路的无向图G 称为欧拉图（Euler graph）。
有向图：
　　1) 设D是有向图，D的基图连通，则称经过D的每条边一次并且仅一次的有向路径为有向欧拉通路；
　　2) 如果有向欧拉通路是有向回路，则称此有向回路为有向欧拉回路（directed Euler circuit）；
　　3) 具有有向欧拉回路的有向图D称为有向欧拉图（directed Euler graph）。
　　图1是有向图。

图1 有向图和无向图

2.1.2 定理及推论

---

　　欧拉通路和欧拉回路的判定是很简单的，请看下面的定理及推论。
　　定理2.1　无向图G存在欧拉通路的充要条件是：
　　G为连通图，并且G仅有两个奇度结点（度数为奇数的顶点）或者无奇度结点。
　　推论2.1：
　　1) 当G是仅有两个奇度结点的连通图时，G的欧拉通路必以此两个结点为端点。
　　2) 当G是无奇度结点的连通图时，G必有欧拉回路。
　　3) G为欧拉图（存在欧拉回路）的充分必要条件是G为无奇度结点的连通图。
　　例如图1(a)所示的无向图，存在两个奇度顶点v2和v5，所以存在欧拉通路，且欧拉通路必以这两个顶点为起始顶点和终止顶点；该无向图不存在欧拉回路。图2-1(b)所示的无向图为欧拉图。
　　定理2.2　有向图D存在欧拉通路的充要条件是：
　　D为有向图，D的基图连通，并且所有顶点的出度与入度都相等；或者除两个顶点外，其余顶点的出度与入度都相等，而这两个顶点中一个顶点的出度与入度之差为1，另一个顶点的出度与入度之差为-1。
　　推论2.2：
　　1) 当D除出、入度之差为1，-1的两个顶点之外，其余顶点的出度与入度都相等时，D的有向欧拉通路必以出、入度之差为1的顶点作为始点，以出、入度之差为-1的顶点作为终点。
　　2) 当D的所有顶点的出、入度都相等时，D中存在有向欧拉回路。
　　3) 有向图D为有向欧拉图的充分必要条件是D的基图为连通图，并且所有顶点的出、入度都相等。
　　例如图1(c)所示的有向图，顶点v2和v4入度和出度均为1；顶点v1的出度为2、入度为1，二者差值为1；顶点v3的出度为1、入度为2，二者相差为-1；所以该有向图只存在有向欧拉通路，且必须以顶点v1为始点，以顶点v3为终点。图1(d)所示的有向图不存在有向欧拉通路。

2.2 解题步骤

---

　　首先根据输入构造图的邻接矩阵，通过邻接矩阵判断图是否连通，不连通说明不可以一笔画完，如果连通，再判断图是否有奇度顶点，有就不能一笔画完，没有就说明可以一笔画完。

3 算法实现

---

import java.util.ArrayList;import java.util.List;import java.util.Scanner;/** * Author: 王俊超 * Time: 2016-05-12 09:04 * CSDN: http://blog.csdn.net/derrantcm * Github: https://github.com/Wang-Jun-Chao * Declaration: All Rights Reserved !!! */public class Main {    public static void main(String[] args) {        Scanner scanner = new Scanner(System.in);//        Scanner scanner = new Scanner(Main.class.getClassLoader().getResourceAsStream("data3.txt"));        while (scanner.hasNext()) {            int n = scanner.nextInt();            int m = scanner.nextInt();            // 记录边            int[] edge = new int[m * 2];            for (int i = 0; i < edge.length; i++) {                edge[i] = scanner.nextInt();            }            if (draw(n, edge)) {                System.out.println("Yes");            } else {                System.out.println("No");            }        }        scanner.close();    }    /**     * 图是否可以笔画完（判断无向图是否存在欧拉通路）     *     * @param n    顶点点个数，顶点的编号从1到n     * @param edge 边的连接数组，两个一起表示一条边     * @return true：可以一笔画完，false：不可以一笔画完     */    private static boolean draw(int n, int[] edge) {        int[] vertex = new int[n + 1];        // 统计每个顶点的度数        for (int i : edge) {            vertex[i]++;        }        ///////////////////////////////////////////////////////////////////////////////////////////        // 无向图G存在欧拉通路的充要条件是：G为连通图，并且G仅有两个奇度结点（度数为奇数的顶点）或者无奇度结点。        ///////////////////////////////////////////////////////////////////////////////////////////        // 统计奇度顶点个数        int count = 0;        for (int i = 1; i < vertex.length; i++) {            if (vertex[i] % 2 != 0) {                count++;            }        }        // 奇度顶点不为0且不为2说明不存在欧拉通路        if (count != 0 && count != 2) {            return false;        }        // 构造边的邻接矩阵        int[][] graph = new int[n + 1][n + 1];        for (int i = 0; i < edge.length; i += 2) {            int v = edge[i];            int w = edge[i + 1];            graph[v][w]++;            graph[w][v]++;        }        // 清空顶号入度标记，将它作为访问标记使用，0表示没有访问过，1表示访问过        for (int i = 0; i < vertex.length; i++) {            vertex[0] = 0;        }        List<Integer> list = new ArrayList<>(n);        // 有向图连通，那么从任意一个顶点都可以访问到其它的顶点        // 从第一个顶点开始访问，进行广度优先遍历        vertex[1] = 1;        list.add(1);        while (!list.isEmpty()) {            int v = list.remove(0);            for (int i = 1; i <= n; i++) {                // 边(v, i)，t为0说明v不能直接到i                int t = graph[v][i];                // 如果(v, i)可达，且顶点i没有被访问过，就标记已经访问过，添加到访问队列中                if (t != 0 && vertex[i] == 0) {                    vertex[i] = 1;                    list.add(i);                }            }        }        for (int i = 1; i < vertex.length; i++) {            // 还有顶点没有访问到，说明图不连通            if (vertex[i] == 0) {                return false;            }        }        return true;    }}

4 测试结果

---

5 其它信息

---

因为markddow不好编辑，因此将文档的图片上传以供阅读。Pdf和Word文档可以在Github上进行【下载>>>】。