偏序关系中盖住关系地求取及格论中有补格地判定.doc

《偏序关系中盖住关系地求取及格论中有补格地判定.doc》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、实用文档《离散数学》实验报告（2015/2016学年第一学期）题目：偏序关系中盖住关系的求取及格论中有补格的判定专业学生姓名班级学号指导教师指导单位计算机学院计算机科学与技术系日期2015年12月15日实用文档评分细则评分项优秀良好中等差遵守机房规章制度上机时的表现学习态度算法思想准备情况程序设计能力解决问题能力课题功能实现情况算法设计合理性算法效能评价报告书写认真程度内容详实程度文字表达熟练程度回答问题准确度简短评语教师签名：年月日评分等级备注评分等级有五种：优秀、良好、中等、及格、不及格实用文档偏序关系中盖住关系的求取及格论中有补格的判定一、实验内容和

2、要求内容：编程实现整除关系这一偏序关系上所有盖住关系的求取，并判定对应偏序集是否为格。要求：对任意给定正整数，利用整除关系求所有由其因子构成的集合所构成的格，判断其是否为有补格。二、实验目的编程实现整除关系这一偏序关系上所有盖住关系的求取，并判定对应偏序集是否为格。三、实验任务1、求出输入数的所有因子。2、求出整除关系“≤”的偏序集。3、求出盖住关系COVA。4、判断是否有补格。5、判断是否为布尔格。四、实验内容#includeusingnamespacestd;boolFind(inta,intb,intn)//判断两个元素是否互补{

3、inttemp;if(a

4、}voidmain(){intn,i,k,t,count=0,j=0;cout<<"输入正整数：";//输入任意整数cin>>n;inta[100];//存储带输入整数的所有因子boolb[100];//存储对应因子是否有补元for(i=0;i<100;i++)b[i]=false;//初始化for(i=1;i<=n;i++)if(n%i==0){a[j++]=i;}count=j;//将所有因子个数赋给countcout<

5、因子{if(i";}}}实用文档cout<<"}"<

6、count;j++){if(a[j]%a[i]==0){if((j-i)==1){cout<<"<"<";}if((j-i)>1){t=0;//标记是否符合盖住关系for(k=i+1;k,";}}}}}cout<<"}"<

7、(Find(a[i],a[j],n)){b[i]=true;b[j]=true;break;//如果a[i]找到第一个与之互补的元素就跳出循环}}intflag=1;//标记所有由其因子构成的集合所构成的格是否是有补格for(i=0;i

8、字为15时：六、调试过程中的问题判断盖住关系时出现如图错误：调试后