离散数学实验报告一

学生实验报告
学院：软件与通信工程学院
课程名称：离散数学（软件）
专业班级： 12软件 3 班
姓名：简建敏
学号： 0123897
学生实验报告（1）
一、实验综述
1、实验目的及要求
（1）掌握关系的性质的概念；
（2）掌握关系性质的判别方法及算法；
（3）编写程序，根据关系矩阵计算判别关系的性质；
（4）进一步熟悉和掌握C++程序开发。

实验要求：
认真完成实验题，能正确运行，提交实验报告并上传程序，实验报告要求写出操作步骤、结果、问题、解决方法、体会等。

实验题：
，判设A={a,b,c,d}，A上的关系R={<a, b>，<b, a>，<c, d>，<d, c>}∪I
A
别关系R的性质。

2、实验仪器、设备或软件
计算机、VC++6.0、office、相关的操作系统等。

二、实验过程（实验步骤、记录、数据、分析）
代码如下：
#include <iostream>
using namespace std;
#define TRUE 1
#define FALSE 0
#define ERROR -1
#define OK 1
#define INFINITY 0
#define MAX_VERTEX_NUM 20
#define MAX_EDGE_NUM 40
typedef enum {DG,DN,UDG,UDN}Graphkind;
typedef char VertexType;
typedef struct ArcCell
{
int adj;
}ArcCell,AdjMatrix[MAX_VERTEX_NUM][MAX_VERTEX_NUM];
typedef struct
{
VertexType vexs[MAX_VERTEX_NUM];
AdjMatrix arcs;
int vexnum,arcnum;
Graphkind kind;
}MGraph;
int LocateVex(MGraph G,VertexType v1) //定义位置
{
int i;
for(i=0;i<G.vexnum;i++)
if(G.vexs[i]==v1)
return i;
return -1;
}
int CreatDN(MGraph &G1) // 采用数组表示法，构造无向网G {
VertexType v1,v2;
int w,j;
cout<<"用图表示的顶点数及弧数:";
cin>>G1.vexnum>>G1.arcnum;
cout<<" A中顶点:";
for(int i=0;i<G1.vexnum;i++)
cin>>G1.vexs[i];
for(i=0;i<G1.vexnum;i++)
for(j=0;j<G1.vexnum;j++)
G1.arcs[i][j].adj=INFINITY;
cout<<"输入A中各边依附的顶点及关系:"<<endl;
for(int k=0;k<G1.arcnum;++k) //构造邻接矩阵
{
cin>>v1>>v2>>w;
i=LocateVex(G1,v1);
j=LocateVex(G1,v2);
G1.arcs[i][j].adj=w;
G1.arcs[j][i]=G1.arcs[i][j];
//while(f=8) {break;}
}
return OK;
}
void dispMGraph(MGraph G) //显示图的邻接矩阵图
{
cout<<"图的邻接矩阵是："<<endl;
for(int i=0;i<G.vexnum;i++)
{
for(int j=0;j<G.vexnum;j++)
cout<<" "<<G.arcs[i][j].adj;//输出关系；
cout<<endl;
}
}
int main()
{
MGraph G;
cout<<"利用关系矩阵展示A关系上的R "<<endl;
CreatDN(G);
dispMGraph(G);
cout<<endl;
cout<<"由关系矩阵对应的关系知"<<endl;
cout<<"关系R具有反自反性、对称性、传递性；"<<endl;
return 0;
}
三、结论
1、实验结果
2、分析讨论
通过本次实验的练习，我进一步的掌握关系的性质的概念和判别方法及算法，通过编写程序，学会了利用关系矩阵计算判别关系的性质；这次实验我吸取了一些编程的经验，在以后的学习中对我有帮助；
四、指导教师评语及成绩：
成绩：指导教师签名：
批阅日期：。