有向图、及其反向图

二、有向图

2.1 有向图的定义及相关术语

定义：

有向图是一副具有方向性的图，是由一组顶点和一组有方向的边组成的，每条方向的边都连着一对有序的顶点。

出度：

由某个顶点指出的边的个数称为该顶点的出度。

入度：

指向某个顶点的边的个数称为该顶点的入度。

有向路径：

由一系列顶点组成，对于其中的每个顶点都存在一条有向边，从它指向序列中的下一个顶点。

有向环：

一条至少含有一条边，且起点和终点相同的有向路径。

一副有向图中两个顶点v和w可能存在一下四种关系：

1. 没有边相连。
2. 存在从v->w的边。
3. 存在从w->v的边。
4. 即存在v->w的边，也存在w->v的边，即双向连接。

2.2 有向图API设计

类名	Digraph
构造方法	Digraph(int V)：创建一个包含V个顶点但不包含边的有向图
成员方法	1.public int V():获取图中顶点的数量 2.public int E():获取图中边的数量 3.public void addEdge(int v,int w):向有向图中添加一条边 v->w 4.public Queue adj(int v)：获取由v指出的边所连接的所有顶点 5.private Digraph reverse():该图的反向图
成员变量	1.private final int V: 记录顶点数量 2.private int E: 记录边数量 3.private Queue[] adj: 邻接表

在api中设计了一个反向图，其因为有向图的实现中，用adj方法获取出来的是由当前顶点v指向的其他顶点，如果能得到其反向图，就可以很容易得到指向v的其他顶点。

2.3 有向图实现

/**
 * 有向图
 */
public class Digraph {
    // 顶点数目
    private final int V;
    // 边的数目
    private int E;
    // 邻接表
    private Queue<Integer>[] adj;

    public Digraph(int v) {
        // 初始化顶点数量
        this.V = v;
        // 初始化边的数量
        this.E = 0;
        // 初始化邻接表
        this.adj = new Queue[V];
        // 初始化邻接表中的空队列
        for (int i = 0; i < adj.length; i++) {
            adj[i] = new Queue<Integer>();
        }
    }

    // 获取顶点数目
    public int V() {
        return V;
    }

    // 获取边的数目
    public int E() {
        return E;
    }

    // 向有向图中添加一条边 v->w
    public void addEdge(int v, int w) {
        // 有向图的边是有方向的，v->w，所以只需要让w出现在v的邻接表中
        adj[v].enqueue(w);
        // 边的数量+1
        E++;
    }

    // 获取由v指出的边所连接的所有顶点
    public Queue<Integer> adj(int v) {
        return adj[v];
    }

    // 该图的反向图
    public Digraph reverse() {
        // 创建有向图
        Digraph reverse = new Digraph(V);
        // 遍历0~V-1的所有顶点，拿到每一个顶点v
        for (int v = 0; v < V; v++) {
            // 得到v对应的邻接表，然后反向添加边(原v->w,现w->v)
            for (Integer w : adj[v]) {
                reverse.addEdge(w, v);
            }
        }
        return reverse;
    }
}