• 2022-06-15
    有向图 [tex=0.857x1.0]PvQ1rNj9zmhWbdNmDhnQhA==[/tex]是单连的,是指对于任意两个顶点 [tex=0.643x0.786]dFKQavWFzybe6S1GPVXNhQ==[/tex] 和 [tex=0.5x0.786]pmD1JbahT9zMRAbBNi045A==[/tex], 或者 [tex=0.5x0.786]pmD1JbahT9zMRAbBNi045A==[/tex] 是从 [tex=0.643x0.786]dFKQavWFzybe6S1GPVXNhQ==[/tex]出发可到达的,或者 [tex=0.643x0.786]dFKQavWFzybe6S1GPVXNhQ==[/tex] 是从 [tex=0.5x0.786]pmD1JbahT9zMRAbBNi045A==[/tex] 出发可到达的. 证明: [tex=0.857x1.0]PvQ1rNj9zmhWbdNmDhnQhA==[/tex]是单连的当且仅当 [tex=0.857x1.0]PvQ1rNj9zmhWbdNmDhnQhA==[/tex] 有一条生成有向途径.