Академический Документы
Профессиональный Документы
Культура Документы
Лобачевского
Нижний Новгород
2012
СБОРНИК ЗАДАЧ ПО ДИСКРЕТНОЙ МАТЕМАТИКЕ. Алексеев В.Е., Киселева Л.Г.,
Смирнова Т.Г. Электронное учебно-методическое пособие. – Нижний Новгород: Нижегородский
госуниверситет, 2012. – 80 с.
2
1. Множества и операции над ними
Терминология и обозначения
1. A A ; A ;
2. A U U ; A U A;
3. A A A ; A A A;
4. A A U ; A A ;
5. A A ;
6. коммутативные законы:
A B B A; AB BA ;
7. ассоциативные законы:
3
A ( B C ) ( A B) C ; A( BC ) ( AB )C ;
8. дистрибутивные законы:
A( B C ) ( AB ) ( AC ) ; A ( BC ) ( A B )( A C ) ;
9. законы де Моргана:
A B A B; AB A B;
10. законы поглощения:
A A B A; A ( A B) A ;
11. A A B A B ; A( A B) AB ;
12. A B A B .
13. A B A B A B .
Операцию пересечения считаем более сильной, чем другие. Это означает, что
при отсутствии скобок она выполняется первой. Например, формула
( AB C ) CD эквивалентна (( A B ) C ) (C D ) .
3) ; 6) , ?
1.3. Известно, что A B и a A . Какие из следующих утверждений верны:
1) a B ; 6) a A B ;
2) a B ; 7) a A B ;
3) A B ; 8) a A ;
4) a A B ; 9) a A ;
4
5) a A B ; 10) a B ?
2) a C ; 10) a A C ;
3) a A B ; 11) a A C ;
4) a A B ; 12) a A B С ;
5) a A B ; 13) a A B C ;
6) a B A ; 14) a B C A ;
7) a A B ; 15) a A B C ;
6
6) A A B A B ; 15) A B A B A B ;
7) A ( B A) ; 16) A B A B A B ( A B ) ;
8) A ( B A) A B ; 17) A A B A A B B A B ;
9) A B A B A ; 18) A ( B C ) ( A B )( A C ) ;
19) ( A B ) C ( A C ) ( B C ) A ( B C ) ;
20) A ( B C ) ( A B ) A C ( A B ) ( A C ) ;
21) ( A B ) C ( A C ) ( B C ) ;
22) A B C ( A B ) ( B C ) (C A) A B C ;
23) A B C ( A B ) ( A C ) A B C A ;
24) A ( B C ) A B C A B C A B ;
25) ( AB A) ( BC C ) ( AB BC ) ( A C ) ;
26) ( A B ) ( B C ) ( A C ) B ( AB BC ) ( A C ) .
1.12. Выразить:
1) через , ;
2) через , ;
3) и через , – .
7
1.16. Выяснить, равносильны ли следующие системы условий:
X Z W ,
X Z,
1) Y W , и
X Y Z W Y W .
C D A, A CD,
2) B D A C , и B C A,
A D C B A C D.
B CD,
A C B ,
C D B,
3) C B D, и
AC B D AC D,
A B BC .
11) ( A X ) B X B ; 26) B X ( A X ) X ;
12) ( A X ) B B X ; 27) A X B X A ;
13) ( X A) B A X ; 28) ( X B ) A A X ;
14) ( X A) B B X ; 29) A X B A X ;
15) A X B B X ; 30) X A ( B X ) A .
8
1.18. Найти множество X , удовлетворяющее системе уравнений, где A , B , C
– данные множества, B A C :
A X B A X B
1) ; 2) .
A X C A X C
( A X )( B X ) C X A B X X C
1) ; 2) ;
BX C AX AX B AX C
AX B
A X B
3) B X C ; 4) ;
CX A B A X C
AX B X C A X BX
5) ; 6) .
BX A X C AX C X
9
2. Бинарные отношения
Терминология и обозначения
10
2.3. Выясните, какие из следующих равенств справедливы для любых
множеств A , B , C , D :
1) A B B A ;
2) ( A B ) C ( A C ) ( B C ) ;
3) ( A B ) (C D ) ( A C ) ( B D ) ;
4) ( A B ) (C D ) ( A C ) ( B D ) ;
5) ( A B ) C ( A C ) ( B C ) ?
11
10) если R1 и R 2 отношения эквивалентности, то R1 R2 отношение
эквивалентности;
11) если R1 и R2 отношения эквивалентности, то R1 R2 отношение
эквивалентности.
1 2 1 2 1 2
3 3 3
1. 2. 3.
1 2 1 2 1 2
3 3 3
4. 5. 6.
1 2 1 2 1 2
3 3
3
7. 9.
8.
12
2.8. Выясните, какие из следующих перечисленных отношений на множестве
{0,1,...,9} являются отношениями эквивалентности. Найдите классы
эквивалентности.
R1 : aR1b a b (mod 3) ;
R2 : aR2 b a 2 b 2 (mod 10 ) ;
R3 : aR3b ab 0 (mod 2) ;
R4 : aR4 b | 2 a 2 b | 16 ;
R5 : aR5 b | 2 a 2 b | 16 ;
R6 : aR6 b НОД ( a , b ) 1 .
14
3. Элементы комбинаторики
Терминология и обозначения
15
Число всех n, k –перестановок Pn , k
n!
.
n k !
n, n -перестановка называется перестановкой из n элементов.
Число всех перестановок из n элементов равно n! .
Неупорядоченная n, k -выборка без повторений называется n, k -
сочетанием.
n
Число всех n, k –сочетаний
n!
.
k n k !k !
Неупорядоченная n, k -выборка с повторениями называется n, k -
сочетанием с повторениями.
Число всех n, k –сочетаний с повторениями равно
n k 1 n k 1!
.
k k ! n 1!
n n
Бином Ньютона: x y n
k x k y n k .
k 0
2) B A ; 5) | B A | 1;
3) A B ; 6) | B A | 2 .
2) X A, X B ; 4) X A B .
17
3.9. Сколько делителей у числа 2048? 2310? 2880? Сколько делителей имеет
k k
число p1 1 ... p s s , где p1 ,..., p s –различные простые числа, k1 ,..., k s – целые
неотрицательные?
18
3.18. Каким числом способов можно разместить n различных предметов по k
различным ящикам? Сколько таких размещений, если в каждый ящик
укладывается не более одного предмета?
19
5) ровно два туза?
3.29. Каким числом способов из 10 человек можно выбрать три комиссии, если
в первой и во второй комиссиях должно быть по 3 человека, а в третьей
человек, и ни один из членов первой комиссии не должен входить во вторую и
третью?
20
отрезок проходится снизу вверх, а горизонтальный – слева направо. Найдите
число траекторий, начинающихся в точке (0,0) , а оканчивающихся
1) в точке ( m, n ) ;
2) на прямой x y n .
3.37. Каким числом способов можно составить букет из n цветов трех видов,
если все цветы одного вида одинаковы и имеется неограниченный запас цветов
каждого вида?
21
2) в одной комнате имеется два, в другой – три, в третьей – четыре
свободных места ?
3.43. Код замка состоит из пяти десятичных цифр. Известно, что среди них
один раз встречается цифра 0 и дважды цифра 3. Сколько комбинаций нужно
перебрать, чтобы наверняка открыть замок?
22
программировать на Си++ и на Бейсике, 20 студентов − на Паскале и Бейсике,
25 − на Си++ и Паскале, а 5 студентов программируют на всех трех языках.
1) Сколько студентов не могут программировать ни на одном из
перечисленных языков?
2) Сколько студентов программируют хотя бы на одном из перечисленных
языков?
3) Сколько студентов программируют только на Паскале?
4) Сколько студентов не программируют ни на Си++, ни на Паскале?
3.52. Рассматриваются слова в алфавите a1 , a2 ,, aq . Через ni обозначается
число вхождений буквы ai в слово. Требуется подсчитать число слов длины n,
удовлетворяющих данным условиям:
1) q 5, n 8, n1 n2 n3 2 ;
2) q 4, n 8, n2 n1 2 ;
3) q 3, n 9, n1 n2 n3 ;
4) q 3, n 9, 2n1 n2 n3 ;
5) q 5, n 7, n1 n2 n3 2 , n4 3 .
23
4. Теория графов
Терминология и обозначения
24
Порожденный подграф графа G (V , E ) – такой граф G' (V ' , E ' ) , у
которого V ' V , E ' { (a, b) E a, b V '} , т.е. порожденный подграф
получается из исходного графа удалением вершин и всех ребер, инцидентных
удаленным вершинам.
Последовательность вершин a1 , a 2 ,..., a k , такая, что a i , a i 1 E для
всех i 1,...,k 1 , называется маршрутом, соединяющим вершины a1 и a k .
Длина маршрута – число ребер k 1 .
Путь − это маршрут, в котором все ребра различны. Простой путь –
путь, в котором все вершины различны.
Цикл – это замкнутый путь, в котором a1 a k и все ребра различны.
Простой цикл – цикл, в котором вершины a1 ,..., a k 1 различны.
Связный граф – такой граф, в котором для любых двух вершин имеется
маршрут, соединяющий эти вершины.
Компонента связности графа – связный подграф, не содержащийся в
большем связном подграфе.
Перешеек – ребро, при удалении которого увеличивается число компонент
связности.
Расстояние между вершинами связного графа – длина кратчайшего
простого пути, соединяющего эти вершины. Эксцентриситет вершины –
расстояние от этой вершины до наиболее удаленной от нее.
Диаметр графа – максимальный среди всех эксцентриситетов вершин.
Радиус графа – минимальный среди всех эксцентриситетов вершин.
Центральная вершина – вершина, эксцентриситет которой равен радиусу
графа. Центр графа – множество всех центральных вершин.
Эйлеров цикл – цикл, проходящий через все ребра графа. Граф, который
имеет эйлеров цикл, называется эйлеровым графом.
Критерий эйлеровости графа. Связный граф является эйлеровым тогда и
только тогда, когда степени всех его вершин четны.
Гамильтонов цикл – простой цикл, проходящий через все вершины графа.
Граф, который имеет гамильтонов цикл, называется гамильтоновым графом.
Двудольный граф – граф, множество вершин которого можно разбить на
две части (доли) так, что концы каждого ребра лежат в разных частях.
Критерий двудольности Кенига. Для двудольности графа необходимо и
достаточно, чтобы он не содержал циклов нечетной длины.
Дерево – связный граф, не имеющий циклов. Лес – граф, не имеющий
циклов. Лист в дереве – вершина степени 1.
25
Пусть T − дерево с n вершинами. Будем считать, что его вершинами
являются натуральные числа 1, 2,…, n. Пусть a1 — наименьший лист в T, а b1
— смежная с ним вершина. Удалив из T вершину a1 и ребро e1 (a1 , b1 ) ,
получим дерево T1 , к которому также применим описанную процедуру.
Повторяем ее до тех пор, пока после удаления вершины an2 и ребра
en2 (an2 , bn2 ) не получим дерево Tn2 , состоящее из одного ребра
en 1 (an 1 , bn 1 ) . Дереву T ставим в соответствие упорядоченный набор чисел
p(T ) b1 ,..., bn 2 , который называется кодом Прюфера.
Пусть V 1, 2,...,n, n 3 . Опишем процедуру восстановления по коду
Прюфера p(T ) b1,...,bn2 , где bi V для всех i 1,...,n 2 , дерева T,
вершинами которого являются элементы множества V. Находим наименьший
элемент a1 множества V, не содержащийся среди элементов
последовательности p(T ) , и восстанавливаем ребро ( a1 , b1 ) дерева. Далее
удаляем a1 из V и первую компоненту b1 из последовательности p(T ) .
Продолжаем процедуру для оставшихся чисел, пока не будут удалены все
компоненты последовательности p(T ) . Два оставшихся элемента множества V
− есть последнее ребро дерева T.
Корневое дерево − дерево с выделенной вершиной, которая называется
корнем дерева.
K n – полный граф с n вершинами, т.е. граф, в котором любые две
вершины смежны. On – пустой граф с n вершинами, т.е. граф, в котором
никакие две вершины не смежны.
K p, q – полный двудольный граф. В нем множество вершин можно разбить
на две части V1 и V2 , причем | V1 | p , | V2 | q , и две вершины смежны тогда и
только тогда, когда они принадлежат разным долям.
Qn –n-мерный куб. Вершинами этого графа являются все двоичные
наборы длины n и две вершины смежны тогда и только тогда, когда
соответствующие наборы отличаются ровно в одной позиции.
Pn − простой путь с n вершинами.
C n − простой цикл с n вершинами.
Плоский граф – граф, вершинами которого являются точки плоскости, а
ребрам соответствуют непрерывные линии, соединяющие смежные вершины,
26
причем эти линии пересекаются только в концевых точках, т. е. в вершинах.
Планарный граф – граф, изоморфный плоскому.
Гранью плоского графа называется максимальное по включению
множество точек плоскости, каждая пара которых может быть соединена
простой кривой, не пересекающей ребра графа.
Для связного плоского графа G (V , E ) с n вершинами и m ребрами
имеет место формула Эйлера n f m 2 , где f − общее число граней графа.
Во всяком связном планарном графе с n ( n 3 ) вершинами и m ребрами
имеет место неравенство m 3 (n 2) .
Во всяком связном планарном графе с n ( n 3 ) вершинами и m ребрами,
не содержащем циклов длины три, имеет место неравенство m 2 (n 2) .
Во всяком связном планарном графе с n ( n 3 ) вершинами и m ребрами,
не содержащем циклов длины меньше k (k 3) , имеет место неравенство
k
m (n 2) .
k 2
Операция подразбиения ребра (a, b) в графе G (V , E ) состоит в
удалении ребра (a, b) и добавлении двух новых ребер (a, c), (c, b) , где c − новая
вершина. Графы G и G называются гомеоморфными, если оба они могут
быть получены из одного и того же графа подразбиением его ребер.
Критерий планарности Понтрягина-Куратовского. Граф планарен
тогда и только тогда, когда он не содержит подграфов, гомеоморфных графам
K 5 или K 3,3 .
Операция стягивания ребра (a, b) в графе G (V , E ) состоит в
отождествлении (слиянии) смежных вершин a и b . Граф G называется
стягиваемым к графу G , если G получается из G в результате некоторой
последовательности стягиваний ребер.
Критерий планарности Вагнера. Граф планарен тогда и только тогда,
когда он не содержит подграфов, стягиваемых к графам K 5 или K 3,3 .
27
4.3. Определить число графов с n вершинами, в которых допускаются ребра
следующих типов:
1) неориентированные и петли;
2) ориентированные и петли;
3) ориентированные, но не петли.
1 2 3 4 5 6
28
7 8 9 10 11 12
13 14 15 16 17 18
Рис. 2. К задаче 4.10
1 2 3 4 5
6 7 8 9
1 2 3 4
29
4.15. Графы, изображенные на рис. 5, разбить на классы попарно
неизоморфных графов.
1 2 3 4 5
6 7 8 9 10
1 2 3 4 5
6 7 8 9 10
Рис. 6. К задаче 4.16
30
4.20. Доказать, что в каждом графе с не менее чем двумя вершинами найдутся
две вершины с одинаковыми степенями.
31
4.28. Какое наибольшее число ребер может быть в несвязном графе с n
вершинами?
32
7 8
1) 2 2) 7 9 3)
8 1 4
5 6 4 3 6
6 3 10
1 5 3 8 1 5
9 2 9 2
4 7
4) 3 2k+2 5) 6) 3 2k+2
k+1 k+2 2k-2 2k-2
5 1 6 2k-3 2k-1 2k
2 2 k-1
4 3 2k+1 1 2
2k+1 1 k
1 2 3 4 5
33
6 7 8 9 10
Рис. 8. К задаче 4.45
34
8) набор степеней (2,2,3,3,3,3) (4);
9) деревья, 7 вершин (11);
10) деревья, набор степеней (1,1,1,1,2,2,2,3,3) (9);
11) деревья, набор степеней (1,1,1,1,1,2,2,3,4) (8);
12) леса, 5 вершин (10);
13) деревья, степени не более 3, 8 вершин (11);
14) графы с единственным циклом, 5 вершин (9);
15) графы с единственным циклом, 6 вершин, 5 ребер (8);
16) связные, не имеющие циклов длины 3, 5 вершин (6);
17) имеющие эйлеров цикл, 6 вершин (8);
18) имеющие эйлеров цикл, 7 вершин, 9 ребер (3);
19) имеющие гамильтонов цикл, 5 вершин (8);
20) имеющие гамильтонов цикл, 6 вершин, 8 ребер (6);
21) имеющие цикл длины 6, 5 вершин (6);
22) непланарные, 6 вершин, 11 ребер (4);
23) двудольные, 5 вершин (13);
24) двудольные, 6 вершин, 6 ребер (6);
25) ориентированные, без петель, 3 вершины (16);
26) ориентированные, без петель, 4 вершины, 3 ребра (13).
35
5. Функции алгебры логики
Терминология и обозначения
36
Основные эквивалентности алгебры логики
37
Пусть для функции f ( x1 , x2 ,..., xn ) переменная x k является фиктивной.
Возьмем таблицу, задающую функцию f ( x1 , x2 ,...,xn ) . Вычеркнем из нее все
строки вида 1,..., k 1, 1, k 1,..., n , f (1,..., k 1, 1, k 1,..., n ) , а также
столбец, соответствующий переменной x k . Полученная таблица будет
определять некоторую булеву функцию g ( x1 , x 2 ,..., x k 1 , x k 1 ,..., x n ) от n 1
переменной. Будем говорить, что функция g ( x1 , x 2 ,..., x k 1 , x k 1 ,..., x n )
получена из функции f ( x1 , x2 ,...,xn ) путем удаления фиктивной переменной
xk , а также что функция f ( x1 , x2 ,...,xn ) получается из
g ( x1 , x 2 ,..., x k 1 , x k 1 ,..., x n ) путем введения фиктивной переменной x k .
x n ) и g( ~
Две функции f ( ~ x m ) называются равными, если функцию
x n ) можно получить из функции g ( ~
f(~ x m ) путем введения и удаления
фиктивных переменных. Для любой функции, отличной от константы 0 или 1,
существует равная ей, у которой все переменные существенные.
Функция f ( x1,..., xn ) называется двойственной к функции f ( x1 ,...,xn ) ,
если f ( x1 ,..., x n ) f ( x1 ,..., x n ) .
Если функция f ( ~
x n ) не равна тождественно нулю, тогда она может быть
представлена в совершенной дизъюнктивной нормальной форме (сокращѐнно
СДНФ):
f ( x1 ,...,xn )
1 ,..., n
x1 1 ... xn
n
,
f ( 1 ,..., n ) 1
38
где конъюнкция берѐтся по всем наборам ( 1 ,..., n ) из E n , на которых
функция f ( ~
x n ) обращается в нуль.
а) h( ~
x 2 ) f ( x1 , g ( x1 , x2 )); б) h( ~
x 2 ) g ( x2 , f ( x2 , x1 ));
в) h( ~
x 2 ) f ( f ( x1 , g ( x1 , x2 )), g ( x1 , x2 ));
г) h( ~
x 3 ) g ( x1 , x2 ) f ( x3 , g ( x1 , x2 ));
д) h( ~
x 3 ) f ( x2 , g ( x3 , x1 )) g ( x1 , g ( x2 , x3 )).
2) ~ f 1010, ~g 0110 ,
а) h( ~
x 3 ) f ( x3 , g ( x1 , x2 )); б) h( ~
x 3 ) g ( g ( x3 , x2 ), f ( x1 , x3 ));
в) h( ~
x 3 ) f ( f ( x3 , g ( x1 , x2 )), g ( x1 , x2 ));
г) h( ~
x 3 ) f ( f ( x1 , x2 ), g ( x3 , x1 )) g ( x1 , g ( x1 , x2 )) .
39
3) A x y z x y z , B x y z x y y x z ;
4) A x y x z x y z x y , B x y z x ;
5) A x y z y y z , B x y y z x y z ;
6) A x y z x y y z x , B x y y x ;
7) A x y y z x z , B x y z x z ;
8) A x y x z y z x y , B x y z y z ;
9) A x y y z x x z , B x y x x y z ;
10) A x x y x z y y z , B x y z ;
11) A x y z x z y x y z , B x y z x y ;
12) A x y x z x y z , B x z y ;
13) A x y x z x y z , B x y z x z ;
14) A x y z y z , B x x y z x y z ;
15) A x y y z y x z x y z , B x y z .
5.4. Перечислить все существенные и фиктивные переменные у следующих
функций:
x 3 ) 10101010;
1) f ( ~ x 3 ) 10011001 ;
2) f ( ~
x 3 ) 00111100 ;
3) f ( ~ x 4 ) 0101111101011111 ;
4) f ( ~
x 4 ) 1100110000110011;
5) f ( ~ x 4 ) 1011010110110101;
6) f ( ~
x 2 ) x1 x2 x1 x2 x1 x2 x2 x1 ;
7) f ( ~
x 2 ) x x x x x x x ;
8) f ( ~ 1 2 1 2 1 1 2
x 3 ) x1 x2 x2 x3 x2 x3 ;
9) f ( ~
x 3 ) x1 x2 x3 x2 x1 x3 x1 x3 ;
10) f ( ~
x 3 ) x1 ( x 2 x3 ) x 2 ( x1 x3 ) ( x1 x 2 ) .
11) f ( ~
40
x 3 ) x1 x2 x3 x3 x2 ;
3) f ( ~
4) f ( ~
x 3 ) x1 x2 x3 x1 x2 x3 x2 x3 ;
x 3 ) x1 x2 x3 x1 x2 x3 x2 x1 x3 .
5) f ( ~
4) f ~
x n = x x x x ... x
1 2 2 3 n1x x x ;
n n 1
5) f ~
x n = x1 x 2 ... x n1 xn ... x1 xn ... x n1 x n .
41
5.12. Используя принцип двойственности, построить и упростить формулу,
реализующую функцию, двойственную к функции f.
1) f x y z y z x y z ;
2)
f x 1 y y z x y z ;
3)
f x y x y x y z ;
4)
f x y y z 1 z ;
5)
f x y z 0 z 1 x y y z ;
6)
f x z x y x y z .
5.13. Представить в совершенной д.н.ф. и совершенной к.н.ф. функции:
12 2 3 1 23
x 3 x x x x x x x ;
1) f ~
2) f ~
x 3 x1 x2 x1x3 x2 x3 ;
3) f ~
x 3 x1 x2 x3 x1 x3 x2 ;
4) f ~
x 3 x1 x2 x3 x1 x2 x3 ;
5) f ~
x 3 x1 x2 x1 x2 x3 ;
6) f ~
x 3 x1 x2 x3 x1 x3 x2 .
1) f ~
x 3 x1 x2 x3 ;
2) f ~
x 3 x1 x2 x2 x3 x3 ;
3) f ~
x 3 x1 x2 x1 x3 x2 x3 .
42
5.16. Подсчитать число функций
f ~
x n , у которых совершенная д.н.ф.
удовлетворяет следующему условию:
1) каждая элементарная конъюнкция содержит хотя бы две буквы с
отрицаниями;
2) отсутствуют элементарные конъюнкции, содержащие нечетное число
букв с отрицаниями;
3) в каждой элементарной конъюнкции число букв с отрицаниями не
больше числа букв без отрицаний.
3) f ~
x 3 = x1 x2 x2 x3 ;
4) f ~
x 3 = x x x x x ;
1 2 1 3 2
5) f ~
x 3 = x x x x ;
1 1 2 3
6) f ~
x 3 = x1 x2 x3 x1 x2 x3 ;
7) f ( x, y, z ) x y x y z y z ;
8) f ( x, y, z ) x y z y z x y z ;
9) f ( x, y, z ) x y z x y x y z
10) f ( x, y, z ) x y z x y x y z .
43
5.20. Найти функцию f ~
x n , у которой длина полинома Жегалкина в 2 n раз
превосходит длину ее совершенной д.н.ф. n 1 .
5.21. Пользуясь свойством единственности совершенных форм и полинома
Жегалкина, выяснить, равносильны ли выражения A и B , представив их в
совершенной д.н.ф. или к.н.ф., либо построив для них полиномы Жегалкина:
1) A x1 x 2 x3 , B x1 x 2 x1 x3 ;
2) A x1 x 2 x3 x1 x3 , B x1 x 2 x3 ;
3) A x1 x 2 x3 , B x1 x3 x 2 x3 ;
4) A x1 x 2 x3 x1 , B x1 x3 ;
5) A x1 x3 x 2 x3 , B x1 x 2 x3 ;
6) A x1 x 2 , B x1 x3 x 2 x3 x1 x3 x 2 x3 .
44
6. Замкнутые классы и полнота систем функций
алгебры логики
Терминология и обозначения
45
~
сравнимы. В противном случае, наборы ~ и несравнимы. Функция
~ ~
f ( x ,...,x ) называется монотонной, если для любых ~ и , таких, что ~
1 n
~
выполнено неравенство: f (~ ) f ( ) . Множество всех монотонных функций
обозначается через M .
Лемма о немонотонной функции. Из всякой немонотонной функции
f ( x1,..., xn ) с помощью подстановки вместо ее переменных функций 0, 1 и x
можно получить x .
Функция f ( x1 , x2 ,, xn ) называется линейной, если она представима
полиномом Жегалкина не выше первой степени, т. е. если существуют такие
константы i 0, 1 (i 0,1,, n) , что
f ( x1, x2 ,, xn ) = 0 1x1 2 x2 n xn .
Множество всех линейных функций обозначается через L .
Лемма о нелинейной функции. Из всякой нелинейной функции f ( ~
xn) с
помощью подстановки вместо ее переменных констант 0, 1 и функций
x1, x1, x2 , x2 и, быть может, путѐм навешивания отрицания над всей функцией,
можно получить конъюнкцию x1x2 .
Критерий Поста о полноте. Система функций F полна тогда и только
тогда, когда она целиком не содержится ни в одном из пяти замкнутых классов:
T0 , T1 , S , M , L .
Полная система F называется базисом в P2 , если никакая ее подсистема не
является полной, т. е. 1) F P2 ; 2) для f F F \ f P2 .
Функция f ~
x n называется шефферовой (или функцией Шеффера от n
переменных), если она полна, т. е. образует базис в P2 .
46
6.2. Показать, что f F , выразив f формулой над множеством F :
1) f x , F 0, x y;
2) f x y, F x y;
3) f x, F x y;
4) f x y z, F x y;
5) f 0, F xy z;
6) f x,
F xy ;
7) f x y, F x y .
6.3. Воспользовавшись теоремой сведения, доказать полноту системы F :
1) F x1 x2 ; 2) F x1 x2 ;
3) F x1 x2 , x1 x2 x3 ; 4) F x1x2 x3 , ( x1 x2 ) x3;
5) F x, x1 x2 ; 6) F x1x2 x3 , x1 x2 , x1 x3.
4) f (~
xn) = xi x j ;
1i j n
47
n2
7) x n ) = xi xi 1 xi 2 .
f (~
i 1
6.7. Доказать, что если булева функция сохраняет 0, то двойственная для нее
функция сохраняет 1.
48
7) f x y y z x z y z ; 8) f ( x y) ( y z) ( z x) z ;
9) f x y z x y x z y z ;
10) f x y z x y z .
49
6.19. Найти все функции f M S , которые можно получить из вектора ~ f
заменой символа «–» на 0 или 1:
1) ~ f ; 2) ~ f 0 ;
3) ~ 1 ;
f 4) ~ f 0 0 0 ;
5) ~ f 01 0 .
3) f ~
x n x1x2...xn x1 x2 ... xn .
50
1) f x y ; 2) f x y y z z x ;
3) f x y x y z x y z ; 4) f x y z ;
5) f x y y z z x ; 6) ~ 1110 10 0 0 ;
f
7) f x1 x2 x4 x1 x2 x3 x4 ;
8) f x1 x2 x3 x4 x1x2 x3 x4 x1x2 x3 x4 x1x2 x3 x4 x1x2 .
51
3) f T1 T0 ; 4) f T1 T0 ;
5) f T0 T1; 6) f T1 T0 ;
7) f S T0 ; 8) f T1 T0 .
52
4) A x y, x y, x y z, x y, x y;
5) A x y x z, x , x y, 0, x y z.
53
3) A S M L M ;
4) A L T0 T1 S T0 T1 ;
5) A L T1 S M ;
6) A L T1 S T0 ;
7) A (M T0 ) (S L) .
54
6.52. Верно ли, что f g или g f ?
1) f x y , g xy ; 2) f x y , g x y ;
3) f x y , g xy ; 4) f x y , g x y ;
5) f x y , g xy z ; 6) f x y , g xy z ;
7) f x y , g xy z ; 8) f x y , g x ;
9) f x y , g xy xz yz ;
10) f x y , g xy xz yz .
55
7. Элементы теории кодирования
Терминология и обозначения
56
f v . Код V называется взаимно однозначным или однозначно декодируемым,
если различным сообщениям языка соответствуют различные кодовые слова.
Если слово имеет вид 1 2 , тогда подслово 1 называется префиксом,
а 2 − суффиксом слова .
Префикс (суффикс) слова называется собственным, если он отличен
от пустого слова и от самого слова .
Схема алфавитного кодирования f v обладает свойством префикса, если
для любых i и j (1 i, j n, i j ) слово vi не является префиксом слова v j .
Алфавитное кодирование, схема которого обладает свойством префикса,
называется префиксным.
Префиксные коды, т. е. коды, у которых никакой из элементарных кодов
не является началом другого элементарного кода, составляют важный класс
однозначно декодируемых кодов переменной длины.
Префиксность кода является достаточным условием его взаимной
однозначности.
Для всякого однозначно декодируемого кода V в q -буквенном алфавите
длины элементарных кодов di | vi | (i 1, n) удовлетворяют неравенству
n
Мак-Миллана: q di 1.
i 1
Неравенство Мак-Миллана является необходимым условием взаимной
однозначности кода, но не достаточным.
Пусть набор натуральных чисел d1, d 2 , , d n удовлетворяет неравенству
n
Мак-Миллана q di 1 , тогда существует префиксный код V v1 , v2 ,..., vn
i 1
57
Пусть задано распределение вероятностей P p1, p2 , , pn ( pi 0,
n
pi 1) для букв алфавита B b1, b2 ,..., bn .
i 1
n
Величина C (V , P) pi | vi | называется стоимостью (или
i 1
избыточностью) кода V v1 , v2 ,..., vn для набора вероятностей P .
Стоимость кода V определяет среднюю длину его элементарного кода и
показывает, во сколько раз увеличивается средняя длина слова при
кодировании сообщений кодом V .
Алфавитный код V o называется оптимальным, если
C (V O , P) inf C (V , P) .
V
58
n
8) V = {0, 10, …, 10 , …}.
59
1) L = {1, 2, 2, 3}; 2) L = {2, 2, 2, 4, 4, 4}; 3) L = {1, 2, 4, 4, 4, 4};
4) L = {2, 2, 3, 4, 4}; 5) L = {1, 2, 3, 4, 4, 5}.
60
7.9. Построить оптимальный префиксный код для заданного распределения
вероятностей P в алфавите A :
1) P = (0,2; 0,3; 0,2; 0,1; 0,2), A 0,1, 2;
2) P = (0,2; 0,1; 0,4; 0,1; 0,1; 0,1), A 0,1, 2;
3) P = (0,2; 0,1; 0,3; 0,1; 0,05; 0,1; 0,05; 0,1), A 0,1, 2;
4) P = (0,2; 0,1; 0,3; 0,1; 0,05; 0,1; 0,05; 0,1), A 0,1, 2,3;
5) P = (0,21; 0,17; 0,2; 0,12; 0,08; 0,16; 0,02; 0,04), A 0,1, 2,3;
6) P = (0,02; 0,08; 0,05; 0,15; 0,04; 0,16; 0,2; 0,13, 0,17), A 0,1, 2,3
61
8. Контрольные задания
62
24.
С ABC С BC B A ABC .
25. C B U A U C B C A.
26. С A B C С B С B С A.
27. A B ( AC ABC ) A C B B.
28.
A BС A BС A BС ABС .
29. C B A U C B A .
30. AB C C ACB ABC .
Задача 2. Задано универсальное множество U 1, 2, 3, 4, 5, 6, 7 и в нем
подмножества A x x 4 , B 2, 4, 5, 6 , C 1, 3, 5, 6 , D {x | x –
простое1}, E 1, 2, 6, 7 . Найдите множества:
1. A B D E ; С A E D ; 2 AC 2 E ; C ABD .
2. С AB; C D E E D; 2 D C 2 B C ; B AC .
3. С A B E ; A C A B D ; 2 C D 2 A D ; ( A B ) A .
4. B E; CE D A B; 2 AD 2 B ; B C A .
5. A E D; С B B C A ; 2 B C 2 C D ; ( B E ) BD .
6. E A C ; A B C C D; 2 A 2 B C ; B E AC .
7. С D E A; B C B C E ; 2 B D 2 C D ; ( A E ) B .
8. B С D E; A C A B; 2 A B 2 C ; (C D ) A B .
9. B A D C ; D A E C ; 2 D E 2 C ; ( A B ) D .
10. D BC ; C E D A B; 2 AB 2DC ; E AE
.
11. D B E ; B D C B D ; 2 D E 2 A D ; ( B C ) E .
12. СD A; A B B D; 2 AD 2E ; CE D C .
13.
AC E ; D C AC B ; 2C E 2 B E ; ( A B ) C .
1
Простым числом называется натуральное число, большее единицы, не имеющее
других делителей, кроме самого себя и единицы.
63
14. D B E; B C A D E; 2 D 2 AC ; B
DC
.
15. D E A; C E A D E ) ; 2 E 2 C D ; ( B D ) C .
16. D С B E; DE A C ; 2 A B 2 C ; D
CB
.
23. B A C ; A B C C D; 2 2 ; B E
AD BC AC
.
24. A С D E ; AC A B; 2 2 ; (C D )
AB C AB
25. BС D E ; A C A B ; 2 2 ; (C D )
AB C AB
.
26. A BC ; C E D A B; 2 2 ; E .
AB DC AE
27. EB D AC ; A C E B D; 2 2 ; A D
B AC AC
.
A B E ; B C A D E ; 2 2 ; B .D AC DC
28.
A С B E;
CB
29. D E A C ; 2 A B 2 CD ; A .
30. A E B D;
BA B D AD ; 2 A C 2 B D ; BC D .
Задача 3. Упростить условия:
A B C; A B C;
AD B C ; B C D D;
1. 2.
AB C D ; D C;
AC C B D . AD B C D.
64
BC A D ; A B C;
AB C D ;
B D A;
3. 4.
BD AC A C ; C D A B;
B A C. AB D.
A B C; A C D;
5. D A B C ; 6. A B C D ;
BC A D. AD B C .
X Y Z; B C D;
Y ZW W; A B C;
7. 8.
Z W; D C;
X W Y Z W.
AD B C D.
X Y Z; X Y Z;
9.
XW Y Z ; Y Z W ;
10.
XY Z W ; W Z;
XZ Z Y W . X W Y Z W .
CD A B ; C A D;
BC A D ;
D B C;
11. 12.
AC B D ; A B C D;
C B D. CD B.
W X Y; A B A C D;
B C D;
X Y Z;
14.
13.
ZW X Y Z ; C A D A;
Y Z. A D.
A B D; A C D;
15. AC B D ; 16. A B C D ;
С D B.
AC D B .
65
A C D; Z X Y ;
D B C; Y X W ;
17. 18.
BD C ; X W;
ZW X Y W .
C D A B.
XY Z W ; AD B C ;
Y X Z; BD A C ;
19. 20.
X W Y Z; CD A B ;
Y W X Z X Z. D B C.
A B C; B A C;
B C D D; A D B;
21. 22.
D C; C D A B;
AB D.
A D B C D.
C A D; D C A;
23. C B A D ; 24. D B C A;
С A B.
CD B A.
Y X Z; A C D;
X Z W ; D B A;
25. 26.
W Z; C B A D;
Y W X Z W . AD B.
A C A B D; C C D;
C B D;
A B C;
27. 28.
B A D A; D B;
A D.
AD B C D.
X Z Y; BD A C ;
Y Z W ; AD B C ;
29. 30.
Z W; CD A B ;
XW Z Y W . D A C.
66
Задача 4. Решить уравнение, найти необходимые и достаточные условия, при
которых уравнение имеет решение. Оценить число решений уравнения.
1. A B X AB . 2.
A B X AB A B X .
3. A BX X . 4. A BX B U .
5. AX B A B . 6. A BX A B .
7. A X B AX . 8. BX A BX A .
9. A X X AB . 10. B X X B A .
11. A X B B X . 12. AX B B X .
13. BX A B X . 14. A X BX A .
15. X A B X A . 16. AX X A B .
17. A B X A X . 18. B AX B X .
19. A B X A B . 20. A X B A B .
21. A BX A B A B X . 22. B A X A U .
23. B AX A B . 24. ABX AX B .
25. BX A BX A . 26. A X X A B .
27. BX A A X . 28. ВX X B A .
29. A BX A X . 30. B X A BA .
Задача 5. Решить систему уравнений. Найти необходимые и достаточные
условия, при которых система имеет решение. Оценить число решений системы
уравнений.
A X AC, A X C,
1. B X B C , 2. B X C ,
C X A B .
BX A X C .
X B B C, AX B ,
3. X A A C , 4. B X C ,
X C B C.
C X A B .
AX B X C , A X B,
5. 6.
BX A X C . B X С.
67
7.
A X B X C X , A B X A,
8.
B X C A X . A B X С.
A X X B, A X B X ,
9. 10.
A X C. A X C X .
A X B, A X B,
11. 12.
B X C. BX C X AС .
A B X С, A X C,
13. 14.
A B X С. B X A.
A X X C,
B X A X ,
15. 16.
A X B.
A X C X .
AX С X B , A X B,
17. 18.
BX C X A. B X С.
С X X B ,
A X C X ,
19. 20.
A X B.
A X B X .
С X A, AX C ,
21. B X A, 22. B X A,
BX C X A. C X A B .
B X A, C B X C ,
23. 24.
A X С. A C B X .
C X B X , С X B ,
25. 26.
CX A X . AC BX A X .
B X C, A X B X ,
27. 28.
B A X . B X C X .
A B X ,
C X A X ,
29. 30.
A X С.
C X B X .
68
A B C;
C B A D;
A B;
1.
C A D B; B C B D.
AC B ;
W Z;
Y ZW; Y X;
2.
X Y Z; X Z W.
XW YZW ;
A B D; A B;
3. AC D; A C;
C A B;
D B.
A D B C D;
C D; C A D;
4.
CD B ; B A B C.
A B C;
Y ZW ;
X Z Y Z;
XW YZW ;
5. Y ZW ;
X Y Z;
Z W; W Z.
A B D;
A B;
AC D ;
6. A C;
C A B; D .
B D;
AD BCD ; A C;
7. A B C D; A B;
B D;
C D.
Y ZW ;
X Y;
XW YZW ;
8. X Z;
X Y Z; W .
W Z;
69
A B D;
A B;
AC D ;
9. A C;
C A B;
B D; A D.
X Z Y W;
X W;
10. XW YZ YW ;
X W; Y Z.
B C A;
A B C D;
B C;
11.
A C D B; B A B D.
AC B ;
X Z;
Y W;
12. Y X Z ;
W Y Z; X Z W.
XW X Y Z ;
B D A; B D;
13. A CD ; C D;
C B D;
A B.
ACD BD ;
C D; C B D;
14.
A C D; A B A C.
A C B;
YZ W ;
XY YZW ; X Z Z W ;
15.
YZ W ;
X Z W ;
Z Y ; Y Z.
A C D;
A C;
AB D ;
16. A B;
B A C; D .
C D;
70
AC B C D ; A D;
17. A B C D ; A B;
B C; C D.
X Z W ;
X Y;
X ZW YW ;
18. Y Z;
Y X Z; W .
W Z;
A B C;
A B;
AD C ;
19. A D;
D A B;
B C; A C.
X Z Y W;
X Y;
20. X Y Z W YW ;
Z W ; Z W .
W X;
Y XW; Y Z;
21.
Z Y X; X Z W.
ZW YXW ;
C D B A D;
A D; A C D;
22.
AD B ; B C B A.
C B A;
D B A;
D B;
A DC ;
23. D C;
C D B; A .
B A;
71
ZW X
X Y;
ZXW YW ;
24. Y Z;
Y X Z; W .
W Z;
Y Z X W;
Y W;
25. YW XZ XW ;
Y W; X Z.
D C A;
D C;
DB A;
26. D B;
B D C; A .
C A;
Y Z W ;
X Y;
Y ZW XW ;
27. Z X;
X Y Z; W .
W Z;
Y Z;
X YZ; X W;
28.
W X Z; Y Z W.
YW X Y Z ;
BCD AD ;
C D; C A D;
29.
B C D; B A B C.
B C A;
X Z Y W;
X Y;
30. X Y Z W Y W ;
Z W ; Z W .
72
8.2. Контрольная работа по комбинаторике
73
28) n 8, | A B | 5 , | C ( A B ) | 2 ;
29) n 8, | ( A B ) C | 7 , | C B | 6 ;
30) n 7, | A B C | 3 , | A ( B C ) | 2 ?
74
20. 25 11 14 10 6 4 ? 2 3
21. 27 17 13 ? 9 6 5 4 4
22. 30 18 14 9 9 5 4 ? 4
23. 26 15 13 11 8 ? 5 3 2
24. 28 17 ? 10 11 5 7 4 4
25. 30 19 16 12 ? 8 7 5 3
26. 35 20 16 15 10 8 9 6 ?
27. ? 20 17 13 8 5 4 1 5
28. 39 ? 17 13 8 5 6 2 4
29. 37 22 16 ? 8 5 4 3 2
30. 33 19 18 11 9 ? 7 2 3
75
15. q 4, n 7, n1 2, n2 n3 4 ;
16. q 5, n 8, n1 4, n2 3 ;
17. q 4, n 6, n1 n2 n3 n4 ;
18. q 4, n 8, n1 n2 3, n3 2 ;
19. q 4, n 9, n1 n2 2 ;
20. q 5, n 6, n1 n2 ;
21. q 5, n 6, n1 n2 n3 n4 ;
22. q 4, n 8, n1 2, n2 3 ;
23. q 5, n 7, n1 2, n2 n3 n4 3 ;
24. q 4, n 8, n1 n2 4, n3 1;
25. q 5, n 7, n1 n2 n3 ;
26. q 4, n 7, n1 n 2 4 ;
27. q 5, n 6, n1 n2 n3 n4 n5 ;
28. q 5, n 7, n1 n 2 n3 n4 4 ;
29. q 4, n 8, 2 n1 n2 6 ;
30. q 3, n 9, n1 n2 n3 .
76
16. «алгебра», чтобы «р» шла непосредственно после «а»;
17. «автобус», чтобы гласные шли в алфавитном порядке;
18. «карандаш», чтобы две буквы «а» не шли подряд;
19. «решение», чтобы «е» шла непосредственно после «н»;
20. «множество», чтобы согласные шли в алфавитном порядке;
21. «апелляция», чтобы «я» шла непосредственно после «л»;
22. «гиппопотам», чтобы гласные шли в алфавитном порядке;
23. «баллада», чтобы две буквы «а» не шли подряд;
24. «интеллект», чтобы «л» шла непосредственно после «е»;
25. «идиллия», чтобы три буквы «и» не шли подряд;
26. «пассажир», чтобы согласные шли в алфавитном порядке;
27. «диаграмма», чтобы «м» шла непосредственно после «а»;
28. «оперетта», чтобы не менялся порядок гласных букв;
29. «гипербола», чтобы гласные шли в алфавитном порядке;
30. «баррикада», чтобы две буквы «а» не шли подряд?
77
Литература
78
Оглавление
79
Владимир Евгеньевич Алексеев
Лариса Георгиевна Киселева
Татьяна Геннадьевна Смирнова
80