книги / Основы дискретной математики
..pdf- 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 |
9з |
|
|
Л |
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 ( у Л х ) . у . Ц ( у й х ) . |