《離散數(shù)學(xué)試題與答案》由會(huì)員分享,可在線閱讀,更多相關(guān)《離散數(shù)學(xué)試題與答案(12頁珍藏版)》請(qǐng)?jiān)谘b配圖網(wǎng)上搜索。
1、
試卷二試題與參考答案
一、填空
1、 P:你努力, Q:你失敗。
2、 “除非你努力,否則你將失敗”符號(hào)化為
;
“雖然你努力了,但還是失敗了”符號(hào)化為
。
2、論域 D={1,2} ,指定謂詞 P
P (1,1)
P (1,2)
P (2,1)
P (2,2)
T
T
F
F
則公式
x yP( y, x) 真值為
。
3 設(shè) A={2, 3, 4, 5, 6}
2、上的二元關(guān)系 R {
x, y | x
y x是質(zhì)數(shù) } ,則
R=
(列舉法)。
R 的關(guān)系矩陣
R
M=
。
4、設(shè) A={1 ,2,3} ,則 A 上既不是對(duì)稱的又不是反對(duì)稱的關(guān)系
R=
;
A 上既是對(duì)稱的又是反對(duì)稱的關(guān)系
R=
。
5、設(shè)代數(shù)系統(tǒng) ,其中 A={a , b,c},
*
a
b
c
a
a
b
3、c
b
b
b
c
c
c
c
b
則
幺
元
是
;是否
有冪等
性
;是否有對(duì)稱性
。
6、 4 階群必是
群或
群。
7、下面偏序格是分配格的是
。
8、 n 個(gè)結(jié)點(diǎn)的無向完全圖
Kn 的邊數(shù)為
4、
,歐拉圖的充要條件是
。
二、選擇
1、在下述公式中是重言式為(
)
A. (P Q)
(P
Q) ; B. ( P
Q )(( P Q) (Q
P)) ;
C. (P
Q)
Q ; D . P (P Q) 。
2、命題公式
(
P
Q )
( Q P)
中極小項(xiàng)的個(gè)數(shù)為(
),成真賦值的個(gè)數(shù)
為(
)。
A. 0; B . 1; C . 2
5、; D . 3 。
3、設(shè) S {
,{1},
{1,2}} ,則
2 S
有(
)個(gè)元素。
A.3; B
. 6; C . 7; D . 8 。
4、設(shè) S
{ 1,
2, 3} ,定義 S
S上的等價(jià)關(guān)系
R {
a,b
, c, d | a,b
S
S, c, d
S S, a d b c} 則由 R
產(chǎn) 生
的 S
S上一個(gè)劃分共有(
)個(gè)分塊。
A.4; B
. 5; C . 6; D . 9 。
5、設(shè) S { 1, 2, 3} , S
6、上關(guān)系 R 的關(guān)系圖為
則 R 具有( )性質(zhì)。
A.自反性、對(duì)稱性、傳遞性; B .反自反性、反對(duì)稱性;
C.反自反性、反對(duì)稱性、傳遞性;
D .自反性 。
6、設(shè)
, 為普通加法和乘法,則(
) S, ,
是域。
A. S { x | x a b 3 , a,b Q} B . S { x | x 2n , a, b Z}
C. S { x | x 2n 1, n Z}
D . S { x | x Z
7、 x 0} = N 。
7、下面偏序集(
)能構(gòu)成格。
8、在如下的有向圖中,從 V1 到 V4 長度為 3 的道路有( )條。
A.1; B . 2; C . 3; D . 4 。
9、在如下各圖中( )歐拉圖。
10、
10、設(shè) R 是實(shí)數(shù)集合, “ ”為普通乘法,則代數(shù)系統(tǒng) 是( )。
A.群; B .獨(dú)異點(diǎn); C .半群 。
8、
三、證明
1、設(shè) R 是 A 上一個(gè)二元關(guān)系,
S {
a, b
| (a,b
A) (對(duì)于某一個(gè)
c
A, 有
a,c
R且
c, b
R)}
試證明若
R是
A 上一個(gè)等價(jià)關(guān)系,則
S 也是
A 上的一個(gè)等價(jià)關(guān)系。
2、 用邏輯推理證明:
所有的舞蹈者
9、都很有風(fēng)度,王華是個(gè)學(xué)生且是個(gè)舞蹈者。因此有些學(xué)生很有風(fēng)度。
3、若無向圖 G中只有兩個(gè)奇數(shù)度結(jié)點(diǎn),則這兩個(gè)結(jié)點(diǎn)一定連通。
m
1 ( n 1)(n 2)
2
4、設(shè) G是具有 n 個(gè)結(jié)點(diǎn)的無向簡單圖,其邊數(shù)
2
,則 G是 Hamilton
圖。
四、計(jì)算
1、設(shè) 是一個(gè)群,這里 +6 是模 6 加法, Z6={[0 ] ,[1] , [2] , [3] , [4] , [5]} ,試求
出的所有子群及其相應(yīng)左陪集。
2、權(quán)數(shù) 1, 4, 9, 16, 25, 36, 49, 6
10、4, 81, 100 構(gòu)造一棵最優(yōu)二叉樹。
試卷二參考答案:
一、 填空
1、 P Q ; P Q 2、 T
3、 R={<2,2>,<2,3>,<2,4>,<2,5>,<2,6>,<3,2>,<3,3>,<3,4>,<3,5>,<3,6>,<4,5>,<4,6>,
<5,2>,<5,3>,<5,4>,<5,5>,<5,6>} ;
1 1 1 1 1
1 1 1 1 1
0 0 0 1 1
1 1 1 1 1
0 0 0 0 0
4、 R={<1,2>,<1,3>,<2,1>} ;R={<1,1>,<2,
11、2>,<3,3>}
5、 a ;否;有
6、 Klein 四元群;循環(huán)群
7、 B
1 n(n 1)
8、 2 ;圖中無奇度結(jié)點(diǎn)且連通
二、選擇
題目
1
2
3
4
5
6
7
8
9
10
答案 B、 D D; D D B D A B B B B、 C
三、 明
1、
( 1) S 自反的
a A,由 R 自反,
( a, a
R)
( a, a
R) ,
a, a
S
( 2)
S 稱的
a, b
A
12、
a, b
S
( a,c
R)
( c,b
R)
S 定義
(
a, c
R) (
c, b
R)
R 對(duì)稱
b, a
S
R 傳遞
( 3)
S 的
a, b, c
A
a, b
S
b, c
S
(
a, d
R)
(
d , b
R) (
b, eR)
(
e, c
R)
(
a, b
R)
(
b, c
R)
R 傳遞
13、
a, cS
S 定義
由( 1)、( 2)、(3)得; S 是等價(jià)關(guān)系。
2、
明: P(x) : x 是個(gè)舞蹈者; Q(x) : x 很有 度; S(x) :x 是個(gè)學(xué)生; a :王
上述句子符號(hào)化 :
前提: x(P( x)
Q( x)) 、 S(a) P(a)
: x(S(x) Q (x))
?? 3 分
① S( a) P(a)
前提引入
② x(P( x)
Q( x))
前提引入
③ P( a)
Q(a)
② US
14、
④ P(a)
①化
⑤ Q( a).
③④假言推理 I
⑥ S( a)
①化
⑦ S( a) Q(a)
⑤⑥合取
⑧ x(S(x)
Q (x)
⑦ EG
?? 11 分
3、 明
:b1 , b2
B ,(b1 b2 )
f 滿射
a1 , a2 A
使f ( a1 ) b1 , f (a2 ) b2 , 且 f (a1 ) f (a2 ), 由于 f是函數(shù) , a1 a2
又 g (b1 ) { x | (x
A)
15、 ( f ( x) b1 )},
g(b2 )
{ x | ( x
A)
( f (x)
b2 )}
a1 g(b1 ), a2
g(b2 )
但 a1 g(b2 ), a2
g(b1 )
g(b1 )
g(b2 )
由b1 , b2 任意性知 , g為單射 。
4、證明:設(shè) G中兩奇數(shù)度結(jié)點(diǎn)分別為
u 和 v,若 u , v 不連通,則
G至少有兩個(gè)連通分支
G1、G2 ,使得 u 和 v 分別屬于 G1 和 G2,于是 G1 和 G2 中各含有
1 個(gè)奇數(shù)度結(jié)點(diǎn),這與圖論基
16、
本定理矛盾,因而 u, v 一定連通。
5、證明:
證 G中任何兩結(jié)點(diǎn)之和不小于
n。
反證法: 若存在兩結(jié)點(diǎn)
u,v 不相鄰且 d(u)
d (v)
n
1, 令 V1 {u, v} ,則 G-V1 是具
有 n-2 個(gè) 結(jié) 點(diǎn) 的 簡 單 圖 , 它 的 邊 數(shù)
m 1 (n 1)( n 2) 2 ( n 1)
2
, 可 得
m
1 (n 2)(n 3)
1
2
,這與
1
17、1
G中
G=G-V 為 n-2 個(gè)結(jié)點(diǎn)為簡單圖的題設(shè)矛盾,因而
任何兩個(gè)相鄰的結(jié)點(diǎn)度數(shù)和不少于
n。
所以 G為 Hamilton
圖.
四、 計(jì)算
解:子群有 <{[0]},+
6
>; <{[0],[3]},+
>;<{[0],[2],[4]},+
6
>; <{Z },+
>
6
6
6
{[0]}
的左陪集: {[0]}
, {[1]} ; {[2]}
, {[3]}
; {[4]}
, {[5]}
{[0]
, [3]}
的左陪集: {[0] ,[3]}
; {[1] , [4]} ; {[2]
, [5]}
{[0]
, [2]
, [4]} 的左陪集: {[0]
, [2]
, [4]}
;{[1] , [3] , [5]}
Z 的左陪集: Z 。
6
6