Формат

Экзамен пройдёт 14 января очно. Каждый студент получит два случайных вопроса
из списка ниже. На подготовку этих вопросов будет дано полтора часа, в течение
которых пользоваться можно будет только собственными знаниями. Принимающий
проверит написанное, задаст уточняющие вопросы по написанному, а также может
задать дополнительные вопросы по определениям и идеям доказательств из других
билетов.

Вопросы
Доказательства

1. Существование. Существуют ли a, b 6∈ Q, для которых ab ∈ Q? Докажи-

те, что в любом множестве из тридцати семизначных чисел найдутся два
непересекающихся непустых подмножества с одинаковой суммой. Из шах-
матной доски вырезано две клетки; в каком случае оставшуюся часть доски
можно замостить доминошками?
2. Оптимальность. Какое максимальное количество коней можно поставить
на шахматную доску, так чтобы никакие два не били друг друга? Какое мак-
симальное количество целых чисел от 1 до 50 можно выбрать, так чтобы ни
одно из выбранных чисел не равнялось удвоенному другому выбранному?
3. Индукция. Докажите неравенство Бернулли: (1 + x)n > 1 + xn для x ∈ R>−1 и
√
n ∈ Z>0 . Докажите неравенство о средних: (x1 + · · · + xn )/n > n x1 · · · xn для
x1 , . . . , xn ∈ R>0 . Докажите, что любое n ∈ Z>0 можно представить в виде
±12 ± 22 ± · · · ± k2 . Докажите, что уравнение 8a4 + 4b4 + 2c4 = d4 не имеет
решений при a, b, c, d ∈ Z>0 .
4. Индукция. Докажите теорему Холла: для любого конечного набора конеч-
ных множеств найдётся система различных представителей тогда и только
тогда, когда для любого k объединение любых k множеств имеет размер
хотя бы k.
5. Индукция. Докажите теорему ван дер Вардена: для любой раскраски мно-
жества Z>0 в конечное число цветов найдётся произвольно длинная одно-
цветная арифметическая прогрессия.

Логика

6. Формы. Докажите, что любой булев предикат может быть записан в виде
КНФ/ДНФ, а также — единственным образом в виде многочлена Жегалкина.

1
 Для каждой из этих трёх нормальных форм приведите пример предиката,
для которого размер минимального представление будет экспоненциаль-
ным от числа переменных.
7. Базисы. Докажите критерий Поста: набор связок является полным тогда и
только тогда, когда он не содержится целиком ни в одном из предполных
классов.
8. Выполнимость. Опишите (полиномиальные) сведения задачи о 3-раскраске
графа и задачи о гамильтоновом цикле к задаче выполнимости.
9. Схемы. Докажите теоремы Шэннона и Миллера: схемная сложность почти
всех булевых функций из Bn есть Θ(2n /n).
10. Схемы. Докажите, что схемная сложность функции чётности от n пере-
менных в базисах B2 и U2 = B2 \ {⊕, ≡} равна, соответственно, (n − 1) и
3(n − 1).
11. Формулы. Докажите, что формулы можно балансировать: для любого пре-
диката f выполнено D(f) = Θ(log L(f)).
12. Отгадывание. Докажите, что для отгадывания числа от 1 до 1 000 при усло-
вии, что загадавший может не более одного раза дать неверный ответ,
нужно ровно 14 вопросов.

Множества

13. Тождества. Докажите формулу включений-исключений: для конечных

множеств A1 , . . . , An ⊆ U выполнено
 
X
   
\ 
(−1)|I|+1  Ai  ,
[ 
Ai  =
  
  
i∈[n]  I⊆[n] i∈I
 
X
\   
\ 
|I| 
\
 
A = (−1) · (U A i  .
)

i
  
  
i∈[n]
 I⊆[n]
 i∈I

14. Счётность. Докажите следующие свойства счётных множеств: а) Q счётно;

б) объединение двух счётных множеств счётно; в) Подмножество счётно-
го множества конечно или счётно; г) бесконечное множество содержит
счётное подмножество; д) объединение конечного или счётного числа счёт-
ных множеств счётно; е) добавление не более чем счётного множества
к бесконечному множеству не меняет его мощности.
15. Континуум. Докажите теоремы Кантора: |Z| 6= |R| и |[0, 1]| = |[0, 1] × [0, 1]|.
16. Сравнение мощностей. Докажите теорему Кантора — Бернштейна: если
мощность A не больше мощности B и мощность B не больше мощности A,

2
 то A и B равномощны. Докажите теорему Кантора: никакое множество не
равномощно множеству своих подмножеств.
17. Неразрешимость. Докажите теорему Тьюринга: задача об остановке алго-
ритмически неразрешима.
18. Фундированность. Докажите равносильность следующих свойств порядка:
а) каждое непустое множество имеет минимальный элемент; б) любая убы-
вающая цепь конечна; в) справедлив принцип математической индукции.
19. Ширина. Докажите теорему Дилуорса: в любом конечном порядке мак-
симальный размер антицепи равен минимальному размеру покрытия
цепями.

Подсчёт

20. Перебор. Напишите код (или псевдокод) алгоритма, основанного на методе

динамического программирования, для задачи о рюкзаке и оцените его
время работы.
21. Размещения и сочетания. Напишите и докажите формулы для чисел разме-
щений и сочетаний с повторениями и без повторений.
Pn k n


22. Тождества. Докажите тождества: а) k=0 (−1) = 0 (при n > 0);
Pn P n P n
k
2
б) k=1 k k = n2n−1 ; в) k=0 2k k = 3n ; г) k=0 k = 2n
n n n





n
.
23. Разделяй и властвуй. Сформулируйте и докажите основную теорему о ре-
куррентных соотношениях.
24. Рекуррентные соотношения. Выведите формулу Бине для чисел Фибоначчи.
Найдите скорость роста функции T (n), удовлетворяющей рекуррентному
соотношению T (n) = T (n − 1) + T (n − 3) + T (n − 4). Найдите явную формулу
для V(n), удовлетворяющей V(1) = 1 и V(n) = 2V(n − 1) + 15.
25. Числа Каталана. Выведите формулу для чисел Каталана. Приведите три
разных проявления чисел Каталана.
26. Производящие функции. Найдите компактное представление про-
изводящей функции для следующих последовательностей {sn }∞ n=0 :
(1, 1, 1, 1, 1, 1, . . . ), (1, 2, 3, 4, 5, 6, . . . ), (0, 1, 2, 3, 4, 5, . . . ), (1, 0, 1, 0, 1, 0, . . . ),
(02 , 12 , 22 , 32 , 42 , 52 , . . . ).
27. Производящие функции. Выведите формулу Бине для чисел Фибоначчи при
помощи производящих функций.
28. Производящие функции. Выведите формулу для чисел Каталана при помощи
производящих функций.