偏序關(guān)系中蓋住關(guān)系的求取及格論中有補(bǔ)格的判定

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

2、 實(shí)驗(yàn)內(nèi)容和要求內(nèi)容：編程實(shí)現(xiàn)整除關(guān)系這一偏序關(guān)系上所有蓋住關(guān)系的求取，并判定對(duì)應(yīng)偏序集是否為格。要求：對(duì)任意給定正整數(shù)，利用整除關(guān)系求所有由其因子構(gòu)成的集合所構(gòu)成的格，判斷其是否為有補(bǔ)格。二、實(shí)驗(yàn)?zāi)康木幊虒?shí)現(xiàn)整除關(guān)系這一偏序關(guān)系上所有蓋住關(guān)系的求取，并判定對(duì)應(yīng)偏序集是否為格。三、實(shí)驗(yàn)任務(wù) 1、求出輸入數(shù)的所有因子。2、求出整除關(guān)系“”的偏序集。3、求出蓋住關(guān)系 COV A。4、判斷是否有補(bǔ)格。5、判斷是否為布爾格。四、實(shí)驗(yàn)內(nèi)容 #includeusing namespace std;bool Find(int a, int b,int n) /判斷兩個(gè)元素是否互補(bǔ)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; /存儲(chǔ)帶輸入整數(shù)的所有因子bool b100; /存儲(chǔ)對(duì)應(yīng)因子是否有補(bǔ)元for (i = 0; i 100; i+)bi = false; /初始化for (i = 1; i =n;i+)if (n%i = 0)aj+ = i;count = j; /將所有因子個(gè)數(shù)賦給countcout n 共有 count 個(gè)因子 endl;coutA=;for (i = 0; i count; i+) /輸出所有因子if(icount-1)cout ai, ;if(i=count-1) cout ai;cout endl;c

5、out偏序關(guān)系集合“”=;for(i=0;icount;i+) /判斷是否為偏序關(guān)系for(j=i;jcount;j+)if(aj%ai=0)coutai,aj; coutendl;coutCOV A=;for(i=0;icount;i+) /判斷是否為蓋住關(guān)系for(j=i;jcount;j+)if(aj%ai=0)if(j-i)=1)coutai,aj;if(j-i)1)t=0; /標(biāo)記是否符合蓋住關(guān)系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、兩個(gè)元素是否互補(bǔ)for (j = i; j count; j+)if (Find(ai, aj, n)bi = true;bj = true;break; /如果ai找到第一個(gè)與之互補(bǔ)的元素就跳出循環(huán)int flag = 1; /標(biāo)記所有由其因子構(gòu)成的集合所構(gòu)成的格是否是有補(bǔ)格for (i = 0; i count; i+)if (!bi)flag = 0;if (flag)cout 是有補(bǔ)格 endl; cout 是布爾格 endl;elsecout 不是有補(bǔ)格 endl;cout 不是布爾格 endl;五、測試數(shù)據(jù)及其結(jié)果分析輸入數(shù)字為36時(shí)：輸入數(shù)字為12時(shí)：輸入數(shù)字為15時(shí)：六、調(diào)試過

7、程中的問題判斷蓋住關(guān)系時(shí)出現(xiàn)如圖錯(cuò)誤：調(diào)試后發(fā)現(xiàn)時(shí)一句代碼的執(zhí)行順序錯(cuò)誤（加黑下劃線為錯(cuò)誤處）：for(i=0;icount;i+)/判斷是否為蓋住關(guān)系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+)/判斷是否為蓋住關(guān)系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í)行之后為：七、程序設(shè)計(jì)總結(jié)1.掌握了與離散數(shù)學(xué)理論相關(guān)的編程實(shí)現(xiàn)思想和方法，重點(diǎn)掌握了偏序關(guān)系中蓋住關(guān)系的求取及格論中有補(bǔ)格的判定。2.通過