图论-08

08-有向图 注：所写主要参考为许胤龙《图论导引》，因觉得此书所写不合理，故附参考张先迪《图论及其应用》

有向图

• 底图：对于一个有向图$D$，忽略每条有向边的方向得到的无向图$G$称为$D$的底图
• 定向图：对于一个无向图$G$，给每条边指定一个方向，得到的有向图$D$称为$G$的定向图
• 外/内邻顶点：若$D$中存在有向边$(u,v)$，则称$v$是$u$的外邻顶点，称$u$是$v$的内邻顶点
• 外/内邻集：对于顶点$u\in V(D)$，分别用$N_D^{+}(u)$和$N_D^{-}(u)$表示$D$中$u$的所有外邻顶点和所有内邻顶点的集合，简称内邻集和外邻集

---

有向图的连通性

• 可达：设$D$是有向图，若存在从$u$到$v$的有向路径，则称$u$可达$v$。
• 强连通的：$\forall u,v\in V(D)$,$u$与$v$双向可达，则称$D$是强连通的
• 单向连通的：$\forall u,v\in V(D)$,$u$可达$v$或$v$可达$u$，则称$D$是单向连通的
• 弱连通的：若$D$的底图是连通的无向图，则称$D$是弱连通的
• 强连通片：根据双向可达关系可以确定$V(D)$的一个划分$V_1,V_2,\cdots ,V_w$，由它们导出的有向子图$D[V_1],D[V_2],\cdots ,D[V_w]$，称为$D$的强连通片
• 定理：$D$是强连通有向图当且仅当$D$中存在含$D$中所有顶点的有向回路
• 定理：连通无向图$G$可以定向成强连通有向图，当且仅当$G$中没有桥
• 引理：若$D$单向连通，则$\forall S\subseteq V(D),S\ne \varnothing$，都存在顶点$v\in S$，$v$可达$S$中所有的顶点
• 定理：$D$是单向连通有向图，当且仅当$D$中存在经过所有顶点的有向路径
• Hopcroft-Tarjan算法
  • 输入：给定2-边连通图$G$
  • 输出：强连通定向图
  • 初始化：任取$G$中一个顶点$w$，令 l ( w ) = 1 , L = { w } , U = V − { w } , A = ∅ l(w)=1,L=\{w\},U=V-\{w\},A=\varnothing l(w)=1,L={w},U=V−{w},A=∅
  • 定向1：在$L$中找点$v$，使$l(v)$最大并且满足在$U$中存在与$v$相邻的点，取$U$中一个与$v$相邻的点$u$，使边$uv$变成有向边$<v,u>$，令 l ( u ) = l ( v ) + 1 , L = L { u } , U = U − { u } , A = A ∪ { < v , u > } l(u)=l(v)+1,L=L\{u\},U=U-\{u\},A=A\cup\{<v,u>\} l(u)=l(v)+1,L=L{u},U=U−{u},A=A∪{<v,u>}
  • 定向2：直至定向1无法定向，对所有未赋方向的边$xy$，若$l(x)>l(y)$，则方向为$x$指向$y$，否则$y$指向$x$

---

有向轨道与有向圈

• Roy-Gallai定理：有向图$D$中含有长度为$X(G)-1$的有向轨道，其中$G$为$D$的底图
• 定理：设$D=(V,E)$是有向图
  • 若$D$中存在子图$H$使对任意的$v\in V(H)$均有$d^{+}(v)>0或d^{-}(v)>0$，则$D$中存在有向圈
  • 若$D$连通且$\forall v\in V(D)$，均有$d^{+}(v)=1或d^{-}(v)=1$，则$D$中存在惟一个有向圈
• 竞赛图：完全图的定向图称为竞赛图
  • 每个竞赛图都有有向Hamilton轨道
• 王：竞赛图中得分最多的顶点是王
• 定理：竞赛图$D$中$v$是惟一的王，当且仅当$v$的得分是$V(D)-1$
• PERT图：一个无重边无圈的赋权有向图$D$若满足恰有一个顶点的入度为0和恰有一个顶点的出度为0，则称$D$为PERT图。
• 发点/收点：PERT中入度为$0$的点称为发点，出度为0的点为收点
• 关键路径：PERT图中从发点到收点的最长(按权计算)的路称为关键路径
• 一点解释：给定PERT图$D$，设$D$的发点为$s$，收点为$t$，关键路径为$P$，$D$中顶点$u$到顶点$v$的最长途径记为$P_{uv}$，其长度记为$W(P_{uv})$。这样，$W(P)=W(P_{st})$，$v$的最早开始时间为$W(P_{sv})$，$v$的最晚开始时间为$W(P)-W(P_{vt})$，$v$的缓冲时间为$W(P)-W(P_{vt})-W(P_{sv})$。显然$P$中的顶点缓冲时间为0，$P$外的点缓冲时间大于等于0
• 发点到其他点的最长路算法
  • 构造生成树：以发点为根构造生成根树$T$，并求出发点到各顶点的距离$L(v)$
  • 换边：任意一条权为$W(u,v)$的弦$<u,v>$，若$L(v)<L(u)+W(u,v)$，则从$T$中删除以$v$为终点的有向边，取而代之以有向边$<u,v>$，同时更新后续顶点的$L(v)$，直到处理完所有弦

---

有向Hamilton图

• 定理：假定$v\ge 3$阶竞赛图$D$是强连通的，则任给$k(3\le k\le v)$，$D$中每个顶点都在某个$k$阶有向圈中
• 定理：设$P(u_0,v_0)$是严格有向图$D$中的最长有向轨道，则其长度 ∣ E ( P ( u 0 , v 0 ) ) ∣ ≥ max ⁡ { δ − , δ + } |E(P(u_0,v_0))|\geq\max\{\delta^-,\delta^+\} ∣E(P(u0​,v0​))∣≥max{δ−,δ+}。其中，${\delta }^{-},{\delta }^{+}$分别为$D$的最小入度与最小出度
• 定理：设$D$是$v$阶严格有向图，若 min ⁡ { δ − , δ + } ≥ v 2 > 1 \min\{\delta^-,\delta^+\}\geq\frac{v}{2}>1 min{δ−,δ+}≥2v​>1，则$D$是有向Hamilton图