偏序集中盖住关系的求取和格论中有补格的判定.docxVIP

实 验 报 告 （ / 学年 第 一 学期） 课程名称 离散数学 实验名称 偏序集中盖住关系的求取和格论中有补格的判定 实验时间 年 月 日 指导单位 指导教师 学生姓名 班级学号 学院(系) 专 业 PAGE 2 实 验 报 告 实验名称 偏序集中盖住关系的求取和格论中有补格的判定 指导教师 实验类型 上机实验 实验学时 4 实验时间 实验目的和要求 能正确求出任意偏序集的盖住关系的集合，并且能正确判定任意偏序集是否为格，如果是格，判定其是否为有补格。 二、实验环境(实验设备) 硬件:PC机。 软件:Code::Blocks （C++ ） 三、实验原理及内容 内容： eq \o\ac(○,1)求盖住关系：首先输入偏序集所对应的全集中的元素个数以及各个元素，屏幕输出该全集以便使用者观看，然后输入偏序集中的各个元素，程序调用求取偏序集的盖住关系的函数，在屏幕输出该盖住关系 eq \o\ac(○,2)判断是否为格，是否为有补格：调用判断是否为格的函数和判断是否为有补格的函数分别判断并输出，结束之后询问是否继续使用，若继续使用怎清屏再循环一次。 原理：建立一个元素类，用来保存元素，定义求盖住关系的函数和判断是否为格和是否为有补格的函数，在主函数中建立一个字符数组保存全集，建立一个对象数组保存偏序集调用函数并输出。 程序： #include iostream #include windows.h using namespace std; class element { private: int left; int right; public: element(); element(int a,int b); ~element() {}; int Getleft(); int Getright(); }; element::element() { left=0; right=0; } element::element(int a,int b) { left=a; right=b; } int element::Getleft() { return left; } int element::Getright() { return right; } bool Judge_1(int a,int b,element p[],int n)//判断元素是否在偏序集中 { for(int i=0;in;i++) { if(p[i].Getleft()==ap[i].Getright()==b) { return true; } else { continue; } } return false; } void Judge_2(element p[],int m,int a[],int n,element q[],int k) //获得盖住关系 { int i,j; for(i=0;im;i++) { if(p[i].Getleft()==p[i].Getright()) { continue; } for(j=0;jn;j++) { if(Judge_1(p[i].Getleft(),a[j],p,m) Judge_1(a[j],p[i].Getright(),p,m) a[j]!=p[i].Getleft()a[j]!=p[i].Getright()) { break; } } if(j==n) { q[k++]=p[i]; } } } void Print(element a[],int n)//输出集合 { cout{; for(int i=0;in;i++) { couta[i].Getleft(),a[i].Getright(); if(i!=n-1) {