1、大連民族學院計算機科學與工程學院實驗報告實驗題目：判斷關系的性質課程名稱：離散數學實驗類型：演示性驗證性操作性 設計性綜合性專業：班級：學生姓名：學號：實驗日期：年月日實驗地點：實驗學時：實驗成績：指導教師簽字：年月日實驗報告正文部分（具體要求詳見實驗報告格式要求）實驗報告格式 實驗題目 判斷關系的性質 實驗目的 使學生掌握利用計算機語言實現判斷關系性質的基本方法。 實驗環境 Microsoft Visual C+6.0 實驗原理 實驗內容與要求：對給定表示有窮集上關系的矩陣，確定這個關系是否是自反的或反自反的；對稱的或反對稱的；是否傳遞的。通過二元關系與關系矩陣的聯系，可以引入N維數組，以數

2、組的運算來實現二元關系的判斷。圖示：性質自反性反自反性對稱性反對稱性傳遞性關系矩陣特性主對角線元素全為1主對角線元素全為0對稱矩陣非主對角線上的元素等于1 且與之對稱的元素等于0矩陣（ M*M）中 1 所在的位置， M中與之相對應位置鮮紅都為1程序源代碼：#include#define N 4main()int i,j,k;int f,e,z;int MNN;printf(判斷R是否為自反關系、對稱關系、是否可傳遞？n);printf(請輸入一個4*4的矩陣。n);for(i=0;iN;i+) /*輸入一個4*4的矩陣 */for(j=0;jN;j+)scanf(%d,&Mij);for(i=

3、0;iN;i+)for(j=0;jN;j+)printf(%4d,Mij);printf(n);for(i=0;iN;i+)if(Mii=1)/判斷自反性if(i=N-1)e=0;else;else if(Mii=0)/判斷反自反性if(i=N-1)e=1;else;elsee=2;break;for(i=0;iN;i+)for(j=0;jN;j+)if(Mij!=Mji)/判斷對稱性f=1;break;for(i=0;iN;i+)for(j=0;jN;j+)if(Mij=1)/判斷反對稱性if(Mji=0)if(i=(N-1)&j=N-1)f=0;elsebreak;if(f!=0&f!=1

4、)f=2;for(i=0;iN;i+)/判斷可傳遞性for(j=0;jN;j+)if(Mij=1)continue;elsefor(k=0;kN;k+)if(Mik*Mki=0)continue;elsez=0;if(e=0)printf(關系 R是自反關系 n);else if(e=1)printf(關系 R是反自反關系 n);else if(e=2)printf(關系 R是反自反關系 n);if(f=0)printf(關系 R是反對稱關系 n);else if(f=1)printf(關系 R不是對稱關系 n);else if(f=2)printf(關系 R是對稱關系 n);if(z=0)printf(關系 R是不可傳遞關系 n);elseprintf(關系 R是可傳遞關系 n); 實驗步驟 和 實驗記錄 程序運行截圖