Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

книги / Основы дискретной математики

..pdf
Скачиваний:
3
Добавлен:
12.11.2023
Размер:
6.92 Mб
Скачать

- 71 -

30.а) максимальные элементы { 2 , 4 . S } % минимальные

{/.3. 5,7}

, наибольшего

в наименьшего

элементов нет; J u p £ s

i n f 8

не

существует; в)

максимальные

элементы

0 . 2 } , минималь­

ные

{

Z 8,

9, / о }

;

наименьшего и наибольшего элементов нет; 5ар 5

не

существует,

i n

f 0 : 0 ;

д) максимальный элемент {/}» минималь­

ные {5.6. 7.6, 12, f5. f*t}% наименьшего элемента,

наибольший О],

sup В с

I,

i n f в ш ю .

33.

е)

решетка; л)

7

дистрибутивная решетка; п) булева решетка.

 

2. Математическая логика

 

3.

Таблица 6.1

Таблица 6.2

р Q Ф . а ) Р Q Р f(P .O .P )

0

0

1

0

0

0

I

о

I

I

0

0

1

I

1

0

0

0

1

0

I

X

I

I

0

I

I

I

 

 

 

1

0

0

I

 

 

 

1

О

I

I

 

 

 

I

I

о

I

 

 

 

I

I

I

I

 

6. 16 операций; кавдая операция задается своей таблицей

истинности,

так что задача

заключается в том. чтобы найти об­

щее число различных таблиц.

 

 

 

 

 

 

 

™ V

D/ £ “^ , (Sa^

рвшаетс" аналогично ирелиуще

 

Ь)

( X * у ) 4 Z B ( х у у ) & Z * (К, (у, y j ) 4 z -

~

-

 

 

 

s ((x i(y t y j)iz )i((x i(y /y j) l z )

y})

Z

 

е

25,

 

 

x v z

. н )

x s z v U

z v i & u

t i

 

£VCAZ>

*) xA y A z v ia у А г v х Л % у

г / Л

9

 

и) A 4 6 V A Z C V S 4 C V 0 4 с ,

Л f t ? * г 9 4 *

 

т)

x A y v y A l ,

I )

X . Z x . V X Z X

V I Ax'

w

s

 

 

в) у v х A z .

' *

t * * t v S * b

ш) * v y v z

 

- 72 -

26.

a) x v z v y

, в)

j v c > е)

t n ) x 4 z v y 4 z ,

н) >}

. р) X V Z , ф) х V z г ч) я v y ^ z ,

с ) >4 4

в V A & e V С4 в

ИЛИ

A 4 B v A & i v A 4 C

 

29.а) нет; б) нет; в) да.

30.а) рис. 6.12.

31.Рис. 6.13.

 

 

 

у

 

 

 

 

 

X

У

 

 

 

 

 

г

 

 

 

 

Z

х

У

 

 

Рис. 6.12.

 

Рис. 6.13.

32.

Рис. 6.14.

 

 

 

 

33.

фРис. 6.15.

 

______/

^

 

х'. . >•

--

 

 

Ц

 

Z

х

у

у

/

___ " —

^

г

 

 

 

у

X

Z

 

X

___ ________ ^ ______ ^

 

Z

 

х

9

*

 

6

 

 

Рис. 6.14.

 

Рис. 6.15.

34.

Рис. 6.16.

 

 

 

5; а

6.16, 2

35. РНс. 6.17.

/

б

Рис. 6.17.

- 73 -

37.Для ответа на вопросы необходимо задавать в каждом слу­ чае конкретную сигнатуру и вещественные области для переменных.

38.Решается аналогично 37.

39. а) Уд Vy(P(x)& lQ (y j) .

б) Ух VyBu Vt3v (P(x.y,z)A

lb(v)vQ(x,u)A( lA(t)4l5(ty

в) У х Vy ( P (x, y )v d (n.y)) /

 

r)Vx By 3z Vv ( iP ( x . y ) v Q fz,v))

42.г) введем предикат P(%,y] - студент X выполнил лабора­

торную работу

у

; ответ: Vx ЗуР (х.у).

 

 

 

 

 

43.

б) Р(*)

- х

- житель Швейцарии;

Q(x) -

х

- владеет

немецким языком;

К (х )

-

х

- владеет французским языком;

S (x ) -

х

- владеет

итальянским языком. Ответ:

 

 

Ух (Р (х)

Q (x) v R ( x ) v

S (х))

 

 

 

 

 

 

46.

a)

Z

- свободная,

л.у -

связанные;

 

 

 

 

б)

все

переменные

связанные;

 

 

 

 

 

 

в)

г

- свободная,

х.у

- связанные

ъ#(х,у.г) и свобод­

ные

в Q(x,yz);

 

 

 

 

у

 

 

 

 

 

 

 

 

г)

z

- свободная,

- связанная,

х - свободная в

X(x.y.L) и связанная в Q(x.y,z) .

 

 

 

 

 

 

 

48.

A

&э С

- гипотезы;

пусть

4

- гипотеза. Тогда

5

следует

из А => 3

и

А

по modus poaeas(ffP);

с

следует

по МР из

8 => С

и

d

; т.е. имеем

 

 

Отсюда, по

теореме дедукции

А а а, в ^ о -

А ^ С

 

 

 

 

 

 

3.

Теория автоматов

 

 

 

 

 

1 . Для заданных автоматов можно выделить следующие' множест­

ва эквивалентных состояний: табл. 3.3

£К*.8$% £2. 4}, {$ . 73

;

табл.

3.4

£ /.53 . { 2 .G } , £$7} ,

{* .8 }

; табл. 3.5

{1 .2 .5 $

;

ТабЛ.

3.6

£ /.*,73*

£ 2 .6 }

. тш3л. 3 , 7 £ 2 ,5 },{5 .е .7 }.{1 .< /)

;

табл.

3.8

£2.4$

;

табл. 3.9

£ / .2 },£ A 4 .5 i ■ табл. 3.10

 

£a2,a 93 ; табл. 3.II { a f.a 5. a s b

; табл. 3.12.исходный авто­

мат минимален; табл.

3.13 £6,j*t У*3 ; табл. 3.14

£5. Ч$ ;

 

табл. 3.15. исходный

автомат

минимален,

 

 

 

 

 

2. Табл. 3.16 {/,53. £02. S 3 ;

табл. 3.17 {/,* }.

 

 

табл. 3.20 исходный автомат минимален;

табл. 3.21

£

*. 6*7} ;

,

табл. 3.22 £/.5Ъ,£2.$.ч,е,7}%

 

 

 

 

 

 

4. К таблице

3.26.

 

 

 

 

 

 

 

- 74 «г

Таблица 6.3

 

А у. у2 У, У/ yt y2 A

Ух A

y, У/

У, У/

Af

У,

A

У/

У2

 

So &01f a 4зь

Bn *a f a

§22 £23 4у £32 £& fat % £уз

£si 8s?

 

 

о£г

 

f a £п

ht ht

В Bsf B2f

f a

f a

B2f £31

8*ff

Sst

801

**t

£з(

8

//

 

 

 

S¥1 31

 

 

 

 

 

 

 

 

 

 

£ f a

£/2$22f a

&a£$2£st £22 f a

£02B,22в*г By? £52 £02 822 й г

e,i

к

*os

 

** h , f a £33£33 fa

3

3

803

£23

 

£vs

£33

803

£23

8j3 £/3

 

 

 

Bf

 

&&Э

 

 

 

 

К таблице 3.27.

i

 

 

 

 

 

 

 

 

 

Таблица 6.4

 

 

 

 

 

 

 

 

 

 

 

 

 

i

A

A

Ух

Уз

Ум Ух A

/

У/

A

Ух

У/ Уt Уз

Уз

У/

 

 

 

 

У

 

 

832 833 fat 8*2

fax

 

f a

£01

В02 So, £// 8/2 8/3

**

£23 Bxt

*1

f a

80/ *21 £ 31

fat fa/ f a

£xt 83/ fa t

fa t

fa t 8xt fa t

8ot

f a t

 

*02

£02

£22

£32

Y

£22

£J I

Y

 

£$2 822 832

802 8*2

x/

 

 

£ 2832 802

 

 

8 2 fax

fas 823 £3318c3

 

 

 

 

 

 

 

 

 

 

 

ь

f a

to*

 

£33

£43 £33 80s £23

£33

tv*

Q

8*3

 

 

 

 

 

 

 

 

 

8 3

 

8.

а) рис. 6.18.

 

 

 

 

 

 

 

9. а) рис. 6.19

- 75 -

*t

 

Рво. 6.19.

г)

рис. 6.20; обозначим выходные сигналы: д - сигнал на

выдачу товара; Н - сигнал "не выдавать товар".

Рис, 6.20,

4.Твоим графов

I.Рис. 4.3 - да; рис* 4.4 - нет; рис. 4.5 - да; рис. 4.6 -

да.

3. Для одной вершины полный граф не определен; для пяти вер­ шив полный граф представлен на рис. 6.21.

Pio. 6*21*

4. Дня трех вершки кояхчеотво деревьев 3 -3 (рис.6.22)

а

б

Рис.

6.22.

7.а) удрать 4 ребра; б) убрать 4 ребра; в) убрать 10 ребер г) греф является деревом.

8.а) да; б) да; в) да; г) да.

9. а) ядра нет;

б) {3 ,5 } ; в)

ядра нет; г) { 1 , 3 ) ; д) { 2 , 5 }

в) f 1.53; ж).{2 ,4 }

; { 3 , 5 } - два

ядра; в) { 1 , 4 } ; ж) £ 1 ,4 };

к){ 1,3,6}; л) {1,3}. 10. Рнс. 6.23.

ч5

а

Рис. 6.23.

77 -

5 . Теория алгоритмов

I* а) табл. 6 .5 .

Таблица 6.5

 

i t

Л

А П Ь A P f ,

/

К П Ь

в) будем представлять любое

натуральное число, а такие

О количеством палочек, соответствующих этому числу плюс едини­ ца, тогда машина Тьюринга для сложения двух чиоел будет иметь тд (табл. 6.6):

Таблица 6.6

 

h

 

f3

 

fs

Л

щ ,

-

Aflt„

 

A C f B

/

Щ я

 

 

/Lftfs

+

-

 

-

е) табл. 6.7.

 

 

 

 

 

It

 

Таблица 6.7

 

 

 

9j

 

Л

on Я2

ЛП 9л

{СЯо

 

0

 

OH 9i

7C£A-

/

tn<t2

L

fO9s

2CAsu

 

2

2ГЫ,

 

2 n L

A C 9о

 

3

5 П ъ 2

_ J/7«*

ttcis-

 

4

 

 

f/7 h

__5СЯя-

5

_5Я Я2

 

8/?9I

CCl£-

6

on%2 n

6П9,

iC JLsu

 

7

-7Я9»

 

 

 

70*2

JCXs-

8

_6/7y2

 

8П 92

9C1s-

9

90<f*

 

 

Mil..

к) табл. 6.8 - 6.10:

- 79 -

2* а)

входной алфавит { Л . 1 } , схема подстановок /Л

б)

входной алфавит {Л,1, Ч . Н Ч } , схема подстановок

 

11 ~ Л .

 

1-*.Ч ;

 

Л - . Н Ч ;

 

в)

входной алфавит { x . y . z }

, схема подстановок д — -</>

 

 

y - z .

 

 

 

 

 

zz-*z,

 

 

 

 

 

Z~*. ZZX .

 

 

3.

а)

//>; =

s f x ) ,..)}=

х + п .

 

 

 

п р а г

 

 

 

в)

f f r . O J s f ( % ) ж А * (х) = X ,

У - / /Л.

Я

О, f ( X . O ) ) * h

(х, о. х )= s ( J * ( x . v ) J ‘ X о /;

Я ‘ г

{ (* . 2 )* k (x ,

f. / ( x , f ) } * h

( x j , x i-f)= s(ct* (x,/,x* fj= X+2;

y*1- / (t . y ti)^ fl (x.y, {(x,< ])i h(x, y. x + y )* s (< is (l.y. r. >yl)- x + y * i ;

г) учитывая, что ( (xty ) s x + y - примитивно-рекурсивная

 

y - 0 - t ( x , o ) * y ( x ) - Z ( x ) = 0 ,

 

у - i ;

t) - k ( x . о, { (x ,o ))= J* (> г,а //у.<з“

А.о, / л . o;j= *.

t/ * l:f(x .2 )* A (x . i. f(x . O b J/ x ,/ . {(x , 1)+ 4 ( x . Ц ( х . Q b x + *•*■ *

■ *.д.

r t:{(*.ЦфЬ (*-y.{(*.</))= **(х.у.Ы*4(*'1-

s

t 3

J

 

* * , ( * , У . х - ф ^ к . у . х - у ) * x * х - у ‘ x ( y * l ) i

д> y * t ( * . o ) . 9№ s ( z ( * J ) xti

 

у*1ф о*ь(*-°М*.фл/11,о,/> •*, ^

^ а 4

у- г - / * . * ; ■ * * . /. / а о)-а(г./.'J- Ж < М * (>лч= *■ *--*

{(Х,у<)=^(* -У - {(* ■ $ = <£*(*•), ((*• У Р '^ 3 ( Х'У' К * - У Н ’ = Х '£л(х ,у )= Х 'Х *= л У*1

4. a) S q O z f ( o ) = l j ( o ) ~ l ( o ) * 0 ,

SO f= К О '-'1(О. f (о)) - 5 ( z f j ‘ (О, /(0)))) = f'

St)2 = f(2)= h (j, ((D )* s (z (d l(iM iM

= i.

S$ (*■ *$* (

(x + 1 )= h (x ,

f(x))= s(z(< £ B (x. ( (x)))) =1,

») *=0 : 0&1*f(0)=y(O) = z(0) = 0,

X = / : U t

=f (i)= o,

{ ( ° ) ) * j f ( 0 . { ( 0)) = 0,

X=2: 2Л 1 *{(2)= k(l. t(D)~

((D) г /,

 

+

k ( Xt i ( x ) h j ' (K f M ) = Xj

*>

( * . У ) = * ' * 9 ( у Л х ) . у . Ц ( у й х ) .