離散數(shù)學(xué)二元關(guān)系傳遞性判別、閉包方法實(shí)驗(yàn)報(bào)告

1、精選優(yōu)質(zhì)文檔-傾情為你奉上離散數(shù)學(xué)二元關(guān)系傳遞性判別、閉包方法實(shí)驗(yàn)報(bào)告學(xué)院：理學(xué)院 班級(jí)：11信息與計(jì)算科學(xué)1班 姓名：* 學(xué)號(hào)：*一、 實(shí)驗(yàn)?zāi)康?. 通過上機(jī)程序，進(jìn)一步加深對(duì)二元關(guān)系傳遞性判別，自反閉包，對(duì)稱閉包，傳遞閉包的理解。 2. 掌握傳遞性判別，Warshall算法。 3. 學(xué)會(huì)用程序解決離散數(shù)學(xué)中的問題。 4. 增強(qiáng)我們編寫程序的能力二、 實(shí)驗(yàn)內(nèi)容 實(shí)驗(yàn)1：二元關(guān)系傳遞性判別實(shí)驗(yàn)2：有限集上給定關(guān)系的自反、對(duì)稱和傳遞閉包（用Warshall算法）。 三、 實(shí)驗(yàn)環(huán)境 在microsoft visual c+實(shí)驗(yàn)環(huán)境下完成的，而所設(shè)計(jì)的程序也在這個(gè)環(huán)境下通過了編譯，運(yùn)行和測試。 四、

2、 實(shí)驗(yàn)原理和實(shí)現(xiàn)過程實(shí)驗(yàn)1：#include using namespace std;void main()int n,i,j,k;int m=0; /m是判斷傳遞關(guān)系計(jì)數(shù)參數(shù)coutn;int a2020;for(i=1;i=n;i+)for(j=1;j=n;j+)cout請(qǐng)輸入aijaij; /輸入R矩陣coutR的關(guān)系矩陣為：endl;for(i=1;i=n;i+)for(j=1;j=n;j+)coutaij ;coutendl; /輸出R矩陣for(i=1;i=n;i+)for(j=1;j=n;j+)if(aij!=0)for(k=1;k=n;k+)if(aikajk /利用布爾加的特

3、征，前一行數(shù)大于后一行m=m+1; /如果有一個(gè)數(shù)不成立，m加1if(m=0) coutR有傳遞關(guān)系endl;else coutR沒有傳遞關(guān)系endl;實(shí)驗(yàn)2:1) 自反閉包#include using namespace std;void main()int n,i,j;coutn;int a2020;for(i=1;i=n;i+)for(j=1;j=n;j+)cout請(qǐng)輸入aijaij;coutR的關(guān)系矩陣為：endl;for(i=1;i=n;i+)for(j=1;j=n;j+)coutaij ;coutendl;for(i=1;i=n;i+)for(j=1;j=n;j+)if(aij!=

4、0)aii=1;ajj=1; /把符合條件的對(duì)角線上的值改為1coutR的關(guān)系矩陣為：endl;for(i=1;i=n;i+)for(j=1;j=n;j+)coutaij ;coutendl;2) 對(duì)稱閉包#include using namespace std;void main()int n,i,j;coutn;int a2020;for(i=1;i=n;i+)for(j=1;j=n;j+)cout請(qǐng)輸入aijaij;coutR的關(guān)系矩陣為：endl;for(i=1;i=n;i+)for(j=1;j=n;j+)coutaij ;coutendl;for(i=1;i=n;i+)for(j=1

5、;j=n;j+)if(aij!=0)aji=1; /對(duì)稱元素的值改為1coutR的對(duì)稱閉包矩陣為：endl;for(i=1;i=n;i+)for(j=1;j=n;j+)coutaij ;coutendl;3) 傳遞閉包#include using namespace std;void main()int n,i,j,k;int m=0;coutn;int a2020;for(i=1;i=n;i+)for(j=1;j=n;j+)cout請(qǐng)輸入aijaij;coutR的關(guān)系矩陣為：endl;for(i=1;i=n;i+)for(j=1;j=n;j+)coutaij ;coutendl;for(j=1;j=n;j+)for(i=1;i=n;i+)if(aij=1)for(k=1;k=n;k+)aik=aik+ajk; /warshall方法if(aik=2) aik=1; /規(guī)范布爾加coutR的傳遞閉包矩陣為：endl;for(i=1;i=n;i+)for(j=1;j=n;j+)coutaij ;coutendl;五、 實(shí)驗(yàn)輸入輸出和數(shù)據(jù)實(shí)驗(yàn)1：1） 輸入沒有傳遞關(guān)系的關(guān)系矩陣R2)輸入課本P30/例2.6實(shí)驗(yàn)2：1） 自反閉包2)對(duì)稱閉包3）傳遞閉包 P52/例2.13六、 實(shí)驗(yàn)體會(huì)通過這次的實(shí)驗(yàn)，使我明白了，平日里學(xué)習(xí)不能淺嘗輒止，必須要知道它的方法。做這次實(shí)驗(yàn)前我