本文是記錄一些使用集合論語言,表達路徑(Path)/線段(Undirected Arc) 組成的關係:
令所有的路徑集為 p \in P,所有的線段集 a \in A
路徑是由許多線段(無方向性)所組成的,自然存在對應關係 E \subseteq P\times A,可使用圖論二分圖描述 G(P\cup A,E)
可以定義相依集:P_{a}:=\{p\in P : (p,a)\in E \},A_{p}:= \{a\in A :(p,a) \in E \}
路徑是由許多線段(無方向性)所組成的,自然存在對應關係 E \subseteq P\times A,可使用圖論二分圖描述 G(P\cup A,E)
可以定義相依集:P_{a}:=\{p\in P : (p,a)\in E \},A_{p}:= \{a\in A :(p,a) \in E \}
並且滿足以下自然對偶邏輯(Natural Dual Correspondence)
\bigwedge_{(p,a)\in P\times A} \left( p \in P_a \Longleftrightarrow a \in A_{p} \right)
如果X_a為線段長,則很明顯路徑長可寫為 \bigwedge_{p \in P}\left( X_{p}:= X(A_p) = \sum_{a\in A_p} X_{a} \right)
路徑長公式可以寫成線性系統 X_{P} := M_{P\times A} X_{A}
(其中X_P,X_{A} 為向量,M_{P\times A} 為 0-1 adjacency sparse matrix)
由線性系統可以求出反矩陣,而導出 X_{A}= M^{-1}_{P\times A}X_{P} )
定義 p 損壞必定影響的路徑集
\bigwedge_{p\in P}\left( P^{\cap}_{p}:= \bigcap_{a\in A_{p}} P_{a} \right)
代表只要路徑 p 斷了,則所有路徑 p' \in P^{\cap}_{p} 也必定會斷,(p是p'的一部分) \bigwedge_{p \in P}\bigwedge_{p' \in P^{\cap}_{p}} \left(A_{p} \subseteq A_{p'}\right)
定義 p 損壞可能影響的路徑集
\bigwedge_{p \in P} \left( P^{\cup}_{p}:= \bigcup_{a\in A_{p}}P_{a} \right)
也就是兩路徑有部分的線段共同組成 \bigwedge_{p \in P}\bigwedge_{p' \in P^{\cup}_{p}}\left(A_{p} \cap A_{p'} \neq \emptyset\right)
定義完全跟 p 無關的路徑集(與 p 獨立)
\bigwedge_{p \in P} \left(P^{\times}_{p}:= P\setminus P^{\cup}_{p}\right)
也就是兩路徑沒有共同線段組成
\bigwedge_{p \in P}\bigwedge_{p' \in P^{\times}_{p}}\left(A_{p} \cap A_{p'} = \emptyset\right)
給定一些路徑集 P' \subset P ,可以定義必定會經過的線段集
A^{kernel}(P'):=\bigcap_{p \in P'} A_{p}
系統核心線段可寫成
A^{kernel} :=\bigcap_{p \in P}A_{p}
[小結]
這些集合口語上很難表達,而本文利用相依集交集聯集來描述,方便讀者能夠正確計算出集合!!
[小結]
這些集合口語上很難表達,而本文利用相依集交集聯集來描述,方便讀者能夠正確計算出集合!!
[以上純為學術經驗交流知識分享,如有錯誤或建議可留言~~]
by Plus & Minus 2018.03
留言
張貼留言