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

Лекции Олейник PDF / Отв_упр_1

.pdf
Скачиваний:
42
Добавлен:
05.06.2015
Размер:
636.18 Кб
Скачать

Ответы и указания к упражнениям

Глава 1

1.1 33. 1.2. Разбиения

B :

{0} ,{1} ,{0,1} . Разбиения B2 :

1.

{(0, 0)}, (0,1) , (1, 0) ,{(1,1)};

2.{(0, 0), (0,1)}, (1, 0) ,{(1,1)};

3.

{(0, 0), (1, 0)}, (0,1) ,{(1,1)};

4.{(0, 0), (1,1)}, (0,1) ,{(1, 0)};

5.

{(0,1), (1, 0)}, (0, 0) ,{(1,1)};

6.{(0,1), (1,1)}, (0, 0) ,{(1, 0)};

7.

{(1, 0), (1,1)}, (0,1) ,{(0, 0)};

8.{(0, 0), (0,1)}, (1, 0), (1,1) ;

9.

{(0, 0), (1, 0)}, (0,1), (1,1) ;

 

10.{(0, 0), (1,1)}, (0,1), (1, 0) ;

11.{(0, 0), (0,1), (1, 0)}, (1,1) ;

 

12.{(0, 0), (1, 0), (1,1)}, (0,1) ;

13.{(0, 0), (0,1), (1,1)}, (1, 0) ;

 

14.{(0,1), (1, 0), (1,1)}, (0, 0) ;

15.{(0, 0), (0,1), (1, 0), (1,1)}.

1.3 . (1,1),(1,3),(2, 2),(2, 4),(3,1),(3,3),

(4, 2),(4, 4) - рефлексивно,

симметрично, транзитивно, отношение

эквивалентности;

1

1, 3 3 ,

2

2, 4 4 ;

 

 

 

 

 

(1, 2), (1, 4),

 

 

 

 

(2,1), (2, 2), (2,3), (2, 4), (3, 2), (3, 4), (4,1), (4, 2), (4,3), (4, 4) -

симметрично. 1.4. 200. Р еше н ие . Чтобы обмен осуществился, Олег должен выбрать одну из своих книг, а Иван - одну из своих. Пара выбранных ими книг определяет обмен, поэтому обмен можно отождествить с выборкой объема 2, первый элемент которой - книга Олега, второй - книга Ивана. Число способов обмена равно количеству таких выборок. Произвольную выборку можно составить в два шага: на первом выбрать одну из десяти книг Олега, на втором - одну из двадцати книг Ивана. Следовательно, по правилу произведения

количество выборок, а значит и число способов

обмена

равно

10 20 200 . 1.5. 2048 . Р еше н ие . Будем писать

число

справа

налево, т.е. на первом шаге выбирать последнюю цифру числа, на втором - предпоследнюю, и т.д. Тогда на первом шаге у нас будет выбор из 4 возможностей, на втором, третьем и четвертом шагах независимо

235

от ранее сделанного выбора - выбор из 8 возможностей. Следовательно, согласно правилу произведения, количество чисел, удовлетворяющих условию, равно 4 8 8 8 2048 . 1.6. а) 12; б) 16. 1.7.

56 4 55 28125 . 1.8. 9 104 9 9 8 7 6 62784 ( 9 104 - число

всех пятизначных чисел, 9 9 8 7 6 -

число пятизначных чисел, в

десятичной

записи которых нет цифры

5). 1.9. а) 15120 ; б) 95 .

Р еш е н ие .

а) Каждому размещению шаров по коробкам сопоставим

упорядоченную выборку, элементы которой - номера коробок: первый элемент выборки - номер коробки, в которую помещен первый шар, второй элемент - номер коробки, в которую помещен второй шар, и т.д. В этих упорядоченных выборках элементы не повторяются (так как по условию задачи в каждую коробку можно положить не более одного шара), следовательно, мы имеем дело с размещениями из 9 элементов

по 5. Число таких размещений найдем по формуле A95 9!4! 15120 .

б) Каждому размещению шаров по коробкам сопоставим упорядоченную выборку, элементами которой являются номера коробок: первый элемент выборки - номер коробки, в которую помещен первый шар, второй элемент - номер коробки, в которую помещен второй шар, и т.д. В этих выборках элементы могут повторяться (так как по условию задачи в каждую коробку можно положить сразу несколько шаров), следовательно, мы имеем дело с размещениями с повторениями из 9 элементов по 5. Число таких размещений найдем по формуле

A95 95 . 1.10. Каждое шестибуквенное слово - перестановка из 6 элементов, следовательно, разных шестибуквенных слов столько,

сколько перестановок из 6 элементов, т.е. 6!. 1.11. а) 6! 2 ; б) 2 6! 2 .

1.12. а ) 28 ; б) 56 . 1.13. а) C108 45 ; б) C104 210 ; в) C108 24310 ; г)

C108 C98 11440 . 1.14. 42375200. Р ешен и е . Выбор председателя,

секретаря и трех членов счетной комиссии можно осуществить за три шага. На первом выбрать председателя, на втором - секретаря, на третьем - членов счетной комиссии. На первом шаге имеем 50 возможностей, на втором - 49, на третьем - возможностей столько же, сколько неупорядоченных выборок без повторений трех человек из 48,

т.е. C483 . Следовательно, по правилу произведения выбор председателя,

236

секретаря и трех членов счетной комиссии можно осуществить

50 49 C483 42375200 способами.

Глава 2

2 . 1 . 1 6 . У каз ан и е . Вектор, одинаково читающийся слева направо и справа налево, однозначно определяется первой половиной своих координат. Первые четыре его координаты можно выбрать

2 2 2 2 16 способами. 2.2. (0, 0, 0) , (0, 0,1) ,

(0,1, 0) ,

(0,1,1) ,

(1, 0, 0) , (1, 0,1) , (1,1, 0) ,

(1,1,1) .

2.3.

а)

f (1101 1011) ;

б) f (0011 0110) .

 

 

2.4.

а) xy x y ;

б) x y xyz x y z .

2.6. а)

x y ;

б)

x y .

2.7. а)

Переменная y - фиктивная, переменные x , z - существенные. Ч тобы удалить фиктивную переменную y , нужно вычеркнуть из таблицы

истинности функции 2-ой столбец и 3-, 4-, 7-, 8-ю строки (если не считать строку заголовков). В результате получим таблицу истинности функции g(x, z) (0111) . б) Переменные x, z - фиктивные, y -

существенная. После удаления фиктивных переменных получим

функцию g( y) (01) . 2.8.

f1 01000100) ,

 

f2 (00001010) ,

f3 (00001100) . 2 . 9 . g( y, z) (1001) .

 

 

 

 

 

 

 

 

 

 

 

Таблица 1

 

 

v

 

x

y

z

t

f

 

 

0

 

0

0

0

0

1

 

 

1

 

0

0

0

1

1

 

 

2

 

0

0

1

0

0

 

 

3

 

0

0

1

1

0

 

 

4

 

0

1

0

0

0

 

 

5

 

0

1

0

1

0

 

 

6

 

0

1

1

0

1

 

 

7

 

0

1

1

1

1

 

 

8

 

1

0

0

0

1

 

 

9

 

1

0

0

1

1

 

 

10

 

1

0

1

0

0

 

 

11

 

1

0

1

1

0

 

 

 

 

 

 

 

 

237

Р еше н ие .

Чтобы

выполнить

 

12

1

 

1

 

0

 

0

 

0

задание, нужно выявить все фиктивные

 

13

1

 

1

 

0

 

1

 

0

переменные функции и удалить их.

 

14

1

 

1

 

1

 

0

 

1

Построим таблицу

истинности функции

15

1

1

1

1

1

f , дополнив ее для наглядности

столбцом номеров булевых векторов (табл. 1). Сначала выясним, какие из аргументов функции f фиктивные. Чтобы выяснить, является

переменная x фиктивной или существенной, нужно сравнить значения функции на парах векторов, отличающихся лишь значениями переменной x . Такие пары образуют векторы с номерами 0 и 8, 1 и 9, 2

и10, …, 7 и 15. Так как сравниваемые значения одинаковы, переменная

x- фиктивная. Теперь сравним значения функции на парах векторов,

отличающихся лишь значениями переменной

y (эти векторы имеют

номера 0 и 4, 1 и 5, 2

и 6, 3 и 7, 8 и

12,…, 11 и 15). Имеем

f (0, 0, 0, 0) f (0,1, 0, 0) ,

следовательно,

переменная

y

-

существенная. Сравним значения функции на парах векторов,

отличающихся лишь

значениями переменной

z (эти

векторы имеют

номера 0 и 2, 1 и

3, 4

и 6, 5 и 7,

…,

13

и 15). Имеем

f (0, 0, 0, 0) f (0, 0,1, 0) ,

следовательно,

z

-

существенная

переменная. И, наконец, сравним значения функции на парах векторов, отличающихся лишь значениями переменной t (они имеют номера 0 и 1, 2 и 3, 4 и 5, …, 14 и 15). Поскольку сравниваемые значения

одинаковы, то переменная

t

- фиктивная.

 

 

 

 

Таблица 2

Теперь

удалим

фиктивные

переменные,

вычеркнув

из

таблицы

истинности

функции

 

 

 

y

z

g

f (x, y, z, t)

строки и

столбцы, закрашенные

серым

 

 

0

0

1

цветом. В результате получим таблицу истинности для

0

1

0

функции

g( y, z)

(табл. 2). Функции

f и g

равны, и

1

0

0

функция

g

существенно

зависит

от всех

своих

1

1

1

 

 

 

 

 

 

 

 

 

аргументов. Заметим, что можно было действовать в другом порядке: определив, что переменная x фиктивная, удалить ее и далее рассматривать функцию, полученную в результате удаления x .

2.10. Переменная x2 - существенная, а переменные x1 , x3 - фиктивные.

Реше н ие . f (x1x2 x3 x1x2 x3 ) (x1x2 x3 x1x2 x3 )

x1x2 (x3 x3 ) x1x2 (x3 x3 ) x1x2 1 x1x2 1 x2 (x1 x1) x2 .

238

2.11. а) f * 1001

0111 ; б)

f * (1000 0101 1111 0110) . 2.12.

x y * (0110)* (1001) x y, x y * (1001)* (0110) x y,

x y * (1110)* ((1000) x y , x y * (1000)* (1110) x y .

2.13. а) f * x y z x y z ; б) f * x y 1 x y .

2.14.f * 1010 0101 z x x 1 .

2.15.f x1x2 x3 x1x2 x3 x1x2 x3 x1x2 x3 x1x2 x3 .

2.16.f x1 x2 x3 x1 x2 x3 x1 x2 x3 .

2.17.Переменная x1 может войти в элементарную конъюнкцию,

обращающуюся в единицу на наборе (1, 0, 0) , только сама по себе, а переменные x2 , x3 - обязательно с отрицанием. Последовательно перебрав варианты выбора трех, двух и одной переменной из множества

x1 , x2 , x3 , получим:

x1x2 x3 ,

x1x2 , x1x3 ,

x2 x3 ,

 

x1 , x2 , x3 .

2.18. x , y . 2.19. а)

f x2 x3 x1x2 x2 x3 ,

f

x2 x3 x1x3 x2 x3 ;

б) x1x2 x3 x2 x3x4 x1x2 ,

x1x2 x3 x1x3 x4 x1x2 .

0 0 0 1,

2.20. f x, y, z T0 , T1 ,

 

 

 

 

 

0, 0, 0

 

так

как

 

f

0

f 1,1,1 1 1 1 1.

2.21. а)

Вектор

значений

любой

функции

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

22n 1 ;

f T

n

 

имеет

вид

 

,..., ,1 ,

следовательно,

 

T n

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

б) Пусть

f T0 n T1

n . Тогда

вектор значений этой функции

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

имеет вид

0, ,..., ,1 .

Значит,

таких функций столько же,

сколько

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2n 2

 

 

 

 

 

 

T n T

n

 

22n 2 . в )

булевых векторов

длины

2n 2 , т.е.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

1

 

 

 

 

 

 

Чтобы

найти число элементов

(мощность) объединения множеств

T0 n

и T1

n , воспользуемся правилом включений и исключений:

T0 n T1 n T0 n T1 n T0 n T1 n

239

 

 

 

22n 1 22n 1 22n 2 3 22n 2 .

 

2.22.

Нет. Р ешен и е . Функция

задается

вектором

значений

f (x, y, z) (11001010) , двойственная к

ней

- вектором значений

f * (x, y, z) (10101100) ,

и, значит,

f f

частности,

f (0, 0,1) f (0, 0,1) ). 2.23.

16. 2.24. Последовательно перебрав все

пары

сравнимых

векторов,

убеждаемся,

что

функция

монотонна.

 

CДHΦ

 

 

 

 

 

 

2.25.

f

 

x1x2 x3

x1x2 x3 x1x2 x3

x1x2 x3

 

 

x1 1 x2 x3 x1x2 x3 1 x2 x3 x1x2 .

2.26.а) 1 x2 x1x2 ; б) 1 x2 x3 x1 x1x3 x1x2 x3 .

2.27. 0, 1, x, 1 x, y, 1 y, x y, 1 x y . 2.28

f (0100 1000) ,

принадлежит только T0 . 2.29. а) T1 , f T1 ; б) M , f M ; в) , L , f L . 2.30. а) Полная; б) Неполная. Р еш е ни е .

а) Последовательно заполняем столбцы таблицы Поста данной системы (табл. 3). Поскольку для каждого из классов Поста можно указать функцию системы, ему не принадлежащую, то заключаем, что система полная.

Таблица 3

 

 

 

 

Классы Поста

 

Функции

 

 

 

 

 

T0

T1

S

M

L

x y

+

 

 

 

 

 

 

 

 

xy

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

б) Последовательно заполняем столбцы таблицы Поста данной системы (табл. 4). Поскольку все функции системы лежат в классе монотонных функций, заключаем, что система неполная.

 

 

 

 

Таблица 4

 

 

 

 

 

 

 

 

Классы Поста

Функции

 

 

 

 

 

T0

T1

S

M

L

0

+

+

 

1

 

 

+

 

z xy

 

 

 

+

 

240

2.31. а) Имеем один базис:

1, xy, x y . Указа н ие .

Проанализируйте таблицу Поста данной системы (табл. 5).

 

 

 

 

 

Таблица 5

 

 

 

 

 

 

 

Функции

 

Классы функций

 

 

 

 

 

 

 

 

 

 

T0

T1

S

M

L

 

 

 

0

+

+

+

 

 

 

 

 

 

 

 

 

 

1

+

+

+

 

 

x y

+

+

+

 

 

 

 

 

 

 

 

 

x y

+

+

 

б) Имеем два базиса: x y и x y . У каз а н ие . Проанализируйте

таблицу Поста данной системы (табл. 6).

Таблица 6

 

 

 

 

Классы функций

 

Функции

 

 

 

 

 

T0

T1

S

M

L

x

 

y

 

 

 

 

 

 

 

x y

 

 

 

 

 

 

 

 

 

 

 

 

 

Глава 3

 

 

 

 

 

 

 

3.1. Диаграмма графа изображена на рис. 1. 3.2. Существует (например,

граф на рис. 3.2). 3.3. G1 , G2 и G4

изоморфны,

G3

им не изоморфен.

3.4. Всего таких графов 4. 3.5.

 

 

 

 

 

 

 

 

a2 e

 

0 1

1

0

1

1

0

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e1

4

 

1 0

1

1

1

0

1

1

 

e3

a4

A G

 

 

 

; B G

 

 

 

 

 

.

 

 

 

 

 

1 1

0

0

 

 

0

1

1

0

 

a1

e2

a3

 

 

0 1

0

0

 

 

0

0

0

1

 

 

 

 

 

 

 

 

Рис. 1.

 

3.6. а) граф G3

из примера 3 § 3.1 (см. рис. 3.5); б)

 

 

 

 

 

 

 

граф из примера 1 § 3.1 (см. рис. 3.2). 3.7. а) граф G3 (см. рис. 3.5);

 

б) граф G4 (см. рис. 3.5). 3.8. а) Рис. 2,а,б; б) Рис. 2,в.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

241

 

 

 

 

 

(0,0,1)

(1,0,1)

 

 

 

 

(0,0)

(1,0)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(0,1,1)

(1,1,1)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(0,0,0)

 

(1,0,0)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(0,1)

(1,1)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(0,1,0)

(1,1,0)

 

 

 

 

 

 

 

B2

 

B3

 

 

 

K2 K3

 

 

а

 

б

 

 

 

 

в

 

 

 

 

 

Рис. 2.

 

 

 

 

 

 

3.9. а) Например, a1x2a5 x5a3 x6a6 x4a2 x3a4 x1a1x2a5 ;

 

б)

например,

a1x1a4 x3a2 x8a5 x2 a1x9 a6 ; в)

 

не

существует;

г)

например,

a1x2a5 x8a2 x3a4 x1a1 ; д) не существует. 3.10. Таких графов всего 6.

3.11. а) две; б) три. 3.12. а) одно; б) одно; в) четыре. 3.14. а) 3; б) 6; в) 2; г) 3. 3.15. а) Рис. 3. 3.16. Рис. 4. 3.18. Имеется 4 остова; на рис. 5

изображены помеченный граф K2,2 и его остовы. 3.19. Например,

минимальным остовом является граф с вершинами v1, v2 ,..., v6 ,

ребрами e1,e2 ,e3,e10 ,e11 и весом 6. 3.20. 001001110001010111.

Рис. 3.

242

Рис. 4.

1

 

3

1

 

3

1

 

 

3

1

3

1

 

3

2

 

4

2

 

 

 

4

2

 

 

4

2

 

 

 

4

2

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Рис. 5.

 

 

 

 

 

 

 

 

3.21. Рис. 6. 3.22. [2 2 4 6 4 2 4]. 3.23. Рис. 7.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

корень дерева

 

 

 

8

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

7

 

 

 

 

 

 

 

 

Рис. 6.

 

 

 

 

 

 

 

Рис. 7.

 

 

 

3.24. а) Планарен. Исходная и плоская укладки графа представлены на рис. 8 (соответствующие вершины помечены одинаковыми буквами).

b

1

c

b1

c1

 

1

 

 

a1

 

d1

 

 

b

c

 

 

a

 

d

a1

d1

 

 

 

Рис. 8.

 

б) Непланарен. Р еш ен и е . Будем рассуждать от противного. Предположим, что граф планарен. Тогда у него есть укладка на плоскости. Пусть S - множество граней этой укладки и граница i

243

грани состоит из li ребер, где i 1,..., S . Поскольку каждое ребро

графа содержится в некотором цикле и, следовательно, лежит на

границе двух граней,

то l1 l2 ... l

 

 

s

 

 

 

2

 

E

 

.

Несложно убедиться,

 

 

 

 

 

 

 

 

что в графе

все простые циклы имеют длину

li 4

( i 1,...,

 

S

 

).

 

 

Следовательно, 4

 

S

 

2

 

E

 

,

т.е. 2

 

S

 

 

 

E

 

. Учитывая, что граф имеет 8

 

 

 

 

 

 

 

 

вершин и

13

 

 

ребер,

по

 

формуле

Эйлера

получаем

 

S

 

 

 

E

 

 

 

V

 

2 13 8 2 7 .

 

Значит, должно

выполняться

 

 

 

 

 

 

 

неравенство

2 7 13, что

неверно. 3.25. а)

Исходная и плоская

укладки графа представлены на рис. 9 (соответствующие вершины помечены одинаковыми числами); б) непланарен.

5

5

 

4

3

4

3

 

 

1

2

 

6

 

 

6

 

1

2

 

 

 

 

 

Рис. 9.

 

3 . 26 . Один из эйлеровых циклов задается последовательностью вершин с индексами: 1, 8, 7, 6, 5, 4, 3, 7, 4, 8, 3, 2, 1. 3 . 27 . Одна из эйлеровых цепей задается последовательностью вершин с индексами: 2,

4, 6, 5, 4, 3, 5, 1, 3, 7, 4, 8, 7, 1, 8, 2, 1. 3 . 28 . а ) Один из гамильтоновых циклов задается последовательностью вершин с индексами: 1, 2, 3, 4, 5, 1 (рис. 10); б ) один из гамильтоновых циклов задается последовательностью вершин с индексами: 1, 2, 3, 4, 5, 6, 1 (рис. 11).

2

3

1

3

5

 

 

 

1

 

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

 

2

4

6

 

 

 

 

 

 

 

Рис. 10.

 

 

 

Рис. 11.

 

3.29. а) Граф на рис. 3.64; б)

K3,3 ; в)

K3 ; г) K2 . 3.30. K4 . 3.31. а) 4;

б) 5; в) 2; г) 2; д) 3. 3.32. Рис. 12.

244

Соседние файлы в папке Лекции Олейник PDF