#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如果a[j,i]=1，則對k=1，2，...，n ；a[j][k] = a[j][k] + a[i][k];}}
}}}int
zifan()
//自反性 對角線為1
return1;
}int
duichen()
//對稱性 以對角線對稱的元素同時為1
}return1;
}int
chuandi()
//傳遞性 利用warshall,t(r)=r;
}return1;
}int
fanzifan()
//反自反性 對角線元素為0
return1;
}int
fanduichen()
//反對稱性 以對角線對稱的元素不能同時為1 }}
return1;
}int
main()
cout <<
"該集合符合的二元性質有："
<< endl;if(
zifan()
) cout <<
"自反性；";if
(duichen()
) cout <<
"對稱性；";if
(chuandi()
) cout <<
"傳遞性；";if
(fanzifan()
) cout <<
"反自反性；";if
(fanduichen()
) cout <<
"反對稱性；"
<< endl;
return0;
}
離散數學 二元關係
關係的逆運算 關係的性質 等價關係 擬序關係 偏序關係 最大元 最小元 極大元 極小元 上下界 上下確界 全序關係 良序關係 a與b的笛卡爾積的任意子集都是從a到b的乙個關係 集合表示法 關係圖表示法 關係矩陣表示法 設r是a到b的關係，則b到a的關係r的逆表示把r的前域和後域互換。r的逆關係的布林...
離散數學判斷集合的二元關係（相容 偏序 等價）
第一次在csdn上寫文章，直接上 了，這個題目也不難，各個函式都非常的容易理解。略顯智障的函式名 include include int relation matrix 15 15 tmp 15 15 int r size,r num typedef int status status zifan ...
離散數學中集合上二元關係的判定及實現
輸入乙個集合的二元關係，判定其是否滿足自反性 反自反性 對稱性 反對稱性 傳遞性。並求出自反 對稱和傳遞閉包。大二上學期時的寫的 c 語言實現。include includeusing namespace std class relation 建構函式 int putinr 輸入關係r void c...