Линейно-алгебраический метод в комбинаторике
[9/67%]Линейным подпространством называется подмножество , замкнутое относительно сложения векторов и умножения на рациональные числа. Линейное подпространство называется -мерным, если найдутся такие линейно независимые векторы , что любой вектор линейно выражается через данные векторы, т.е. найдутся числа , для которых . Число называют размерностью пространства .
Дано семейство подмножеств множества .
Если в каждом подмножестве из нечётное число элементов, а в пересечении любых двух подмножеств из чётное число элементов, то .
Постройте пример, когда эта оценка достигается.
Если в пересечении любых двух подмножеств из ровно элементов и в каждом подмножестве из более элементов, то .
Если и в пересечении любых двух подмножеств из ровно элементов, то .
Существуют подмножеств -элементного множества, в каждом из которых чётное число элементов и в пересечении любых двух из которых чётное число элементов.
Больше чем подмножеств в условиях п. (1) быть не может.
Расстояние между точками пространства определяется формулой
Наибольшее число точек в с равными попарными расстояниями равно .
Постройте точек в , попарные расстояния между которыми принимают только два различных значения.
Для и точек , обозначим . Если попарные расстояния между точками равны , то многочлены линейно независимы над .
Если попарные расстояния между точками в принимают только два различных значения, то .
Для обозначим
Среди любых попарно пересекающихся -элементных подмножеств -элементного множества найдутся два подмножества, в пересечении которых ровно или ровно элементов.
Среди любых точек в есть две, скалярное произведение которых лежит в .
Для любого раскроем скобки в произведении
где — переменные. С каждым из полученных одночленов проведём следующую операцию: для каждого , если в одночлене есть множитель , заменим этот множитель на . Полученный многочлен обозначим . Докажите, что если скалярное произведение никаких двух векторов среди не делится на , то многочлены линейно независимы над .
Укажите многочленов, линейными комбинациями которых с рациональными коэффициентами можно получить каждый многочлен , .
Среди любых пятиэлементных подмножеств -элементного множества найдутся два подмножества, в пересечении которых ровно элемента.
То же для подмножеств.
То же для подмножеств.
Невозможно раскрасить в цвет все пятиэлементные подмножества -элементного множества так, чтобы любые два пятиэлементных подмножества, пересекающиеся ровно по двум элементам, были разноцветны.
Ср.с замечанием в задаче 5.1.4. Вот эквивалентная формулировка. Вершинами графа являются все пятиэлементные подмножества -элементного множества. Его рёбрами являются пары подмножеств, пересекающиеся ровно по двум элементам. Докажите, что этот граф нельзя правильно раскрасить в цвет.
Для простого и целого число делится на тогда и только тогда, когда не делится на .
Пусть простое и . Обозначим
Обозначим . Для любого раскроем скобки в произведении , где — переменные. В каждом из полученных одночленов для каждого будем заменять на , пока это возможно. Полученный многочлен обозначим .
Докажите, что если скалярное произведение никаких векторов среди не равно нулю, то многочлены линейно независимы над .
Существуют и ограниченное подмножество в , которое невозможно разбить на непустых частей меньшего диаметра.
Если простое, то среди любых различных подмножеств -элементного множества, в каждом из которых элементов, найдутся два подмножества, число элементов в пересечении которых делится на .
То же, только задано целое и «делится на » заменено на «сравнимо с по модулю ».
Если множество рёбер графа является объединением множеств рёбер полных двудольных графов, не пересекающихся по рёбрам, то .
Постройте набор двудольных графов, на котором эта оценка достигается.
Более подробное и развёрнутое изложение можно найти в [Mk, R1], а более продвинутое — в [BF].