關係的逆運算
關係的性質
等價關係
擬序關係
偏序關係
最大元、最小元、極大元、極小元
上下界、上下確界
全序關係
良序關係
a與b的笛卡爾積的任意子集都是從a到b的乙個關係
集合表示法
關係圖表示法
關係矩陣表示法
設r是a到b的關係，則b到a的關係r的逆表示把r的前域和後域互換。r的逆關係的布林矩陣是r的布林矩陣的轉置。
自反反自反
對稱反對稱傳遞
具有：自反、對稱、傳遞
r是非空集合上的等價關係，那麼
[ x]
r=
[ x ]_r=\
[x]r=
由r確定的一切等價類的集合，叫做集合a上關於r的商集。
反自反、反對稱、傳遞
自反、反對稱、傳遞
它們都在集合b中
b是b的最大元⇔
\leftrightarrow
⇔b中所有的元素都比b小
b是b的最小元⇔
\leftrightarrow
⇔b中所有的元素都比b大
b是b的極大元⇔
\leftrightarrow
⇔b中沒有比b大的元素
b是b的極小元⇔
\leftrightarrow
⇔b中沒有比b小的元素
上下界的選擇區域是整個大的集合，這點和最大元、最小元、極大元、極小元不一樣，確界就是最大或者最小的那乙個元素
偏序關係中，所有元都可以比較
偏序集中任何乙個非空子集都有最小元
大二（上）離散數學 集合的二元關係
include include using namespace std const int max 100 int num int rnum int r max max int a max max void warshall warshall演算法 for int i 1 i num i 對所有j如...
利用矩陣判斷傳遞性（二元關係，離散數學）
參考 方法一 利用 復合矩陣法 矩陣乘法 之前學的線性代數終於用上了 思路 設m是r的關係矩陣，若m m為m的子集，則r具有傳遞性。判斷方法 計算m m，m m為m的子集的意思是，在方陣對應的同行同列的位置，若對於m，該數為0，則對於m m，該數必為零，否則r不具有傳遞性。即 若m中的a i j 0...
離散數學判斷集合的二元關係（相容 偏序 等價）
第一次在csdn上寫文章，直接上 了，這個題目也不難，各個函式都非常的容易理解。略顯智障的函式名 include include int relation matrix 15 15 tmp 15 15 int r size,r num typedef int status status zifan ...