离散数学知识点总结(11)“关系” 知识的总结 <2>:关系的复合运算、求逆运算
生活随笔
收集整理的這篇文章主要介紹了
离散数学知识点总结(11)“关系” 知识的总结 <2>:关系的复合运算、求逆运算
小編覺得挺不錯的,現在分享給大家,幫大家做個參考.
文章目錄
- 關系復合的基本概念
- 關系符合的計算方法
- 有向圖法
- 枚舉法
- 謂詞公式法
- 矩陣法(擴展部分)
- 關系復合運算的性質
- 滿足結合律,不滿足交換律: R ○ ( S ○ T ) = ( R ○ S ) ○ T R○(S○T)=(R○S)○T R○(S○T)=(R○S)○T
- R ○ ( S ∪ T ) = ( R ○ S ) ∪ ( R ○ T ) R○(S \cup T)=(R○S) \cup (R○T) R○(S∪T)=(R○S)∪(R○T)
- R ○ ( S ∩ T ) ? ( R ○ S ) ∩ ( R ○ T ) R○(S \cap T)\subseteq (R○S) \cap (R○T) R○(S∩T)?(R○S)∩(R○T)
- R ○ I B = I A ○ R = R R○I_B = I_A○R=R R○IB?=IA?○R=R
- 關系的乘冪
- 關系的求逆運算
- 關系求逆運算的計算方法
- 求逆運算性質
- ( R C ) C = R (R^C)^C=R (RC)C=R
- ( R ∪ S ) C = R C ∪ S C (R \cup S)^C=R^C \cup S^C (R∪S)C=RC∪SC
- ( R ∩ S ) C = R C ∩ S C (R \cap S)^C=R^C \cap S^C (R∩S)C=RC∩SC
- ( R ? S ) C = R C ? S C (R - S)^C=R^C - S^C (R?S)C=RC?SC
- ( R ? S ) ≡ R C ? S C (R \subseteq S)\equiv R^C \subseteq S^C (R?S)≡RC?SC
- ( ~ R ) C = ~ R C (\sim R)^C=~\sim R^C (~R)C=?~RC
- ( R ○ S ) C = S C ○ R C (R○S)^C=S^C○R^C (R○S)C=SC○RC
- i f f R C = R iff ~R^C=R iff?RC=R, R R R 是對稱的
關系復合的基本概念
關系符合的計算方法
有向圖法
枚舉法
謂詞公式法
- 謂詞公式法的計算過程就是函數的帶入過程
矩陣法(擴展部分)
關系復合運算的性質
滿足結合律,不滿足交換律: R ○ ( S ○ T ) = ( R ○ S ) ○ T R○(S○T)=(R○S)○T R○(S○T)=(R○S)○T
R ○ ( S ∪ T ) = ( R ○ S ) ∪ ( R ○ T ) R○(S \cup T)=(R○S) \cup (R○T) R○(S∪T)=(R○S)∪(R○T)
R ○ ( S ∩ T ) ? ( R ○ S ) ∩ ( R ○ T ) R○(S \cap T)\subseteq (R○S) \cap (R○T) R○(S∩T)?(R○S)∩(R○T)
R ○ I B = I A ○ R = R R○I_B = I_A○R=R R○IB?=IA?○R=R
關系的乘冪
- I A I_A IA? 代表的是 A A A 和自身的關系
關系的求逆運算
關系求逆運算的計算方法
求逆運算性質
( R C ) C = R (R^C)^C=R (RC)C=R
( R ∪ S ) C = R C ∪ S C (R \cup S)^C=R^C \cup S^C (R∪S)C=RC∪SC
( R ∩ S ) C = R C ∩ S C (R \cap S)^C=R^C \cap S^C (R∩S)C=RC∩SC
( R ? S ) C = R C ? S C (R - S)^C=R^C - S^C (R?S)C=RC?SC
( R ? S ) ≡ R C ? S C (R \subseteq S)\equiv R^C \subseteq S^C (R?S)≡RC?SC
( ~ R ) C = ~ R C (\sim R)^C=~\sim R^C (~R)C=?~RC
( R ○ S ) C = S C ○ R C (R○S)^C=S^C○R^C (R○S)C=SC○RC
i f f R C = R iff ~R^C=R iff?RC=R, R R R 是對稱的
總結
以上是生活随笔為你收集整理的离散数学知识点总结(11)“关系” 知识的总结 <2>:关系的复合运算、求逆运算的全部內容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: 软件开发人员角色定位和分工
- 下一篇: 手工清帐和自动清帐T-code