离散数学关系的英文报告.doc_第1页
离散数学关系的英文报告.doc_第2页
离散数学关系的英文报告.doc_第3页
离散数学关系的英文报告.doc_第4页
离散数学关系的英文报告.doc_第5页
已阅读5页,还剩6页未读 继续免费阅读

下载本文档

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

文档简介

离散数学实验报告班级:网络工程101班学号:20100831291姓名:虞增勇(1).伪代码描述:是否自反 : 1. 逐个查找对角元素. 1.1.如果当前元素为1,则计数器加1. 2.2.否则计数器的值不变. 2.重复以上的步骤。 3. 判断计数器. 3.1 如果计数器的值等于矩阵的阶数,则为自反的. 3.2 如果计数器的值等于0,则为反自反的. 3.3 如果计数器的值既不是0也不等于矩阵的阶数,则此关系既不是自反的也不是反自反的.是否对称 : 1. 设置三个标志位分别为flaga,flagb,flagc,并全部初始化为0. 2. 逐个查找元素. 2.1.如果 Rij 不等于 Rji,flaga = 1. 2.2.否则,如果 Rij 等于 Rji,并且i != j. 2.2.1. 如果 Rij = 1,flagb = 1. 2.2.2. 如果 Rij = 0,flagc = 1. 3.判断 flaga,flagb 和 flagc. 3.1.如果flaga = 1 且 flagb = 0 且 flagc = 1,则此关系是反对称的不是对称的. 3.2.如果flaga = 0 且 flagb = 1 且 flagc = 1,则此关系是对称的不是反对称的。 3.3.如果flaga = 0 且 flagb = 0 且 flagc = 1,则此关系既是对称的又是反对称的。 3.4.如果flaga =1 且 flagb = 1 则此关系既不是对称的也不是反对称的。 是否传递: 1. 初始化计数器sum 为0 和 初始化标志位 flag 为1.2. 逐个计算矩阵R平方(即M)中的元素,其Mij的值记为sum.3. 如果sum = 1 且 Rij = 0,则flag = 0. 4. 判断flag. 4.1. 如果 flag = 1,这个关系是传递的. 4.2. 否则不是传递的.(2) 代码描述: 类: class Relationpublic:Relation() /初始化标志位.flag2 = 0;flaga = 0;flagb = 0;flagc = 0;bool set(int n); /初始化矩阵,n是矩阵的阶数 int Reflexive(); /判断是否自反.int m;void Symmetry(); /J判断是否对称.void Menu(); /显示操作菜单.void Select(); /选择操作int Transmit(); /判断传递private:int R100100; /表示矩阵的数组int flag; /判断是否传递的标志.int flag2; /以下是判断是否对称的标志.int flaga;int flagb;int flagc; 判断是否自反 :int Relation:Reflexive()int count=0; /初始化计数器.int i;for(i = 0; i m; i+)if(Rii = 1) /当前元素是1 计数器加1.count+;return count; /返回计数器以判断.是否对称:void Relation:Symmetry()int i,j;for(i = 0; i m; i+)for(j = i; j m; j+)if(Rij!=Rji) /如果 Rij 不等于 Rji, flaga1 = 1.flaga=1; else / 如果 Rij 等于 Rji 并且 i 不等于 j . if(i != j)if(Rij = 1) /如果 Rij = 1, flagb = 1.flagb = 1;elseif(Rij = 0) /如果Rij = 0, flagc = 1.flagc = 1;是否传递 :int Relation:Transmit()int i,j,k;int sum,flag = 1;for(i = 0; i m; i+)for(j = 0; j m; j+)sum = 0;for(k = 0; k 0 & Rij=0) /如果Rij = 0,flag 变成 0.flag = 0;if(flag = 1)return 1; elsereturn 0; Menu:void Relation:Menu()coutendlendl;coutttt*endl;coutttt*-Input a matrix *endl;coutttt*-Judge reflexivity *endl;coutttt*-Judge symmetry *endl;coutttt*-Judging transitivity*endl;coutttt*-Sign out *endl;coutttt*endl;Select:void Relation:Select()int sel;int flg,t,n,p = 1;while(p)coutsel; /输入选择switch(sel)case 1:coutn;coutttInput matrix please:endl;while (1)flg = set(n); /输入矩阵并且判断是否输入正确.if(1=flg) /如果正确,停止输入.break;else /如果输入错误继续输入.coutttWrong input,do again please:endl;break;case 2:if(flag2 = 0) /如果flag2 等于0,说明矩阵还没有初始化.coutttPlease initialize matrixendl;else if(Reflexive() = m) /如果计数器等于矩阵的阶数.coutttR is reflexiveendl;elseif(Reflexive() = 0) /如果计数器等于0.coutttR is anreflexiveendl;else/ 如果计数器的值在0和矩阵阶数之间.coutttR is not reflexive nor anreflexiveendl;break;case 3:if(flag2 = 0) /如果flag2 = 0,则矩阵没有初始化.coutttPlease initialize matrixendl;elseSymmetry(); /判断是否对称的函数.if(flaga = 1 & flagb = 0 & flagc = 1)coutttR is antisymmetric but not symmetricendl;if(flaga = 0 & flagb = 1 & flagc = 1)coutttR is symmetric but not antisymmetricendl;if(flaga = 0 & flagb = 0 & flagc = 1)coutttR is both antisymmetric and symmetricendl;if(flaga = 1 & flagb = 1 )coutttR is not antisymmetric nor symmetricendl;break;case 4:if(flag2 = 0) /如果flag2 = 0,矩阵还没有初始化.coutttPlease initialize matrixendl;elset = Transmit(); /判断是否传递的函数.if(t =

温馨提示

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

评论

0/150

提交评论