集合上二元关系性质判断的实现.doc

《集合上二元关系性质判断的实现.doc》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、实验报告（/学年第一学期）课程名称离散数学实验名称集合上二元关系性质判断的实现实验时间年月日指导单位指导教师学生姓名班级学号学院(系)专业实验报告实验名称集合上二元关系性质判断的实现指导教师实验类型上机实验实验学时4实验时间一、实验目的和要求能正确判定任意二元关系的自反性、对称性、传递性、反自反性和反对称性。二、实验环境(实验设备)硬件:PC机。软件:Code::Blocks（C++）三、实验原理及内容内容：首先输入要求二元关系的集合所对应的全集中的元素个数以及各个元素，屏幕输出该全集以便使用者观看，然后输入要求二元关系的集合中的各个元

2、素，程序调用判断各个关系的函数，最后在屏幕输出是否具有各个二元关系，并且询问是否继续使用，若继续使用则重复进行上述过程。原理：建立一个元素类，用来保存元素，根据各个二元关系的定义构造判断的函数，在主函数中建立一个字符数组保存全集，建立一个对象数组保存要求二元关系的集合调用判断的函数并输出。程序：#include#includeusingnamespacestd;classelement{private:stringleft;stringright;public:element();element

3、(stringa,stringb);~element(){};stringGetleft();stringGetright();};element::element(){left="";right="";}element::element(stringa,stringb){left=a;right=b;}stringelement::Getleft(){returnleft;}stringelement::Getright(){returnright;}boolZifan_or_not(stringa[],intm,elementc[]

4、,intn)//自反性的判断{inti,j;for(i=0;i

5、Getright()&&c[j].Getright()==c[i].Getleft()){break;}else{continue;}}if(j==n){returnfalse;}}returntrue;}boolChuandi_or_not(elementc[],intn)//传递性的判断{inti,j,k;for(i=0;i

6、[k].Getleft()==c[i].Getleft()&&c[k].Getright()==c[j].Getright()){break;}else{continue;}}if(k==n){returnfalse;}}else{continue;}}}}returntrue;}boolFanzifan_or_not(stringa[],intm,elementc[],intn)//反自反性的判断{inti,j;for(i=0;i

7、c[j].Getright()==a[i])){returnfalse;}}}returntrue;}boolFanduichen_or_not(elementc[],intn)//反对称性的判断{inti,j;for(i=0;i

8、;}intmain(){intflag=1;while(flag==1){system("cls");cout<<"欢迎使用集合上的二元关系性质判断的工具！"<