《離散數(shù)學(xué)》實(shí)驗(yàn)報(bào)告（2015/2016學(xué)年第一學(xué)期）題目：集合上二元關(guān)系性質(zhì)判定的實(shí)現(xiàn)專業(yè)學(xué)生姓名班級(jí)學(xué)號(hào)指導(dǎo)教師指導(dǎo)單位計(jì)算機(jī)學(xué)院計(jì)算機(jī)科學(xué)與技術(shù)系日期2015年10月20日集合上二元關(guān)系性質(zhì)判定的實(shí)現(xiàn)一、實(shí)驗(yàn)容和要求容：編程實(shí)現(xiàn)任意集合上二元關(guān)系的性質(zhì)判定。要求：能正確判定任意二元關(guān)系的自反性、對(duì)稱性、傳遞性、反自反性和反對(duì)稱性。二、實(shí)驗(yàn)?zāi)康哪軌蚶镁幊陶_判定任意二元關(guān)系的自反性、對(duì)稱性、傳遞性、反自反性和反對(duì)稱性。三、實(shí)驗(yàn)任務(wù)1、主函數(shù)流程圖2、函數(shù)Analagmatic()

通過判斷矩陣主對(duì)角線是否為1。3、函數(shù)Irreflexive()通過判斷矩陣主對(duì)角線是否為0。4、函數(shù)Symmetry()判斷矩陣A[x][y]是否等于A[y][x]5、 函數(shù)Antisymmetry()判斷A[x][y]*A[y][x]是否為16、 函數(shù)Transitivity()判斷A[x][p]*A[p][y]==1&&A[x][y]是否為1以上各函數(shù)皆通過將集合化為矩陣并用循環(huán)遍歷實(shí)現(xiàn)四、實(shí)驗(yàn)容#includeviostream>#includevfstream>usingnamespacestd;intA[100][1001:intn;voidInput(){coutv<"請(qǐng)輸入元素個(gè)數(shù):"；cin>>n;coutvv"請(qǐng)輸入相應(yīng)的"vvnvv"階矩陣(0,1)"vvendl;for(inti=0;ivn;i++)—{for(intj=O;jvn;j++){cin>>A[i][j];}—}voidAnalagmatic(){—for(intx=0;xvn&&A[x][x]==1;x++)—{—}//輸入函數(shù)////輸入函數(shù)//判斷自反性coutv<"該二元關(guān)系具有自反性"<vendl;elsecoutvv"該二元關(guān)系不具有自反性"vvendl;}voidIrreflexive() //判斷反自反性{—for(intx=0:x<n&&A[x][x]==0:x++)—{—}if(x==n)coutvv"該二元關(guān)系具有反自反性"vvendl:elsecoutvv"該二元關(guān)系不具有反自反性"vvendl:}voidSymmetry。 //判斷對(duì)稱性{—for(intx=0:xvn:x++)—{for(inty=0:yvn&&A[x][y]==A[y][x]：y++):{}if(y!=n){ coutvv"該二元關(guān)系不具有對(duì)稱性"vvendl:return:}—}coutvv"該二元關(guān)系具有對(duì)稱性"vvendl:}voidAntisymmetry。 //判斷反對(duì)稱性{—for(intx=0:xvn:x++)for(inty=0:(yvn&&A[x][y]*A[y][xl!=l)ll(yvn&&x==y):y++):—}coutv<"該二元關(guān)系具有反對(duì)稱性"vvendl://判斷傳遞性//判斷傳遞性voidTransitivity。{ints=l:for(intx=0;xvn;x++){intp=0:for(inty=0;xvy;y++){if(A[x][p]*A[p][y]==1&&A[x][yl!=1)s=0;}p++;if(s==O)coutvv"該二元關(guān)系不具有傳遞性"vvendl;elsecoutvv"該二元關(guān)系具有傳遞性"vvendl;}intmain(){—Input();Analagmatic();Irreflexive();Symmetry。；Antisymmetry。；Transitivity。；return0;}—五、測(cè)試數(shù)據(jù)及其結(jié)果分析兀押AAR1122兀押AAR1122霄IJe性nil生反咗生ti反nna^iDn它反桑遞C有有頁畐筲to具貝貝苞存V不不不具具除系條系系系y關(guān)天關(guān)禾大an元兀元元_兀苕---------該該該該該pr“F:\WENJIAN甬建交件夾偉合上二^關(guān)系性質(zhì)判走的實(shí)現(xiàn)\Debug偉合上二.-兀押A.A00一刖亠刖I牛壬牛兀押A.A00一刖亠刖I牛壬牛0i■W青性nu.反咗生ti性nna^iDn反區(qū)務(wù)遞C芻有頁畐筲to有貝目#;存V具不不具具除系條煢系系y關(guān)天關(guān)禾大an丄元兀元元兀苕丄一三二一三“F:\WENJIAN甬建交件夾偉合上二^關(guān)系性質(zhì)判走的實(shí)現(xiàn)\Debug偉合上二.-實(shí)驗(yàn)操作過程及實(shí)驗(yàn)數(shù)據(jù)測(cè)試如上圖。六、調(diào)試過程中的問題如何將二元關(guān)系一一對(duì)應(yīng)到矩陣中，由于用戶鍵入的二元關(guān)系組儲(chǔ)存在一維數(shù)組中，所以在計(jì)算機(jī)查找的時(shí)候，要讓計(jì)算機(jī)懂得去分割一組一組的關(guān)系，從而實(shí)現(xiàn)一組一組二元關(guān)系的轉(zhuǎn)換。直接在輸入時(shí)直接輸入矩陣。七、程序設(shè)計(jì)總結(jié)二元關(guān)系所有的關(guān)系性質(zhì)都可以通過矩陣圖形來判斷，對(duì)于傳遞性的判斷較復(fù)雜，開始想了很久未果，最終還是要根據(jù)定義去判斷，仔細(xì)去找仍然有規(guī)律可尋。評(píng)評(píng)分項(xiàng)優(yōu)秀良好中等差

遵守機(jī)房規(guī)章制度上機(jī)時(shí)的表現(xiàn)學(xué)習(xí)態(tài)度算法