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

实验报告（ / 学年第一学期）课程名称离散数学实验名称偏序集中盖住关系的求取和格论中有补格的判定实验时间年月日指导单位指导教师学生姓名班级学号学院(系)专业实验报告实验名称偏序集中盖住关系的求取和格论中有补格的判定指导教师实验类型上机实验实验学时4实验时间实验目的和要求能正确求出任意偏序集的盖住关系的集合，并且能正确判定任意偏序集是否为格，如果是格，判定其是否为有补格。二、实验环境(实验设备)硬件:PC机。软件:Code::Blocks（C++ ）三、实验原理及内容内容：求盖住关系：首先输入偏序集所对应的全集中的元素个数以及各个元素，屏幕输出该全集以便使用者观看，然后输入偏序集中的各个元素，程序调用求取偏序集的盖住关系的函数，在屏幕输出该盖住关系判断是否为格，是否为有补格：调用判断是否为格的函数和判断是否为有补格的函数分别判断并输出，结束之后询问是否继续使用，若继续使用怎清屏再循环一次。原理：建立一个元素类，用来保存元素，定义求盖住关系的函数和判断是否为格和是否为有补格的函数，在主函数中建立一个字符数组保存全集，建立一个对象数组保存偏序集调用函数并输出。程序：#include iostream#include windows.husing 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) { cout,; } } cout}endl;}bool Judge_3(int a[],int m,int b[],int n)//判断两个数组中是否存在相同的元素，用于判断是否为格的函数{ for(int i=0;im;i++) { for(int j=0;jn;j++) { if(a[i]==a[j]) { r