南京郵電大學(xué)離散數(shù)學(xué)_實(shí)驗(yàn)三求主析取及主合取范式

1、實(shí) 驗(yàn) 報(bào) 告（2015 / 2016 學(xué)年 第 一 學(xué)期）課程名稱離散數(shù)學(xué)實(shí)驗(yàn)名稱偏序關(guān)系中蓋住關(guān)系的求取以及格論中有補(bǔ)格的判定實(shí)驗(yàn)時(shí)間2015年12月1日指導(dǎo)單位計(jì)算機(jī)科學(xué)與技術(shù)系指導(dǎo)教師羅衛(wèi)蘭學(xué)生姓名張清浩班級(jí)學(xué)號(hào)B14040922學(xué)院(系)計(jì)算機(jī)學(xué)院軟件學(xué)院專 業(yè)軟件工程實(shí) 驗(yàn) 報(bào) 告實(shí)驗(yàn)名稱偏序關(guān)系中蓋住關(guān)系的求取以及格論中有補(bǔ)格的判定指導(dǎo)教師羅衛(wèi)蘭實(shí)驗(yàn)類型實(shí)驗(yàn)學(xué)時(shí)4實(shí)驗(yàn)時(shí)間12月1日一、 實(shí)驗(yàn)?zāi)康暮鸵筝斎胍徽麛?shù)，根據(jù)它所有的因子，在偏序關(guān)系為整除關(guān)系的前提下，求出蓋住關(guān)系，以及有補(bǔ)格的判斷。二、實(shí)驗(yàn)環(huán)境(實(shí)驗(yàn)設(shè)備)三、實(shí)驗(yàn)原理及內(nèi)容 #includeint A20=0;int N

2、=0;void yinzi(int m)int i;for(i=0;im;i+)if(m%(i+1)=0) AN=i+1; N+;printf(%d的因子為:,m);for(i=0;iN;i+)printf(%d ,Ai);putchar(n);void gaizhu()int i=0,j=0,k=0,count=0;printf(蓋住關(guān)系為:);for(i=0;iN;i+)for(j=i+1;jN;j+)if(Aj%Ai=0)for(k=i+1;kj;k+)if(Ak%Ai=0&Aj%Ak=0) count+;if(!count)printf(,Ai,Aj);count=0;putchar(

3、n);void youbuge()int *order;/標(biāo)記每個(gè)因子是否有補(bǔ)元，無(wú)0，有1int i=0,j=0,k=0,count=0,count1=0;order=(int*)malloc(N*sizeof(int);for(i=0;iN;i+)orderi=0;for(i=0;iN;i+)for(j=0;jN;j+) if(i!=j) for(k=1;kN-1;k+) if(Ai%Ak=0&Aj%Ak=0)|(Ak%Ai=0&Ak%Aj=0) count+; if(!count) printf(%d的補(bǔ)元是%dn,Ai,Aj); orderi=1; count=0; for(i=0;iN;i+)if(orderi=0)printf(%d沒(méi)有補(bǔ)元n,Ai);count1=1;if(!count1)printf(是有補(bǔ)格n);elseprintf(不是有補(bǔ)格n);free(order);void main()int m;printf(請(qǐng)輸入一個(gè)整數(shù):);scanf(%d,&m);yinzi(m);gaizhu();youbuge(); 實(shí) 驗(yàn) 報(bào) 告四、實(shí)驗(yàn)小結(jié)（包括問(wèn)題和解決方法、心得體會(huì)、意見(jiàn)與建議等） 通過(guò)本次實(shí)驗(yàn)掌握了使用程序進(jìn)行 偏序關(guān)系中蓋住關(guān)系