離散數學上機---二元關系

1、*大學集合論與圖論上機實驗報告課程名稱： 集合論與圖論年級：2014上機實驗成績：指導教師：姓名：上機實驗名稱：二元關系傳遞判別、閉包方法學號：3120140901109上機實驗日期：2015-11-17上機實驗編號：組號：上機實驗時間：兩課時一、實驗目的1. 通過上機程序，進一步加深對二元關系傳遞性判別，自反閉包，對稱閉包，傳遞閉包的理解。 2. 掌握傳遞性判別。 3. 學會用程序解決離散數學中的問題。 4. 增強我們編寫程序的能力。2、 實驗內容 實驗1：二元關系傳遞性判別 實驗2：有限集上給定關系的自反、對稱和傳遞閉包3、 使用環(huán)境Windows 7 vs20124、 核心代碼及調試過程

2、/實驗一傳遞性 #include <iostream>using namespace std;void main()int n,i,j,k;int m=0; cout<<"請輸入矩陣的行列數n:"cin>>n;int a2020;for(i=1;i<=n;i+)for(j=1;j<=n;j+)cout<<"請輸入a"<<i<<""<<j<<":"cin>>aij; /輸入R矩陣cout<&l

3、t;"R的關系矩陣為："<<endl;for(i=1;i<=n;i+)for(j=1;j<=n;j+)cout<<aij<<" "cout<<endl; /輸出R矩陣for(i=1;i<=n;i+)for(j=1;j<=n;j+)if(aij!=0)for(k=1;k<=n;k+)if(aik<ajk) m=m+1; if(m=0) cout<<"R有傳遞關系"<<endl;else cout<<"R沒有傳

4、遞關系"<<endl;/實驗2:/1)自反閉包#include <iostream>using namespace std;void main()int n,i,j;cout<<"請輸入矩陣的行列數n:"cin>>n;int a2020;for(i=1;i<=n;i+)for(j=1;j<=n;j+)cout<<"請輸入a"<<i<<""<<j<<":"cin>>aij;co

5、ut<<"R的關系矩陣為："<<endl;for(i=1;i<=n;i+)for(j=1;j<=n;j+)cout<<aij<<" "cout<<endl;for(i=1;i<=n;i+)for(j=1;j<=n;j+)if(aij!=0)aii=1;ajj=1; cout<<"R的關系矩陣為："<<endl;for(i=1;i<=n;i+)for(j=1;j<=n;j+)cout<<aij<<

6、;" "cout<<endl;/2)對稱閉包#include <iostream>using namespace std;void main()int n,i,j;cout<<"請輸入矩陣的行列數n:"cin>>n;int a2020;for(i=1;i<=n;i+)for(j=1;j<=n;j+)cout<<"請輸入a"<<i<<""<<j<<":"cin>>ai

7、j;cout<<"R的關系矩陣為："<<endl;for(i=1;i<=n;i+)for(j=1;j<=n;j+)cout<<aij<<" "cout<<endl;for(i=1;i<=n;i+)for(j=1;j<=n;j+)if(aij!=0)aji=1; cout<<"R的對稱閉包矩陣為："<<endl;for(i=1;i<=n;i+)for(j=1;j<=n;j+)cout<<aij<<

8、;" "cout<<endl;/3)傳遞閉包#include <iostream>using namespace std;void main()int n,i,j,k;int m=0;cout<<"請輸入矩陣的行列數n:"cin>>n;int a2020;for(i=1;i<=n;i+)for(j=1;j<=n;j+)cout<<"請輸入a"<<i<<""<<j<<":"cin

9、>>aij;cout<<"R的關系矩陣為："<<endl;for(i=1;i<=n;i+)for(j=1;j<=n;j+)cout<<aij<<" "cout<<endl;for(j=1;j<=n;j+)for(i=1;i<=n;i+)if(aij=1)for(k=1;k<=n;k+)aik=aik+ajk; if(aik=2) aik=1; cout<<"R的傳遞閉包矩陣為："<<endl;for(i=1;i<=n;i+)for(j=1;j<=n;j+)cout<<aij<<" "cout<<endl;實驗1：實驗2：1） 自反閉包 2)對稱閉包3）傳遞