离散数学实验指导(共7页).docx

《离散数学实验指导(共7页).docx》由会员分享，可在线阅读，更多相关《离散数学实验指导(共7页).docx（7页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、精选优质文档-倾情为你奉上实验一 判断代数系统性质的算法【实验目的】通过算法设计并编程实现判断代数系统是否满足相关性质，掌握代数系统中相关性质的定义，加深对代数系统的理解。【实验内容】输入代数系统的集合G和*运算的运算表，判断中的*运算是否是封闭的，可结合的，可交换的，等幂的，如果不满足请说明原因。其中，代数系统中G为字母集合，G=a，b，c,。【实验原理和方法】（1） 用一维数组an 存储集合G。（2） 用二维数组opnn存储*的运算表。（3） 封闭的：对于A中任意元素x,y，都有x*yA。（4） 可结合的：对于A中任意元素x,y,z都有(x*y)*z=x*(y*z)。（5） 可交换的：对于

2、A中任意元素x,y，都有x*y=y*x。（6） 等幂的：若对于A中任意元素x,都有x*x=x。【实验环境及工具】运行Windows 或Linux操作系统的PC机，任意软件开发语言C，C+，Java等及相应的开发环境。实验二 判断代数系统是否为群【实验目的】通过算法设计并编程实现，掌握群的判定方法，加深对群的概念的理解。【实验内容】输入代数系统的集合G和*运算的运算表，判断是否是群，如果不是请说明原因。具体的，给定一个代数系统，其中，代数系统中G为数字集合，G=1，2，n，要求判断：（1） 是否为半群； （2） 是否为含幺半群；（3） 是否为群。【实验原理和方法】（1） 用一维数组an 存储集合

3、G。（2） 用二维数组opnn存储*的运算表。（3） 半群：是一个代数系统，S为非空集合，*是定义在S上的二元运算，*封闭，可结合。（4） 含幺半群：含有幺元的半群。（5） 群：每个元素都有逆元的含幺半群。【实验环境及工具】运行Windows 或Linux操作系统的PC机，任意软件开发语言C，C+，Java等及相应的开发环境。#includeusing namespace std;int main() char a20,op2020; int x120,y120,z120; int num,f=0,b=0,c=0,d=0,e=0,n=0; cout请输入所求代数系统中元素个数，以回车键结束nu

4、m; cout请输入数组anum，以回车键结束endl; for(int i=0;iai; cout请输入运算表，以回车键结束endl; for(i=0;inum;i+) for(int j=0;jopij;for( int k=0;knum;k+)for(int i=0;inum;i+) for(int j=0;jnum;j+) if(opki=aj) b+; if(b=num*num) cout满足封闭性。endl; else cout不满足封闭性。endl; for( i=0;inum;i+)for(int j=0;jnum;j+)for(int l=0;lnum;l+)for( int

5、 k=0;knum;k+) d=0; if(opij=ak) d=1; break; if(d=0)x1n=i;y1n=j;z1n=l;n+;elsefor(int m=0;m0)cout不满足可结合性。endl;elsecout满足可结合性。endl; for( i=0;inum;i+) if(op0i=ai&opi0=ai) c+; if(c=num) cout满足可交换性。endl; else cout不满足可交换性。endl;for( k=0;knum;k+) if(opkk=ak) f=0; else f+; if(f=0) cout满足等幂性。endl; else cout不满足等幂性。endl; return 0;专心-专注-专业