离散数学
努力学习的小菜同学
这个作者很懒,什么都没留下…
展开
-
离散数学实验七 群的判定
一、实验目的掌握群的判定方法。一、实验内容输入代数系统(A,)的集合A和运算的运算表,判断(A,*)是否是群。三、实验源程序及结果截图1.实验源程序:#include <stdio.h>#include <stdlib.h>int judge(int b){ } int main() { int n,i,j,k,l; printf("请输入集合中元素的个数:\n"); scanf("%d",&n); int a[n+1]; printf("请输原创 2020-06-13 22:24:19 · 6839 阅读 · 4 评论 -
离散数学实验六 最小生成树的构造
一、实验目的熟悉最小生成树的构造算法,掌握最小生成树的构造过程。二、实验内容定义1 设T是一个连通且回路的无向图,则称T为无向树,简称树。树中度数为1的结点称为树叶,度数大于1的结点称为分枝点(或内点)。定义2设G=<V,E>是一个连通的无向图,若G的某个生成子图是一棵树,则称该树为G的生成树,记为TG。定义3假定图G是具有n个结点的连通图。对应于G的每一条边e,指定一个正数C(e),把C(e)称作边e的权,(可以是长度、运输量、费用等)。G的生成树也具有一个树权C(T),它是T的所有原创 2020-06-13 22:22:16 · 4683 阅读 · 0 评论 -
离散数学实验五 计算两结点间长度为m的路的数目
一、实验目的熟悉邻接矩阵和两结点间长度为m的路的数目的关系并编程计算。二、实验内容定义1 给定简单图G=<V,E>,V={v1,v2,…,vn},V中的结点按下标由小到大编序,则n阶方阵A=(aij)称为图G的邻接矩阵。其中 i,j=1,2,…,n。定理1 设A为简单图G的邻接矩阵,则Am中的i行j列元素amij等于G中联结vi到vj的长度为m的链(或路)的数目。本实验要求从键盘输入图的邻接矩阵和一正整数m,计算结点两两之间长度为m的路的数目。考虑有向图和无向图。用C语言或MATL原创 2020-06-13 22:20:07 · 5579 阅读 · 2 评论 -
离散数学实验四 关系闭包计算
一、实验目的熟悉Warshall算法,掌握求关系的自反闭包、对称闭包和传递闭包的方法。二、实验内容定义1 设R是A上的二元关系,R的自反(对称、传递)闭包是关系R1,则① R1是自反的(对称的、传递的)② RR1③对任何自反的(对称的、传递的)关系R2,若RR2,则R1R2。R的自反、对称和传递闭包分别记为r®、s®和t®。定理1 令RAA,则① r®=R∪IA② s®=R∪R-1③ t®=R∪R2∪R3…Warshall算法:设R是n个元素集合上的二元关系,M是R原创 2020-06-13 22:17:31 · 6904 阅读 · 2 评论 -
离散数学实验三 关系性质判断
一、实验目的熟悉关系的性质,掌握求判断关系性质的方法二、实验内容定义1 设R是集合X上的二元关系,对任意的x∈X,都满足<x,x>∈R,则R是自反的。定义2 设R是集合X上的二元关系,对任意的x∈X,都满足<x,x>R,则R是反自反的。定义3 设R是集合X上的二元关系,对任意的x,y∈X,满足<x,y>∈R<y,x>∈R,则R是对称的。定义4 设R是集合X上的二元关系,对任意的x,y∈X,满足<x,y>∈R∧<y,x>∈Rx原创 2020-06-13 22:15:03 · 4199 阅读 · 6 评论 -
离散数学实验二 真值表
一、实验目的熟悉五个真值表,掌握真值表技术。二、实验内容定义1 设命题变元P1、P2、P3、…、Pn是出现在公式G中的所有命题变元,指定P1、P2、P3、…、Pn 的一组真值,则这组真值称为G的一个解释或指派,常记为I。定义2 真值表:公式G在其所有可能的解释下所取真值的表。 本实验要求从键盘输入一个命题公式列出其真值表。用C语言或MATLAB实现。三、实验源程序及结果截图1.实验源程序:#include <stdio.h>#include <stdlib.h>原创 2020-06-13 22:08:46 · 7205 阅读 · 0 评论 -
离散数学实验一 真值计算
一、实验目的熟悉五个常用联结词合取、析取、条件和双条件的概念,掌握真值表技术。二、实验内容定义1 设P表示一个命题,由命题联结词┐和命题P连接成┐P,称┐P为P的否定式复合命题, ┐P读“非P”。称┐为否定联结词。┐P是真,当且仅当P为假;┐P是假,当且仅当P为真。定义2 设P和Q为两个命题,由命题联结词∧将P和Q连接成P∧Q,称P∧Q为命题P和Q的合取式复合命题,P∧Q读做“P与Q”,或“P且Q”。称∧为合取联结词。当且仅当P和Q的真值同为真,命题P∧Q的真值才为真;否则,P∧Q的真值为假。定义原创 2020-06-13 22:05:22 · 5721 阅读 · 1 评论