7.1

Линейно-алгебраический метод в комбинаторике

[9/67%]
Показать
LaTeX
Задача 7.1.1
[НЕТ УСЛОВИЯ]
Задача 7.1.2

Линейным подпространством называется подмножество LQnL \subset \mathbb {Q}^{n}, замкнутое относительно сложения векторов и умножения на рациональные числа. Линейное подпространство LL называется nn-мерным, если найдутся такие линейно независимые векторы v1,,vnLv_{1}, \ldots , v_{n} \in L, что любой вектор vLv \in L линейно выражается через данные векторы, т.е. найдутся числа λ1,,λnQ\lambda_{1}, \ldots , \lambda_{n} \in \mathbb {Q}, для которых v=λ1v1++λnvnv = \lambda_{1} v_{1} + \ldots + \lambda_{n} v_{n}. Число nn называют размерностью пространства LL.

Дано семейство F\mathscr {F} подмножеств множества Rn\mathscr {R}_{n}.

?
(1)

Если в каждом подмножестве из F\mathscr {F} нечётное число элементов, а в пересечении любых двух подмножеств из F\mathscr {F} чётное число элементов, то Fn\left|\mathscr {F}\right| \leq n.

(2)

Постройте пример, когда эта оценка достигается.

(3)

Если в пересечении любых двух подмножеств из F\mathscr {F} ровно qq элементов и в каждом подмножестве из F\mathscr {F} более qq элементов, то Fn\left|\mathscr {F}\right| \leq n.

(4)

Если q>0q > 0 и в пересечении любых двух подмножеств из F\mathscr {F} ровно qq элементов, то Fn\left|\mathscr {F}\right| \leq n.

Задача 7.1.3
?
(1)

Существуют 2k2^{k} подмножеств 2k2k-элементного множества, в каждом из которых чётное число элементов и в пересечении любых двух из которых чётное число элементов.

(2)

Больше чем 2k2^{k} подмножеств в условиях п. (1) быть не может.

Задача 7.1.4

Расстояние между точками пространства Rn\mathbb {R}^{n} определяется формулой

(x1,,xn),(y1,,yn):=(x1y1)2++(xnyn)2. \left|(x_{1}, \ldots , x_{n}), (y_{1}, \ldots , y_{n})\right| := \sqrt{(x_{1}-y_{1})^{2} + \ldots + (x_{n}-y_{n})^{2}}.
?
(1)

Наибольшее число точек в Rn\mathbb {R}^{n} с равными попарными расстояниями равно n+1n+1.

(2)

Постройте n(n1)2\dfrac {n(n-1)}{2} точек в Rn\mathbb {R}^{n}, попарные расстояния между которыми принимают только два различных значения.

(3)

Для aRa \in \mathbb {R} и точек v=(v1,,vn)Rnv = (v_{1}, \ldots , v_{n}) \in \mathbb {R}^{n}, x=(x1,,xn)Rnx = (x_{1}, \ldots , x_{n}) \in \mathbb {R}^{n} обозначим Pv(x):=xv2a2P_{v}(x) := \left|x-v\right|^{2} - a^{2}. Если попарные расстояния между kk точками u1,,ukRnu_{1}, \ldots , u_{k} \in \mathbb {R}^{n} равны aa, то многочлены Pu1,,PukP_{u_{1}}, \ldots , P_{u_{k}} линейно независимы над Q\mathbb {Q}.

(4)

Если попарные расстояния между kk точками в Rn\mathbb {R}^{n} принимают только два различных значения, то k(n+1)(n+4)2k \leq \dfrac {(n+1)(n+4)}{2}.

Задача 7.1.5

Для n,kZn, k \in \mathbb {Z} обозначим

Vn,k:={(x1,,xn){0,1}n:sxs=k}. V_{n,k} := \left\{ (x_{1}, \ldots , x_{n}) \in \left\{ 0,1\right\} ^{n} : \sum _{s} x_{s} = k\right\} .
?
(1)

Среди любых 327327 попарно пересекающихся 99-элементных подмножеств 2525-элементного множества найдутся два подмножества, в пересечении которых ровно 33 или ровно 66 элементов.

(2)

Среди любых 327327 точек в V25,9V_{25,9} есть две, скалярное произведение которых лежит в {0,3,6}\left\{ 0,3,6\right\}.

(3)

Для любого aV25,9\overrightarrow {a} \in V_{25,9} раскроем скобки в произведении

(a(x1,x2,,x25)1)(a(x1,x2,,x25)2), (\overrightarrow {a} \cdot (x_{1}, x_{2}, \ldots , x_{25}) - 1)(\overrightarrow {a} \cdot (x_{1}, x_{2}, \ldots , x_{25}) - 2),

где x1,x2,,x25x_{1}, x_{2}, \ldots , x_{25} — переменные. С каждым из полученных одночленов проведём следующую операцию: для каждого ii, если в одночлене есть множитель xi2x_{i}^{2}, заменим этот множитель на 11. Полученный многочлен обозначим Fa(x1,,x25)F_{\overrightarrow {a}}(x_{1}, \ldots , x_{25}). Докажите, что если скалярное произведение никаких двух векторов среди a1,,asV25,9\overrightarrow {a}_{1}, \ldots , \overrightarrow {a}_{s} \in V_{25,9} не делится на 33, то многочлены Fa1,,FasF_{\overrightarrow {a}_{1}}, \ldots , F_{\overrightarrow {a}_{s}} линейно независимы над Q\mathbb {Q}.

(4)

Укажите 326326 многочленов, линейными комбинациями которых с рациональными коэффициентами можно получить каждый многочлен FaF_{\overrightarrow {a}}, aV25,9\overrightarrow {a} \in V_{25,9}.

Задача 7.1.6
?
(1)

Среди любых 107107 пятиэлементных подмножеств 1414-элементного множества найдутся два подмножества, в пересечении которых ровно 22 элемента.

(2)

То же для 9393 подмножеств.

(3)

То же для 9292 подмножеств.

(4)

Невозможно раскрасить в 2121 цвет все пятиэлементные подмножества 1414-элементного множества так, чтобы любые два пятиэлементных подмножества, пересекающиеся ровно по двум элементам, были разноцветны.

Примечание.
?

Ср.с замечанием в задаче 5.1.4. Вот эквивалентная формулировка. Вершинами графа являются все пятиэлементные подмножества 1414-элементного множества. Его рёбрами являются пары подмножеств, пересекающиеся ровно по двум элементам. Докажите, что этот граф нельзя правильно раскрасить в 2121 цвет.

Задача 7.1.7
?
(1)

Для простого pp и целого tt число G(t):=(t1)(t2)(tp+1)G(t) := (t-1)(t-2)\ldots (t-p+1) делится на pp тогда и только тогда, когда tt не делится на pp.

(2)

Пусть pp простое и n=4pn = 4p. Обозначим

M={(1,y2,y3,,yn):yk{1,1} и среди y2,,yn число минус единиц чётно}. M = \left\{ (1, y_{2}, y_{3}, \ldots , y_{n}) : y_{k} \in \left\{ 1,-1\right\} \text{ и среди } y_{2}, \ldots , y_{n} \text{ число минус единиц чётно}\right\} .

Обозначим G(t):=(t1)(t2)(tp+1)G(t) := (t-1)(t-2)\ldots (t-p+1). Для любого aM\overrightarrow {a} \in M раскроем скобки в произведении G(a(1,x2,,xn))G(\overrightarrow {a} \cdot (1, x_{2}, \ldots , x_{n})), где x2,,xnx_{2}, \ldots , x_{n} — переменные. В каждом из полученных одночленов для каждого ii будем заменять xi2x_{i}^{2} на 11, пока это возможно. Полученный многочлен обозначим Fa(x2,,xn)F_{\overrightarrow {a}}(x_{2}, \ldots , x_{n}).

Докажите, что если скалярное произведение никаких векторов среди a1,,asM\overrightarrow {a}_{1}, \ldots , \overrightarrow {a}_{s} \in M не равно нулю, то многочлены Fa1,,FasF_{\overrightarrow {a}_{1}}, \ldots , F_{\overrightarrow {a}_{s}} линейно независимы над Q\mathbb {Q}.

(3)

Существуют nn и ограниченное подмножество в Rn\mathbb {R}^{n}, которое невозможно разбить на n+1n+1 непустых частей меньшего диаметра.

Задача 7.1.8
?
(1)

Если tt простое, то среди любых 1+j=0t1(nj)1 + \sum \limits_{j=0}^{t-1} \dbinom {n}{j} различных подмножеств nn-элементного множества, в каждом из которых kk элементов, найдутся два подмножества, число элементов в пересечении которых делится на tt.

(2)

То же, только задано целое qq и «делится на tt» заменено на «сравнимо с qq по модулю tt».

Задача 7.1.9
?
(1)

Если множество рёбер графа KnK_{n} является объединением множеств рёбер ss полных двудольных графов, не пересекающихся по рёбрам, то sn1s \geq n-1.

(2)

Постройте набор двудольных графов, на котором эта оценка достигается.

Примечание.
?

Более подробное и развёрнутое изложение можно найти в [Mk, R1], а более продвинутое — в [BF].