离散实验2_B13040932.doc_第1页
离散实验2_B13040932.doc_第2页
离散实验2_B13040932.doc_第3页
离散实验2_B13040932.doc_第4页
离散实验2_B13040932.doc_第5页
已阅读5页，还剩3页未读， 继续免费阅读

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

实 验 报 告（2014 / 2015 学年 第 一 学期）课程名称离散数学实验名称集合上二元关系性质判定的实现实验时间2014年10月22日指导单位计算机科学与技术系指导教师罗卫兰学生姓名陶飞班级学号B13040932学院(系) 计算机专 业软件工程实 验 报 告实验名称集合上二元关系性质判定指导教师罗卫兰实验类型上机实验实验学时4实验时间一、 实验目的和要求能正确判定任意二元关系的自反性、对称性、传递性、反自反性和反对称性。二、实验环境(实验设备)VC6.0三、实验原理及内容内容：首先输入二元关系中的元素个数，在输入相应二元关系形成的矩阵（只包含0或1），输出所有的二元关系性质。原理：根据矩阵的图形及某种性质矩阵图的特点判断出是否具有该种性质。 代码： #include#includeusing namespace std;int A100100; int n;void Input()coutn;cout请输入相应的n阶矩阵(0,1)endl;for(int i=0;in;i+)for(int j=0;jAij;void Analagmatic()/判断自反性for(int x=0;xn&Axx=1;x+)if (x=n)cout该二元关系具有自反性endl;elsecout该二元关系不具有自反性endl;void Irreflexive()/判断反自反性for(int x=0;xn&Axx=0;x+)if(x=n)cout该二元关系具有反自反性endl;elsecout该二元关系不具有反自反性endl;void Symmetry()/判断对称性for(int x=0;xn;x+)for(int y=0;yn&Axy=Ayx;y+);if(y!=n)cout该二元关系不具有对称性endl;return;cout该二元关系具有对称性endl;void Antisymmetry()/判断反对称性for(int x=0;xn;x+)for(int y=0;(yn&Axy*Ayx!=1)|(yn&x=y);y+);if(y!=n)cout该二元关系不具有反对称性endl;return;cout该二元关系具有反对称性endl;void Transitivity()/判断传递性int s=1;for(int x=0;xn;x+)int p=0;for(int y=0;xy;y+)if(Axp*Apy=1&Axy!=1) s=0;p+;if(s=0)cout该二元关系不具有传递性endl;elsecout该二元关系具有传递性endl;int main()Input();Analagmatic();Irreflexive();Symmetry();Antisymmetry();Transitivity();return 0; 四、实验小结（包括问题和解决方法、心得体会、意见与建议等）二元关系所有的关系性质都可以通过矩阵图形来判断，对于
人人文库> 全部分类> 应用文书 > 技术指导

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论