利用关系矩阵判断关系性质实验报告.docVIP

PAGE  学 生 实 验 报 告 学 院： 软件与通信工程学院 课程名称： 离散数学（软件） 专业班级： 12软件2 班 姓 名： 杨滨 学 号： 0123707 学生实验报告（1） 学生姓名杨滨学号0123707同组人实验项目利用关系矩阵判断关系的性质√ □必修 □选修√ □演示性实验 □验证性实验 □操作性实验 □综合性实验实验地点W101实验仪器台号指导教师赵晓平实验日期及节次2013.12.10(二) 12节一、实验综述 1、实验目的及要求 （1）掌握关系的性质的概念； （2）掌握关系性质的判别方法及算法； （3）编写程序，根据关系矩阵计算判别关系的性质； （4）进一步熟悉和掌握C++程序开发。 实验要求： 认真完成实验题，能正确运行，提交实验报告并上传程序，实验报告要求写出操作步骤、结果、问题、解决方法、体会等。 实验题： 设A={a,b,c,d}，A上的关系R={a, b，b, a，c, d，d, c}∪IA，判别关系R的性质。 2、实验仪器、设备或软件 计算机、VC++6.0、office、相关的操作系统等。 二、实验过程（实验步骤、记录、数据、分析） #includeiostream using namespace std; int main(){ ////读入矩阵 int A[4][4]; int x,y; for ( x = 0 ; x 4 ; x++ ) { for ( y = 0 ; y 4 ; y++ ) { cinA[x][y] ; } } coutendl; ////自反性 int i = 1 ; for ( x = 0 ; x 4 ; x++ ) if( A[x][x] == 0 ) i = 0 ; if ( i == 0 ) cout该二元关系不具有自反性\n; else cout该二元关系具有自反性\n; ////反自反性 int j = 1 ; for ( x = 0 ; x 4 ; x++ ) if( A[x][x] == 1 ) j = 0 ; if ( j == 0 ) cout该二元关系不具有反自反性\n; else cout该二元关系具有反自反性\n; ////对称性 int q = 1; for ( x = 1 ; x 4 ; x++ ) for ( y = 0 ; y x ; y++ ) A[x][y] != A[y][x] ? q = 0 : q = 1 ; if ( q == 0 ) cout该二元关系不具有对称性\n; else cout该二元关系具有对称性\n; ////反对称性 int k = 1; for ( x = 1 ; x 4 ; x++ ) for ( y = 0 ; y x ; y++ ) if ( A[x][y] != A[y][x] ) k = 0 ; if ( k == 1 ) cout该二元关系不具有反对称性\n; else cout该二元关系具有反对称性\n; ////传递性 int s = 1; for ( x = 0 ; x 4 ; x++ ) { int p = 0 ; for ( y = 0 ; y x ; y++ ) { if ( A[x][p] * A[p][y] == 1 A[x][y] != 1 ) s = 0 ; } p++; } if ( s == 0 ) cout该二元关系不具有传递性\n; else cout该二元关系具有传递性\n; ////结束 return 0; } 三、结论 1、实验结果 2、分析讨论 程序中运用了二维数组对矩阵的运算比较，程序非常明了简洁，分别分为读入矩阵，然后判别自反性，反自反性，对称性，反对称性及传递性，这些程序都是非常基本的代码运算，只要动动手就能够将离散数学算法在c++语言实现出来。以后还要多多练习，加以巩固，学以致用。 四、指导教师评语及成绩： 成绩： 指导教师签名： 批阅日期：