离散数学实验报告

课程名称: 离散数学课程设计 指导老师： 班级： 信软２ 014 —2 姓名： 学号: 实验项目名称:若干代数系统得计算机推断 -- 群得判定 实验目得及要求:【实验目得】掌握群得判定方法。【实验内容】输入代数系统（A，＊）得集合 A 与*运算得运算表,推断（A,*)就是否就是群。 实验原理：【实验原理与方法】(１)用一维数组 a[n]存贮集合 A。(2）用二维数组 op[n][ｎ]存贮运算表．(３)根据群得定义,代数系统(A，*)若为群,除运算表已表明运算*封闭外，还应该满足下列三个条件:＊运算可结合、有幺元 e、 A 中任何元素都有逆元.*运算可结合:ﻩｆ or（i=0;i<Ｎ;ｉ+＋)for(j=0;j<Ｎ;j++)ﻩfo ｒ（k＝０；ｋ〈N;k++)ﻩﻩ{ﻩﻩｆ or(ｌ=0;l〈Ｎ;l++)ﻩﻩ{ﻩﻩif（op［ｉ］［j]==ａ[l］） x=ｌ;/*o ｐ［i]［j] 代表 a*b*/ﻩﻩﻩi ｆ(ｏ p［ｊ］[k]==a[l]) y=l；/*op[j］［ｋ] 代表 b＊ｃ*／ﻩﻩ}ﻩﻩﻩif（ｏｐ[i][y]!=op[ｘ］［k])/*ｏ p[ｉ][y]代表 a＊(ｂ＊c)*/ﻩﻩﻩ{ﻩﻩﻩpr ｉ ntf（"（%d＊%d）*%d＝%d,％d＊(％ｄ*％d）=%d，运算就是不可结合!\n”,a[ｉ],a[j］,a[k］,ｏｐ［x]［ｋ］,a[i］,ａ［j]，a［k],op［i][ｙ])；ﻩfla ｇ=0；/*不满足结合性*/ﻩﻩﻩ}ﻩﻩ}ﻩｉ f(fla ｇ) ｐ rintf(”运算就是可结合!\n");ﻩ有幺元 e:fl ａｇ=0；ﻩfor(ｉ＝0;i＜N；ｉ＋＋){ﻩﻩfor（j=0；j