离散数学实验报告.doc

学 生 实 验 报 告

学 院： 软件与通信工程学院
课程名称： 离散数学（软件）
专业班级： 13软件 3 班
姓 名： 刘汉存
学 号：
学生实验报告（1）
学生姓名
刘汉存
学号
同组人
实验项目
利用关系矩阵判断关系的性质
√
□必修 □选修
√
□演示性实验 □验证性实验 □操作性实验 □综合性实验
实验地点
W101
实验仪器台号
指导教师
赵晓平
实验日期及节次
(一) 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++、office、相关的操作系统等。
二、实验过程（实验步骤、记录、数据、分析）
写明具体实施的步骤，包括实验过程中的记录、数据和相应的分析
#include <iostream>
#include<string>
using namespace std;
void showzhifanxing(int d[4][4])
{
int i = 1 ;
for ( int x=0 ; x<4; 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 =