本文介紹在一張簡單無向圖 $G(V,E^{<})$上,點記做 $i,j \in V$。 每個邊 $e := \{i,j\} \in E^{<}$ ,Either 連通=0 or 不連通=1。今給定起訖點 $o,d \in V , o \neq d$ ,od-pair 記做 $<o,d>$ ,由於可能有很多替代的路徑可以從 $o$ 走到 $d$ 如何描述(表達集合) $<o,d>$ 為連通/不連通時"邊集"的情況 ?? ====================================================== 預備知識: $$\displaystyle{ \bigwedge_{s \in S}} Equation(s) $$ 是邏輯大 And 或可嚴謹讀作 $\forall s \in S , Equation(s) \text{ is true}$ $$ \displaystyle{\bigvee_{s \in S} } Equation(s) $$ 是邏輯的大 Or 或可讀作 $ \exists s \in S , Equation(s) \text{ is true }$ ====================================================== 符號定義: 1. $\mathcal{P}_{<o,d>}$ 為起點為 $o$,終點為 $d$ 所有"路徑名稱(下標 index)"的集合 2. $ E^{<}_{p} \subseteq E^{<}$ 路徑 $p \in \mathcal{P}_{<o,d>}$ 經過的無向邊集 3. 起訖點$<o,d>$可能會經過的所有無向邊的集合(路徑是由"邊"組成的) $$\displaystyle{E^{<}_{<o,d>} := \bigcup_{p \in \mathcal{P}_{<o,d>}} E^{<}_{p} } \subseteq E^{<}$$ 4. 令向量 $ y \in \{0,1\}^{E^{&