用计算机解组合题,2016年同等学力申硕计算机综合试题解析--数学基础

本文探讨了逻辑符号表达、自然数性质、图论问题和组合计数等多个数学概念。解析了如何用逻辑符号表达语句,如所有正数可开平方及没有最大自然数的命题。此外,涉及了排列组合问题,包括舞会配对和全排列,以及图论中的欧拉公式在解决简单连通平面图边数问题的应用。最后,针对整数解的个数和特定条件下的排列数进行了计算。
摘要由CSDN通过智能技术生成

声明:题目是我从同学分享那获取的,有可能出现抄错题目的情况。试题解析是本人自己做的,再根据教材理论来完成本文编写,符号太多编写工作量大,如发现答案有错误或者不够准确请及时给我留言讨论,如需转载请表明出处。感谢所有提出意见和建议,以及帮助过我的朋友。如果觉得还行,欢迎点赞转发,谢谢!

一、用逻辑符号表达下列语句(每小题 2 分,共 4 分)

1. 所有正数都可以开平方(注:所设论域均为包含一切事物的集合,下同)。

解析:S(x) : x是数,P(x) :x是正数,  Q(x):x 可以开方

math?formula=%5Cforall%20x%20(%20S(x)%20%5Cland%20%20P(x)%20%5Crightarrow%20%20Q(x))

2. 没有最大的自然数。

解析:S(x) : x是数,P(x) :x是自然数,Q(x,y): y是 x集合中最大的数

math?formula=%5Cforall%20x%20%E2%94%90%5Cexists%20y%20(S(x)%5Cland%20P(x)%20%5Cland%20S(y)%20%5Cland%20%20%20P(y)%20%5Crightarrow%20%20Q(x%2Cy))

二、填空题(第1小题2分,其他每小题3分,共14分)

1.如果

math?formula=%5Cfrac%7B1%7D%7B(1-2x)%5E2%7D%20%3D%20%5Csum%5Cnolimits_%7Bk%3D0%7D%5E%E2%88%9Ea_%7Bk%7D%20x%20%5Ek%20%20,则

math?formula=a_%7Bk%7D%20=__

math?formula=(k%2B1)2%5Ek_____

解析:该题考的是牛顿二项式扩展公式。

math?formula=%5Cfrac%7B1%7D%7B(1-2x)%5E2%7D%20%3D%20(1-2x)%5E%7B-2%7D%20%20%3D%20%5Csum%5Cnolimits_%7Bk%3D0%7D%5E%E2%88%9E%20C_%7B(n%2Bk-1%2Ck)%7D%202%5Ek%20x%5Ek%20%2C(n%20%3D%202%20)%20,

math?formula=a_k%20%3D%20C_%7B(2%2Bk-1%2Ck)%7D%202%5Ek%20%3D%20C_%7B(k%2B1%2Ck)%7D2%5Ek%20%20%3D%20(k%2B1)2%5Ek

2、n 个男同学和 n 个女同学参加舞会, 当第一首舞曲响起时,每个男同学要找一位女同学跳舞,n 个男同学一共有__n!_____种方法选择女同学。 当第二首舞曲响起时,要求每个人都要更换舞伴,这时 n 个男同学选择女同学的方法数是___

math?formula=%20n!%5Csum_%7Bi%3D0%7D%5En%20(-1)%5Ei%20%5Cfrac%7B1%7D%7Bi!%7D%20____

解析:第一空,考的是n个那同学的全排列

math?formula=A_n%20%3D%20n!,可以这样理解,女生站一排男生站一排一对一,面对面,女生不动,男生全排列去是适配,因此就是n!种了;

第二空,根据题干要求每个人都更换舞伴,因此考的是完全错排,

math?formula=D_n%20%3D%20n!(1-%5Cfrac%7B1%7D%7B1!%7D%20%2B%5Cfrac%7B1%7D%7B2!%7D%20-%20%5Cfrac%7B1%7D%7B3!%7D...(-1)%5En%5Cfrac%7B1%7D%7Bn!%7D%20)%20%3D%20n!%5Csum_%7Bi%3D0%7D%5En%20(-1)%5Ei%20%5Cfrac%7B1%7D%7Bi!%7D%20

3、设 G 是 n 个顶点的简单连同平面图且每个面的度数(也称次数)都是 3,则此图的边数是___3n-6__________.

解析:根据题干中的信息,可以用欧拉公式去解题: v-e+r =2, d/2 = e, 其中 d代表度,v是点数,e是边数,r是面数。而此题v=n,d=3r,代入欧拉公式n-e+r = 2,且 3r/2 = e。r=2e/3 ,代入前式得 n-e+2e/3 = 2, 得e = 3n-6。

4、设 G 是有 n 个顶点的圈,如果 n 是奇数,则 G 的正常边着色数是______3_______.

解析:根据【定理】奇圈和奇数阶轮图都是3-色图,而偶数阶轮图都是4-色图。因此本题为3。

5、设

math?formula=a_n满足的递推关系和初始条件分别为

math?formula=a_n%20%3D3a_%7Bn-1%7D%2B1%EF%BC%8Ca_1%3D2,则

math?formula=a_n的精确表达式是____

math?formula=%5Cfrac%7B5%7D%7B2%7D%203%5E%7Bn-1%7D%20-%20%5Cfrac%7B1%7D%7B2%7D%20_________.

解析:利用递推关系公式求解;

math?formula=a_n%20%3D3a_%7Bn-1%7D%2B1%2C%20a_%7Bn-1%7D%20%3D%203a_%7Bn-2%7D%20%2B1,两试相减得到

math?formula=a_n%20-%20a_%7Bn-1%7D%3D3a_%7Bn-1%7D-3a_%7Bn-2%7D%20%5CRightarrow%20%20a_n%20-%204a_%7Bn-1%7D%2B3a_%7Bn-2%7D%3D0.则此递推关系的特征方程为

math?formula=q%5E2-4q%2B3%3D0%20%5CLeftrightarrow%20%20(q-1)(q-3)%3D0%20%2C%20q_1%20%3D%201%2Cq_2%20%3D%203.特征根无重复根,因此该递推关系的一般式子为

math?formula=H_%7B(n)%7D%20%3D%20C_1%20q_1%5En%20%2B%20C_2%20q_2%5En

math?formula=a_1%3D2%2C%20a_2%3D7代入式子中得到

math?formula=C_1%2CC_2的解,即

math?formula=C_1%20%3D%20-%20%5Cfrac%7B1%7D%7B2%20%7D%20%EF%BC%8CC_2%20%3D%20%5Cfrac%7B5%7D%7B6%7D%20代入一般式,因此得,

math?formula=a_%7Bn%7D%20%3D%20%5Cfrac%7B5%7D%7B2%7D%203%5E%7Bn-1%7D%20-%20%5Cfrac%7B1%7D%7B2%7D%20

三、计算题(共 12 分)

1. (3 分) 设集合 A={1,2} , B={a,b,c} 。

(1)问从 A 到 B 有多少个单射函数。

(2)试写出从 A 到 B 所有非单射的函数。

解析:(1) |A|=2,|B|=3,2<3, 则从A到B的单射函数个数为

math?formula=A_%7B(3%2C2)%7D%3D3*2%3D6,单射函数可以记为:

math?formula=f_1%20%3D%20%5C%7B%20%3C1%2Ca%3E%2C%3C2%2Cb%3E%5C%7D%2Cf_2%20%3D%20%5C%7B%20%3C1%2Ca%3E%2C%3C2%2Cc%3E%5C%7D%2Cf_3%20%3D%20%5C%7B%20%3C1%2Cb%3E%2C%3C2%2Ca%3E%5C%7D

math?formula=f_4%20%3D%20%5C%7B%20%3C1%2Cb%3E%2C%3C2%2Cc%3E%5C%7D%2Cf_5%20%3D%20%5C%7B%20%3C1%2Cc%3E%2C%3C2%2Ca%3E%5C%7D%2Cf_6%20%3D%20%5C%7B%20%3C1%2Cc%3E%2C%3C2%2Cb%3E%5C%7D

(2) A到B的所有函数个数为

math?formula=%7CB%7C%5E%7B%7CA%7C%7D%20%3D%203%5E2%20%3D%209 ,单射函数有6个,因此剩下还有3个非单射函数:

math?formula=f_7%20%3D%20%5C%7B%20%3C1%2Ca%3E%2C%3C2%2Ca%3E%5C%7D%2Cf_8%20%3D%20%5C%7B%20%3C1%2Cb%3E%2C%3C2%2Cb%3E%5C%7D%2Cf_9%20%3D%20%5C%7B%20%3C1%2Cc%3E%2C%3C2%2Cc%3E%5C%7D

2. (3 分)已知集合 A={1,2,…,6}上的等价关系 R 定义为: R=

math?formula=I_%7BA%7D ∪ {<1,5>,<5,1>,<2,3>,<3,2>,<2,6>,<6,2>,<3,6>,<6,3>} 求出由 R 诱导的 A 的划分(即由 R 的商集诱导的划分)。

解析:【定理】非空集合S关于它上面的任何等价关系R的商集具有下列特点:S/R ≠ ∅;若A∈S/R,则A ≠ ∅;若A,B∈S/R,A≠B,则A∩B = ∅.

【定义】设A为非空集合,若存在A的一个子集族

math?formula=A%20%5E%20%60满足:

math?formula=%E2%88%85%20%5Cnotin%20A%20%5E%20%60%EF%BC%9B%5Ccup%20A%20%5E%20%60%20%3D%20A%EF%BC%9B%5Cforall%20x%2Cy%20%5Cin%20%20A%20%5E%20%60%20%5Cland%20x%5Cneq%20%20y%20%5Crightarrow%20%20x%20%5Ccap%20y%20%3D%20%E2%88%85%20, 则称

math?formula=A%20%5E%20%60是A的一个划分,

math?formula=A%20%5E%20%60中元素称为划分块。

math?formula=R%3DI_%7BA%7D%20%E2%88%AA%20%5C%7B%3C1%2C5%3E%2C%3C5%2C1%3E%2C%3C2%2C3%3E%2C%3C3%2C2%3E%2C%3C2%2C6%3E%2C%3C6%2C2%3E%2C%3C3%2C6%3E%2C%3C6%2C3%3E%20%5C%7D

math?formula=A%2FR%20%3D%20%5C%7B%5C%7B1%2C5%5C%7D%2C%5C%7B2%2C3%2C6%5C%7D%2C%5C%7B4%5C%7D%5C%7D

因此R 诱导的 A 的划分为

math?formula=%20%5C%7B%5C%7B1%2C5%5C%7D%2C%5C%7B2%2C3%2C6%5C%7D%2C%5C%7B4%5C%7D%5C%7D

3. (6 分)已知 A 是由 54 的所有因子组成的集合,设%为 A 上的整除关系。

(1)画出偏序集的哈斯图。

(2)确定 A 中最长链的长度,并按字典序写出 A 中所有最长的链。

(3)A 中元素至少可以划分成多少个互不相交的反链,并完整写出这些反链。

解析:(1) 54的整除所有因子集合A = {1,2,3,6,9,18,27,54},哈斯图如下:

3d73847a6507

哈斯图

(2)在哈斯图中显示出来最长链长度为5,它们分别如下:

math?formula=B_1%20%3D%20%5C%7B1%2C2%2C6%2C18%2C54%5C%7D%20%3B%20B_2%20%3D%20%5C%7B1%2C3%2C6%2C18%2C54%5C%7D%20%3B%20B_3%20%3D%20%5C%7B1%2C3%2C9%2C18%2C54%5C%7D%20%3B%20B_4%20%3D%20%5C%7B1%2C3%2C9%2C27%2C54%5C%7D%20%3B%20

(3)反链的定义

math?formula=%5Cforall%20x%20%5Cforall%20y(x%20%5Cin%20B%20%5Cland%20y%20%5Cin%20B%20%5Cland%20x%20%5Cneq%20y%20)%20%5Crightarrow%20%20x与y不可比。由【定理】设

math?formula=%3CA%2C%20%5Cpreceq%20%3E 为一个偏序集,若A的最长链的长度为n,则A存在n个划分块的划分,每个块都是反链。因此该题有5个互不相交的反链,这些反链是{{1},{2,3},{6,9},{18,27},{54}}。

四、解答题(每小题 5 分,共 10 分)

1、求方程

math?formula=%20t_1%2Bt_2%2Bt_3%2Bt_4%3D20 整数解的个数,其中

math?formula=t_1≥ 3,t2

math?formula=t_2≥ 1,

math?formula=t_3≥ 0,

math?formula=t_4≥ 5 .

解析:该题主要考察的是组合的母函数,解的个数即

math?formula=x%5E%7B20%7D的系数。则本题的母函数表示如下:

math?formula=G(x)%20%3D%20(x%5E3%2Bx%5E4%2Bx%5E5%2B...)(x%2Bx%5E2%2Bx%5E3%2B...)(1%2Bx%2Bx%5E2%2B...)(x%5E5%2Bx%5E6%2Bx%5E7%2B...)

math?formula=%3D%20x%5E3(1%2Bx%2Bx%5E2%2B...)x(1%2Bx%2Bx%5E2%2B...)(1%2Bx%2Bx%5E2%2B...)%20x%5E5(1%2Bx%2Bx%5E2%2B...)%3Dx%5E9(1%2Bx%2Bx%5E2%2B...)%5E4%20%3Dx%5E9(1-x)%5E%7B-4%7D%20

math?formula=%3Dx%5E9%20%5Csum_%7Bk%3D0%7D%5E%20%E2%88%9E%20C_%7B(4%2Bk-1%2Ck)%7Dx%5Ek%20%3Dx%5E9%20%5Csum_%7Bk%3D0%7D%5E%20%E2%88%9E%20C_%7B(3%2Bk%2Ck)%7Dx%5Ek%20%20%3Dx%5E9%20%5Csum_%7Bk%3D0%7D%5E%20%E2%88%9E%20C_%7B(3%2Bk%2C3)%7Dx%5Ek%20, 要求

math?formula=x%5E%7B20%7D的系数,即k=20-9=11,

math?formula=C_%7B(14%2C3)%7D%20%3D%20%5Cfrac%7B14*13*12%7D%7B1*%202*3%20%7D%20%3D%20%20364,即解的个数为364个。

2.设s={

math?formula=%E2%88%9E%5Ccdot%202%2C%E2%88%9E%5Ccdot%204%2C%E2%88%9E%5Ccdot%205%2C%E2%88%9E%5Ccdot%207%2C%E2%88%9E%5Ccdot%209} 是给定的重集,其中2,4,5,7,9是s中的五个不同元素,且每个元素在集合中可以有无穷多。设

math?formula=h_n表示从s中取n个元素(可以重复取)且要求2和4出现偶数次的排列数,求

math?formula=h_n

解析:该题考的是重集排列问题,即考指数型母函数。母函数表示如下:

math?formula=G_%7B(x)%7D%20%3D%20(1%2B%5Cfrac%7Bx%7D%7B1!%7D%20%2B%5Cfrac%7Bx%5E2%20%7D%7B2!%7D%20%2B%5Cfrac%7Bx%5E3%20%7D%7B%203!%7D%20%2B...%20)%20%5E3%20(1%20%2B%5Cfrac%7Bx%5E2%20%7D%7B2!%7D%20%2B%5Cfrac%7Bx%5E4%20%7D%7B%204!%7D%20%2B...%20)%20%5E2

math?formula=%20%3D%20(e%5Ex)%20%5E3%20(%5Cfrac%7Be%5Ex%20%2B%20e%5E%7B-x%7D%7D%7B2%7D%20)%20%5E2%20%3D%20%5Cfrac%7B1%7D%7B4%7D%20e%5E%7B3x%7D(e%5E%7B2x%7D%2B%202%20%2Be%5E%7B-2x%7D)%20%3D%20%5Cfrac%7B1%7D%7B4%7D%20(e%5E%7B5%20x%7D%2B%202e%5E%7B%203x%20%7D%20%2Be%5E%7Bx%7D)%20

math?formula=%3D%20%5Cfrac%7B1%7D%7B4%7D%20(e%5E%7B5%20x%7D%2B%202e%5E%7B%203x%20%7D%20%2Be%5E%7Bx%7D)%3D%5Cfrac%7B1%7D%7B4%7D%5Csum_%7Bk%3D0%7D%5E%E2%88%9E(5%5Ek%2B2*3%5Ek%20%2B%201)%20%20%20%5Cfrac%7Bx%5Ek%7D%7Bk!%7D

则此时

math?formula=a_%7Bn%7D%20%3D%20%5Cfrac%20%7B%201%20%7D%7B%204%20%7D(5%5En%20%2B%202*3%5En%20%2B%201) 即该题的排列数为

math?formula=%20%5Cfrac%7B1%7D%7B4%7D(5%5En%2B2*3%5En%20%2B%201)

  • 0
    点赞
  • 5
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值