偏序關系中蓋住關系的求取及格論中有補格的判定

1、離散數(shù)學實驗報告（2015/ 2016 學年 第 一 學期）題 目：偏序關系中蓋住關系的求取及格論中有補格的判定 專 業(yè) 學 生 姓 名 班 級 學 號 指 導 教 師 指 導 單 位 計算機學院計算機科學與技術系 日 期 2015年12月15日 評 分 細 則評分項優(yōu)秀良好中等差遵守機房規(guī)章制度上機時的表現(xiàn)學習態(tài)度算法思想準備情況程序設計能力解決問題能力課題功能實現(xiàn)情況算法設計合理性算法效能評價報告書寫認真程度內容詳實程度文字表達熟練程度回答問題準確度簡 短 評 語教師簽名： 年 月 日評分等級備注評分等級有五種：優(yōu)秀、良好、中等、及格、不及格偏序關系中蓋住關系的求取及格論中有補格的判定一、

2、 實驗內容和要求內容：編程實現(xiàn)整除關系這一偏序關系上所有蓋住關系的求取，并判定對應偏序集是否為格。要求：對任意給定正整數(shù)，利用整除關系求所有由其因子構成的集合所構成的格，判斷其是否為有補格。二、實驗目的編程實現(xiàn)整除關系這一偏序關系上所有蓋住關系的求取，并判定對應偏序集是否為格。三、實驗任務 1、求出輸入數(shù)的所有因子。2、求出整除關系“”的偏序集。3、求出蓋住關系 COV A。4、判斷是否有補格。5、判斷是否為布爾格。四、實驗內容 #includeusing namespace std;bool Find(int a, int b,int n) /判斷兩個元素是否互補int temp;if (a

3、 b)temp = a;a = b;b = temp;int dividend=a, divider=b, remainder=0,min,max;remainder = dividend%divider;while (remainder)dividend = divider;divider = remainder;remainder = dividend%divider;min = a*b / divider; /求得最小公倍數(shù)max = divider; /求得最大公約數(shù)if (min = n&max = 1)return true;elsereturn false;void main()

4、int n,i,k,t,count=0,j=0;cout n;int a100; /存儲帶輸入整數(shù)的所有因子bool b100; /存儲對應因子是否有補元for (i = 0; i 100; i+)bi = false; /初始化for (i = 1; i =n;i+)if (n%i = 0)aj+ = i;count = j; /將所有因子個數(shù)賦給countcout n 共有 count 個因子 endl;coutA=;for (i = 0; i count; i+) /輸出所有因子if(icount-1)cout ai, ;if(i=count-1) cout ai;cout endl;c

5、out偏序關系集合“”=;for(i=0;icount;i+) /判斷是否為偏序關系for(j=i;jcount;j+)if(aj%ai=0)coutai,aj; coutendl;coutCOV A=;for(i=0;icount;i+) /判斷是否為蓋住關系for(j=i;jcount;j+)if(aj%ai=0)if(j-i)=1)coutai,aj;if(j-i)1)t=0; /標記是否符合蓋住關系for(k=i+1;kj;k+)if(ak%ai=0)&(aj%ak=0)t+;if(t=0)coutai,aj,;coutendl;for (i = 0; i count; i+) /判斷

6、兩個元素是否互補for (j = i; j count; j+)if (Find(ai, aj, n)bi = true;bj = true;break; /如果ai找到第一個與之互補的元素就跳出循環(huán)int flag = 1; /標記所有由其因子構成的集合所構成的格是否是有補格for (i = 0; i count; i+)if (!bi)flag = 0;if (flag)cout 是有補格 endl; cout 是布爾格 endl;elsecout 不是有補格 endl;cout 不是布爾格 endl;五、測試數(shù)據(jù)及其結果分析輸入數(shù)字為36時：輸入數(shù)字為12時：輸入數(shù)字為15時：六、調試過

7、程中的問題判斷蓋住關系時出現(xiàn)如圖錯誤：調試后發(fā)現(xiàn)時一句代碼的執(zhí)行順序錯誤（加黑下劃線為錯誤處）：for(i=0;icount;i+)/判斷是否為蓋住關系for(j=i;jcount;j+)if(aj%ai=0)if(j-i)=1)coutai,aj;if(j-i)1)t=0;for(k=i+1;kj;k+)if(ak%ai=0)&(aj%ak=0)t+;if(t=0)coutai,aj,;coutendl;修改之后：for(i=0;icount;i+)/判斷是否為蓋住關系for(j=i;jcount;j+)if(aj%ai=0)if(j-i)=1)coutai,aj;if(j-i)1)t=0;for(k=i+1;kj;k+)if(ak%ai=0)&(aj%ak=0)t+;if(t=0)coutai,aj,;coutendl;正確執(zhí)行之后為：七、程序設計總結1.掌握了與離散數(shù)學理論相關的編程實現(xiàn)思想和方法，重點掌握了偏序關系中蓋住關系的求取及格論中有補格的判定。2.通過