离散数学实验报告.docx
- 文档编号:3438195
- 上传时间:2022-11-23
- 格式:DOCX
- 页数:12
- 大小:68.34KB
离散数学实验报告.docx
《离散数学实验报告.docx》由会员分享,可在线阅读,更多相关《离散数学实验报告.docx(12页珍藏版)》请在冰豆网上搜索。
离散数学实验报告
《离散数学》实验报告
专业
网络工程
班级
姓名
学号
授课教师
二O一六年十二月
实验一联结词的运算
实验二根据矩阵的乘法求复合关系
实验三利用算法求关系的传递闭包
实验四图的可达矩阵实现
实验一联结词的运算
一.实验目的
通过上机实验操作,将命题连接词运算融入到C语言的程序编写中,一方面加强对命题连接词运算的理解,另一方面通过编程实现命题连接词运算,帮助学生复习和锻炼C语言知识,将理论知识与实际操作结合,让学生更加容易理解和记忆命题连接词运算。
二.实验原理
(1)非运算,符号:
⎤,当时,⎤P为F,当时,⎤P为T。
(2)合取,符号:
∧,当且仅当P和Q的真值同为真,命题P∧Q的真值才为真;否则,P∧Q的真值为假。
(3)析取,符号:
∨,当且仅当P和Q的真值同为假,命题P∨Q的真值才为假;否则,P∨Q的真值为真。
(4)异或,符号:
▽,当且仅当P和Q的真值不同时,命题P▽Q的真值才为真;否则,P▽Q的真值为真。
(5)蕴涵,符号:
→,当且仅当P为为F时,命题P→Q的真值才为假;否则,P→Q的真值为真。
(6)等价,符号:
↔,当且仅当的真值不同时,命题P↔Q的真值才为假;否则,P→Q的真值为真。
三.实验内容
编写一个程序实现非运算、合取运算、析取运算、异或运算、蕴涵运算、等价运算。
4.算法程序
<>
()
{
("请输入P、Q的真值\n");
;
("");
;
(1)
0;
1;
(1)
0;
1;
("非P、Q的结果为,\n");
e;
(11)
1;
0;
("合取的结果为\n");
f;
(00)
0;
1;
("析取的结果为\n");
g;
(10)
0;
1;
("单条件的结果为\n");
h;
()
1;
0;
("双条件的结果为\n");
}
内容格式:
新罗马,五号,行间距固定值18磅
五.实验结果
六.心得体会
通过编程,学会了析取、合取、单条件连接词、双条件连接词的用法。
实验二根据矩阵的乘法求复合关系
一.实验目的
复合运算是一种重要的二元关系运算,可用于二元关系的合成,二元关系的性质判断,二元关系传递闭包的运算等方面,通过编程实现二元关系的复合运算,帮助同学们理解复合运算的过程,复合形成新的二元关系中的序偶是如何产生的。
二.实验原理
复合运算能由两个二元关系生成一个新的二元关系。
设X→Y(R关系),Y→Z(S关系),则称X→Z(R◦S关系)为R和S的复合关系,并规定为:
R◦{<>∈X∧z∈Z∧∃y(y∈Y∧<>∈R∧<>∈S)}
关系可用矩阵表示,故复合运算也可用矩阵表示。
设有三个集合:
{x12…}{y12…}{z12…},
,,,[]m×n,[]n×p则复合关系R◦S的关系矩阵为:
◦◦[]m×p
∨代表逻辑加,满足0∨0=0,0∨1=1,1∨0=1,1∨1=1
∧代表逻辑乘,满足0∧0=0,0∧1=0,1∧0=0,1∧1=1
三.实验内容
将二元关系用关系矩阵表示,通过两个关系矩阵对应行列元素先进行逻辑乘,后进行逻辑加生成新的关系矩阵中的每一个元素。
新的关系矩阵所对应的二元关系就是两个二元关系复合形成的,编程实现这一复合过程。
四.算法程序
<>
()
{
a[100][100][100][100][100][100];
("请输入集合X中元素个数:
");
("");
("请输入关系矩阵的格式:
\n");
(0<)
{
(0<)
(""[i][j]);
}
("请输入关系矩阵的格式:
\n");
(0<)
{
(0<)
(""[i][j]);
}
(0<)
{
(0<)(a[i][j]1)
(0<)(b[j][k]1)
c[i][k]=1;
}
(0<)
{
(0<)
(c[i][j]1)
c[i][j]=0;
}
("\n");
("关系矩阵和的复合运算结果是:
\n");
(0<)
{
(0<)
(""[i][j]);
("\n");
}
0;
}
五.实验结果
实验结果截图大小为:
宽(10)×高(8)
六.心得体会
通过编程,更加深入的了解了矩阵复合运算法则。
实验三利用算法求关系的传递闭包
一.实验目的
对于一个二元关系R,它的传递闭包(t(R))就是包含R,并且具有传递性质的最小二元关系。
传递闭包在图论、数据库、编译原理、计算机形式语言中都有重要的应用。
算法是计算传递闭包的一种有效算法,通过编程实现算法,帮助同学们更好地理解传递闭包的生成过程。
二.实验原理
设X是含有n个元素的集合,R是X上的二元关系,则:
以上计算传递闭包时需要按照复合关系定义求
,这是比较麻烦的,特别当有限集合元素比较多时计算量很大。
1962年提出了一个求t(R)的有效计算方法:
设R是n个元素集合上的二元关系,
是R的关系矩阵:
第一步:
置新矩阵M,
;
第二步:
置i,
;
第三步:
对
,若M的第j行i列处为1,则对
作如下计算:
将M的第j行第k列元素与第i行第k列元素进行逻辑加,然后将结果送到第j行k列处,即
;
第四步:
;
第五步:
若
,转到第三步,否则停止。
三.实验内容
将二元关系用关系矩阵表示,编程实现算法,获得二元关系传递闭包的关系矩阵。
四.算法程序
<>
<>
()
{
A[10][10];
;
("输入关系矩阵的维数n(n<10)\n");
("");
("输入n*n个数据(01)\n");
(1<)
{
(1<)
{
(""[i][j]);
(A[i][j]1[i][j])
("");
}
}
(1<)
{
(1<)
{
(1<)
{
(A[i][j](A[i][k][j][k]))
A[i][k]=1;
}
}
}
("传递闭包的关系矩阵:
\n");
(1<)
{
(1<)
("%2d"[i][j]);
("\n");
}
}
五.实验结果
六.心得体会
通过编程,深入了解什么是算法,也加深了对传递闭包的了解。
实验四图的可达矩阵实现
一.实验目的
可达矩阵表明了图中任何两个不同的结点之间是否存在至少一条道路,以及在任何结点处是否存在着回路。
可达性矩阵是判别一个有向图是否为强连通图或弱连通图的有效工具,通过编程实现图形的可达矩阵,帮助同学们掌握可达矩阵生成方法。
二.实验原理
定义设(V,E)是一个n阶的有向简单图,
。
定义矩阵
,其中
称P是图G的可达矩阵。
求可达矩阵可以先构造A,
,再构造
,最后利用关系
确定P的元素
从而构造出P。
显然,这种先求
再构造P的方法很费事。
如果我们把邻接矩阵A当作关系矩阵,那么求可达矩阵就相当于求A的传递闭包,因此可以仿照集合论中求关系的传递闭包的办法,求可达矩阵P。
三.实验内容
将图形中的边表达成二元关系,计算该二元关系的传递闭包,并将传递闭包表达成关系矩阵,该关系矩阵就是图形的可达矩阵,编程实现求可达矩阵的过程。
四.算法程序
<>
N4
([N][N]t[N][N])寻找可达矩阵
{
(0<)进行遍历
(0<)
{
(()([i][j])1)
t[i][j]=1;
t[i][j]=0;
}
(0<)
(0<)
(0<)
t[i][j][i][j](t[i][k][k][j]);
}
()
{
;
[N][N]={{1,0,0,0},
{0,1,1,1},
{0,1,1,0},
{1,0,1,1}};
("邻接矩阵举例如下:
\n");
(0<)
{
(0<)
(""[i][j]);
("\n");
}
t[N][N]={0};
(,t);
("其对应可达矩阵如下:
\n");
(0<)
{
(0<)
(""[i][j]);
("\n");
}
}
五.实验结果
六.心得体会
有了邻接矩阵,通过遍历,判断是否可达,通过语句找出可达矩阵。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 实验 报告
![提示](https://static.bdocx.com/images/bang_tan.gif)