离散数学实验报告1.doc

PAGE 学 生 实 验 报 告 学 院： 软件与通信工程学院 课程名称： 离散数学（软件） 专业班级： 13软件 3 班 姓 名： 刘汉存 学 号： 0133652 学生实验报告（1） 学生姓名 刘汉存 学号 0133652 同组人 实验项目 利用关系矩阵判断关系的性质 √□必修 □选修 √ √□演示性实验 □验证性实验 □操作性实验 □综合性实验 √ 实验地点 W101 实验仪器台号 指导教师 赵晓平 实验日期及节次 2014.12.8(一) 12节 一、实验综述 1、实验目的及要求 （1）掌握关系的性质的概念； （2）掌握关系性质的判别方法及算法；aa ab ba bb cc cd dc dd （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、相关的操作系统等。 二、实验过程（实验步骤、记录、数据、分析） 写明具体实施的步骤，包括实验过程中的记录、数据和相应的分析 #include iostream #includestring using namespace std; void showzhifanxing(int d[4][4]) { int i = 1 ; for ( int x=0 ; x4; x++) if( d[x][x] == 0 ) i = 0 ; if ( i == 0 ) cout不具有自反性\n; else cout具有自反性\n; } void showfanzhifanxing(int d[4][4]){ int i = 1 ; for ( int x = 0 ; x 4 ; x++ ) if ( d[x][x] == 1 ) i = 0 ; if ( i == 0 ) cout不具有反自反性\n; else cout具有反自反性\n; } void showduichengxing(int d[4][4]){ int i = 1; for ( int x = 1 ; x 4 ; x++ ) for ( int y = 0 ; y x ; y++ ) d[x][y] != d[y][x] ? i= 0 : i = 1 ; if ( i == 0 ) cout不具有对称性\n; else cout具有对称性\n; } void showfanduichengxing(int d[4][4]){ int i = 1; for ( int x = 1 ; x 4; x++ ) for ( int y = 0 ; y x ; y++ ) if (d[x][y]!= d[y][x]) i = 0 ; if (i == 1) cout不具有反对称性\n; else cout具有反对称性\n; } void showchuangdixing(int d[4][4]){ int i = 1; for ( int x = 0 ; x 4 ; x++ ) { int p = 0 ; for ( int y = 0 ; y x ; y++ ) { if ( d[x][p] * d[p][y] == 1 d[x][y] != 1 ) i = 0 ; } p++; } if ( i== 0 ) cout不具有传递性\n; else cout具有传递性\n; } int main(){ string a[16]={aa,ab,ac,ad,ba,bb,bc,bd,ca, cb,cc,cd,da,db,dc,dd}; cout输入A上的关系Rendl; string b[8]; int c[16]={0}; int d[4][4]; for(int i=0;i8;i++) cinb[i]; for(i=0;i8;i++) for(int j=0;j16;j++) { if(b[i]==a[j]) c[j]=1; } int m=0; for( i=0;i4;i++)