Известно что для любого множества b выполняется равенство

Решение некоторых задач по теории множеств

Разделы: Математика

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

Введем определение множества, а так же некоторые обозначения.

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

Множества обозначим А, В, С…, а элементы множеств а, b, с…, используя латинский алфавит.

Можно сделать такую запись определения множества:

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство” – принадлежит;
“=>“ – следовательно;
“ø” – пустое множество, т.е. не содержащее ни одного элемента.

Два множества будем называть равными, если они состоят из одних и тех же элементов

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Если любой элемент из множества А принадлежит и множеству В, то говорят, что множество А включено в множество В, или множество А является подмножеством множества В, или А является частью В, т.е. если Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство, то Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство, где “С” знак подмножества или включения.

Графически это выглядит так (рис.1):

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Можно дать другое определение равных множеств. Два множества называются равными, если они являются взаимными подмножествами.

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Рассмотрим операции над множествами и их графическую иллюстрацию (рис.2).

Объединением множеств А и В называется множество С, образованное всеми элементами, которые принадлежат хотя бы одному из множеств А или В. Слова “или ” ключевое в понимании элементов входящих в объединение множеств.

Это определение можно записать с помощью обозначений:

А υ В, где Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

где “ υ ” – знак объединения,

“ / ” – заменяет слова ”таких что“

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Пресечение двух множеств А и В называется множество С, образованное всеми элементами, которые принадлежат и множеству А, и множеству В. Здесь уже ключевое слово “и”. Запишем коротко:

А ∩ В = С, где Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

“∩“ – знак пересечения. (рис.3)

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Обозначим буквой Е основное или универсальное множество, где Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенствоA С Е (“Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство”- любо число), т.е. А Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенствоЕ = Е; АИзвестно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенствоЕ =А

Множество всех элементов универсального множества Е, не принадлежащих множеству А называется дополнением множества А до Е и обозначается Ā Е или Ā (рис.4)

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенствоЕ

Примерами для понимания этих понятий являются свойства:

А Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенствоĀ=Е Ø = Е Е Ā=Ā

Свойства дополнения имеют свойства двойственности:

АИзвестно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенствоВ = А∩В

АИзвестно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенствоВ = АUВ

Введем еще одно понятие – это мощность множества.

Для конечного множества А через m (A) обозначим число элементов в множестве А.

Из определение следуют свойства:

Для любых конечных множеств справедливы так же утверждения:

m (AИзвестно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенствоB) =m (A) + m (В) – m (А∩В)

m (A∩B) = m (A) + m (В) – m (АИзвестно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенствоВ)

А теперь рассмотрим ряд задач, которые удобно решать, используя графическую иллюстрацию.

Задача №1

В олимпиаде по математике для абитуриентов приняло участие 40 учащихся, им было предложено решить одну задачу по алгебре, одну по геометрии и одну по тригонометрии. По алгебре решили задачу 20 человек, по геометрии – 18 человек, по тригонометрии – 18 человек.

Задача № 2

Первую или вторую контрольные работы по математике успешно написали 33 студента, первую или третью – 31 студент, вторую или третью – 32 студента. Не менее двух контрольных работ выполнили 20 студентов.

Сколько студентов успешно решили только одну контрольную работу?

Задача № 3

В классе 35 учеников. Каждый из них пользуется хотя бы одним из видов городского транспорта: метро, автобусом и троллейбусом. Всеми тремя видами транспорта пользуются 6 учеников, метро и автобусом – 15 учеников, метро и троллейбусом – 13 учеников, троллейбусом и автобусом – 9 учеников.

Сколько учеников пользуются только одним видом транспорта?

Решение задачи № 1

m (АИзвестно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенствоВИзвестно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенствоС) = 3 => m (АИзвестно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенствоВИзвестно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенствоС) = 40 – 3 = 37

Обозначим разбиение универсального множества Е множествами А, В, С (рис.5).

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

К 1 – множество учеников, решивших только одну задачу по алгебре;

К 2 – множество учеников, решивших только две задачи по алгебре и геометрии;

К 3 – множество учеников, решивших только задачу по геометрии;

К 4 – множество учеников, решивших только две задачи по алгебре и тригонометрии;

К 5 – множество всех учеников, решивших все три задачи;

К 6 – множество всех учеников, решивших только две задачи, по геометрии и тригонометрии;

К 7 – множество всех учеников, решивших только задачу по тригонометрии;

К 8 – множество всех учеников, не решивших ни одной задачи.

Ответ:

5 учеников решили три задачи;

9 учеников решили только по две задачи;

23 ученика решили только по одной задаче.

С помощью этого метода можно записать решения второй и третьей задачи так:

Ответ:

Только одну контрольную работу решили 18 учеников.

Ответ:

Только одним видом транспорта пользуется 10 учеников.

Литература: А.Х. Шахмейстер «Множества. Функции. Последовательности»

Источник

Задачи вступительного экзамена в ШАД 2014

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

При поступлении в ШАД проверяются знания в рамках общей программы, включающей базовые разделы высшей алгебры, математического анализа, комбинаторики, теории вероятностей, а также основы программирования. Под катом подробно разобраны задачи вступительного экзамена в ШАД 2014 года. Внимание! Пост довольно объёмный, поэтому устраивайтесь поудобнее, вооружайтесь карандашом, если нужно, доставайте чай с печеньем. Убедитесь, что сделали все дела на вечер! Велика вероятность, что рассматриваемые ниже задачи поглотят ваш разум на несколько часов, а кому-то помешают вовремя лечь спать. Во всяком случае сегодняшний вечер обещает быть интересным. Добро пожаловать под кат

Задача 1

Найдите все квадратные вещественные матрицы порядка 3, удовлетворяющие уравнению X 2 + E = 0.

Так как характеристический многочлен матрицы X представляет собой полином (нечетной) степени 3, то он имеет по крайней мере один действительный корень и, следовательно, матрица X имеет по крайней мере одно вещественное собственное значение λ. Тогда есть ненулевой вектор v такой, что выполняется равенство:
X⋅v = λ⋅v.
Тогда, X 2 + E = 0 означает, что (X 2 + E)⋅v = 0, или X 2 ⋅v + E⋅v = 0, но
X 2 ⋅v = X⋅(X⋅v) = X⋅(λ⋅v) = λ⋅X⋅v = λ 2 ⋅v
таким образом:
(X 2 + E)⋅v = (λ 2 + 1)⋅v = 0.
Так как v – ненулевой вектор, то для выполнения равенства необходимо, чтобы λ 2 + 1 = 0, что возможно только при комплексном значении λ. Следовательно, вещественной матрицы X размерности 3×3 такой, что выполняется уравнение X 2 + E = 0 не существует.

2 способ решения
Обобщим задачу. Рассмотрим матрицу X размерности n×n. Существует теорема о произведении определителей квадратных матриц, которая формулируется следующим образом: определитель произведения двух квадратных матриц равен произведению определителей сомножителей. Тогда, если выполняется уравнение
X 2 + E = 0, обозначим это уравнение (1),
то справедливо следующее уравнение
det(X 2 ) = det(−E) , обозначим это уравнение (2).
Очевидно, что det(X 2 ) = det(X)⋅det(X) > 0 (т.к. det(X) > 0 или det(X) 2 ) = det(−E) несправедливо). Так как (−E) также является матрицей размерности n×n, то det(−E) = (−1) n . Таким образом, видим, что при четных значениях n уравнение (2) выполняется (существуют вещественные решения), а при нечетных n – не выполняется (существуют только комплексные решения). Следовательно, для нечетных n не будет выполняться и исходное уравнение (1), а значит и для n=3 равенство (1) несправедливо. Получаем тот же вывод, что и в первом способе решения задачи: вещественной матрицы X размерности 3×3 такой, что выполняется уравнение X 2 + E = 0 не существует.

Задача решена и даже несколькими способами, ниже пойдет разговор о квадратных матрицах четных порядков, т.к. для них можно найти такую, чтобы выполнялось уравнение (1). Интересно увидеть, что она будет из себя представлять.

Рассмотрим матрицу размерности 2×2, зная что в произведении на саму себя она должна дать (−E):

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Из первого и четвертого уравнений получим: (a11) 2 = (a22) 2 , обозначим это уравнение *
А из второго и третьего уравнений получим: (a12 + a21)·(a11 + a22) = 0, а это уравнение обозначим **

1 случай
a11 = a22 = a, тогда a11 + a22 ≠ 0. Из этого следует, что для выполнения равенства ** необходимо, чтобы a12 = −a21. Пусть a12 = b. Теперь можем записать произведение матриц:
Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство
Равенство для вещественных a и b будет выполняться только при a = 0, b = ±1. Таким образом искомые матрицы будут выглядеть следующим образом:
Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство
Можете убедиться, что при умножении каждой из них на саму себя получим (−E).

2 случай
a11 = −a22, тогда уравнение ** также выполняется. Обозначим a11 = a. Запишем произведение матриц:
Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство
Необходимо, чтобы выполнялось равенство a 2 + a12·a21 = −1. Выразим из последнего равенства a21 = −(1 + a 2 )/a12. Пусть a12 = b. Тогда искомая матрица будет выглядеть так:
Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство
Если из равенства a 2 + a12·a21 = −1 выразить a12 = −(1 + a 2 )/a21 и обозначить a21 = b. Тогда искомая матрица будет выглядеть так:
Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство
Также необходимо написать, что a, b ∈ R, b ≠ 0. Также можно легко убедиться, что при умножении каждой из таких матриц на саму себя получим (−E).

Видим, что первый случай, рассмотренный выше, является частным случаем второго (при a = 0, b = 1). Поэтому в общем виде то, как выглядит искомая матрица, описывает именно второй случай.

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

Задача 2

Среди участников похода из любых четырех как минимум один знаком с тремя другими. Докажите, что каждый участник похода, кроме максимум трех, знаком со всеми остальными.

Пусть n — число участников похода. Построим граф знакомств G=(V, E), в котором вершины обозначают участников похода, а ребра — их знакомства между собой. Также известно, что любой подграф C=(Vc, Ec), |Vc|=4 графа G имеет как минимум одну вершину vc, степень которой d(vc)=3 (из любых четырех как минимум один знаком с тремя другими). Необходимо доказать, что для всех вершин графа G, кроме максимум трех, степень d(v)=n-1 (каждый участник похода, кроме максимум трех, знаком со всеми остальными). Или, иначе говоря, нужно доказать, что граф G имеет полный подграф (клику) D, минимальное возможное число вершин |Vd| для которого равно n-3.

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

Здесь же у нас есть замечательное условие (1*), которое все сильно упрощает, поэтому для решения задачи необходимо построить все возможные удовлетворяющие (1*) графы (см. далее 1,2,3) и определить в них размер максимальной клики. Сделать это можно довольно быстро:

1. Если незнакомых между собой людей нет, иначе говоря, если граф знакомств G полный, то количество людей знакомых со всеми остальными равно n (максимальная клика имеет размер n).

2. Пусть некоторые две вершины графа G a,b є V несмежны, т.е. a,b незнакомы между собой. Пусть в графе G также существует еще одна пара несмежных вершин c,d є V. Тогда не выполняется условие, что в группе из любых четырех человек (например a,b,c,d) как минимум один должен быть знакомым с остальными тремя (1*). Следовательно, еще одной пары незнакомых между собой людей c,d при наличии пары a,b быть не может. Поэтому, если a,b незнакомы друг с другом, то все остальные люди (n-2 человек) знакомы между собой, подграф D имеет |Vd|=n-2 вершин (обведен синей линией на рисунке). Соответственно, если a,b знакомы со всеми остальными, то n-2 человек знакомы со всеми (вершины, соответствующие людям знакомым со всеми, раскрашены зеленым цветом) (максимальная клика имеет размер n-2):

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

3. Если a незнаком также и с с, то так как в любой группе (например a,b,c,d) только d может быть знаком с остальными тремя (ввиду того, что a незнаком с b,c), a,b,c знакомы со всеми остальными n-3 людьми, которые к тому же знакомы между собой. Таким образом, минимальное число людей знакомых со всеми n-3 (максимальная клика имеет размер n-3) ч.т.д.:

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Ниже рассмотрим простой пример для пяти участников похода. Соответственно, есть пять вариантов выбора любых четырех из них (число сочетаний из 5 по 4). В графе G a незнаком с b и c. Трое участников незнакомы со всеми остальными. Это максимум при заданном условии (1*), которое выполняется в каждом подграфе.

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Задача 3

Опишите все невырожденные вещественные матрицы A, для которых все элементы матриц A и A −1 неотрицательны.

Рассмотрим матрицы A и B размерности 2×2. Пусть B = A −1 – обратная матрица. Тогда, результатом произведения матриц A и B будет единичная матрица E:

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Рассмотрим выражения (2) и (3). Когда они обратятся в ноль при условии неотрицательности элементов? Т.к. элементы матриц A и B должны быть неотрицательны, то выполнение тождеств (2) и (3) будет осуществляться т. и т.т, когда оба слагаемых в каждом выражении будут нулевыми. Рассмотрим возможные варианты. Сразу отбросим варианты, при которых «занулятся» элементы одной строки матрицы A или столбца матрицы B, т.к. в этом случае не будет соблюдено условие невырожденности матриц. Варианты, при которых результатом произведения будет нулевая матрица также отбрасываем (a11=a22=b21=b12=0, a21=a12=b11=b22=0).

Остаётся два варианта: a12 = a21 = b12 = b21 = 0 и a11 = a22 = b11 = b22 = 0. Тогда, очевидно, чтобы выполнялись равенства (1) и (4) и результатом произведения AB была единичная матрица, возможны два варианта:
Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Рассмотрим матрицы A и B размерности 3×3:

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Рассмотрим выражения, которые должны обратиться в ноль, и проанализируем в каких случаях это происходит. Сразу же отбросим варианты равенства выражений нулю, при которых «занулятся» элементы одной строки (столбца) матрицы A (матрицы B). И т.д. по аналогии, отбросив все варианты, при которых в результате произведения AB получим нулевую матрицу. Останутся случаи, в которых ненулевые элементы в матрицах A и B окажутся на позициях, показанных красным:
Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

При перемножении матриц именно такого вида, как показано выше, возьмём например вариант:
Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство
будем получать единичную матрицу.

Т.о. можно видеть, что искомая невырожденная матрица A, состоящая из неотрицательных элементов, будет иметь обратную матрицу B из неотрицательных элементов в том случае, если в каждой строке и столбце матрицы A будет по одному ненулевому элементу, а остальные элементы строки и столбца будут нулевыми. Такое описание матрицы напоминает нам матрицу перестановок, только вместо единичных элементов в ней могут быть любые ненулевые значения. Такие матрицы называют мономиальными или обобщёнными матрицами перестановок (почитать про них можно на википедии).

Существует теорема: пусть A – неотрицательная матрица. В таком случае матрица A будет иметь неотрицательную обратную матрицу тогда и только тогда, когда A – обобщённая матрица перестановок.

Зная такую теорему заранее, задачу можно решить быстрее:)

Задача 4

Дан числовой массив длины n. Предложите алгоритм, находящий максимальное значение сумм отрезков этого массива. Ограничение по времени — O(n), по дополнительной памяти — O(1).

Рассмотрим массив a[] из n элементов
a0, a1, a2,… an-1
Будем идти по массиву и накапливать в некоторой переменной sum текущую частичную сумму. Если в какой-то момент sum окажется отрицательной, то мы просто присвоим sum = 0. Максимум из всех значений переменной sum, случившихся за время работы, и будет ответом на задачу.

Этот алгоритм называется Алгоритмом Кадана (Подробнее о нём можно почитать на википедии и здесь). Время выполнения — требуемые по условию задачи O(n), т.к. мы осуществляем один проход по массиву a[] из n элементов. Условие по дополнительной памяти — O(1) также соблюдены.

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Примеры работы программы:

Задача 5

Есть 10 монет разного веса и некоторые весы. При помощи одного взвешивания на весах можно узнать для выбранных двух монет, какая тяжелее. Можно ли за 20 взвешиваний узнать, в каком порядке монеты идут по весу?

Осуществим замену переменной в каждом из интегралов. В первом интеграле:

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Во втором интеграле:

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Таким образом, сумму интегралов можно записать в виде:

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Возьмем второй интеграл в сумме выше по частям:

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Избавляемся от противоположных друг другу слагаемых и подставляем значения пределов интегрирования в оставшееся слагаемое, получаем:

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

2 способ решения, предложенный пользователем p53

Видно же, что функции под интегралами и пределы интегрирования выбраны не случайно, а именно:

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

А значит, сумма интегралов равна сумме площадей криволинейных трапеций, которую можно представить как разность площадей двух прямоугольников:
Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Задача 7

Игра состоит из одинаковых и независимых конов, в каждом из которых выигрыш происходит с вероятностью p. Когда игрок выигрывает, он получает 1 доллар, а когда проигрывает — платит 1 доллар. Как только его капитал достигает величины N долларов, он объявляется победителем и удаляется из казино. Найдите вероятность того, что игрок рано или поздно проиграет все деньги, в зависимости от его стартового капитала k.

В нашем случае игрок A — это мы со стартовым капиталом k, игрок B — казино. Будем считать, что игрок удаляется из казино, когда выиграл у него все деньги (разорил его), т.е. N это сумма всех денег что были у игрока и у казино до начала игры. Тогда стартовый капитал игрока B (казино) составляет N–k. Таким образом, нам нужно найти вероятность Pb (того, что казино выиграет все деньги у игрока):
Pb = (1–(p/q) N–k )/(1–(p/q) N )

Решение простое и быстрое в том случае, если при взгляде на задачу №7 вы сразу говорите: «Да это же о разорении игрока, классика!» Если же нет, и вы хотите узнать почему формулы именно такие, то жмите на спойлер ниже.

Замечание: для игрока A обозначение стартового капитала i, потому что количество долларов это integer(целое) число. У игрока B стартовый капитал N−i, чтобы удобно было говорить, что мы ищем вероятность того, что у A станет N−i+i=N долларов (A выиграет у соперника).

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

При достаточно больших N можно рассматривать выражение выше, как разностное уравнение, а pi искать как его решение. Из разностного уравнения формальной заменой pi = x i получаем алгебраическое уравнение:
Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Дискриминант квадратного уравнения 1−4pq > 0 при p ≠ q. Найдём корни квадратного уравнения:
Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Так как дискриминант квадратного уравнения больше нуля, то решение разностного уравнения ищется в виде:
Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Тогда:
Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство
Подставив C1 и C2 в выражение для pi, получаем:
Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство
Чтобы получить выражение для pi при p = q, обозначим x = q/p, т.к. p = q, то x → 1. Найдём предел:
Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Таким образом, мы нашли формулу для вычисления вероятности того, что игрок A выиграет все деньги (N), в зависимости от его стартового капитала i.

Задача 8

Пусть a — действительное число. Для любого целого n ≥ 0 обозначим через an — расстояние от a до ближайшего рационального числа вида m/2 n , где m — целое. Найти наибольшую возможную сумму ряда:

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Расстояние an от действительного числа a є R до ближайшего рационального числа вида m/2 n , где m,n є Z можно легко свести к функции вида «расстояние до ближайшего целого» S(x), x є R:

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Очевидно, что значения этой функции лежат в пределах от 0 до 1/2, кроме того она является периодической. Для тех кто не успел прикинуть это в уме, вот ссылка на wolfram alpha.
Вследствие периодичности функции, для поиска максимума нам достаточно рассматривать ее на одном периоде, а именно на интервале [0,1], вместо того чтобы делать это на всей числовой оси. Неплохая оптимизация для начала)

Итак, запишем выражение для an, приведем слагаемые внутри модуля к общему знаменателю и вынесем 1/2 n , значение an при этом не изменится:

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Таким образом, исходя из определения функции S(x), получаем новое выражение для an:

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

«Можно заметить», что искомый ряд представляет собой, как «очевидно» каждому читающему этот пост, функцию Бланманже (Такаги), похожую на одноименный десерт:

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Функция (кривая) Бланманже, наряду с общеизвестной функцией Вейерштрасса, является непрерывной, но нигде не дифференцируемой функцией. Конечно, если решающий задачу знаком с ней, то он сразу может гордо писать, что это функция Бланманже и для неё, согласно теореме Кахане (3.1), максимальное значение составляет 2/3. И это готовый ответ! Беда в том, что на экзамене хоть и разрешается пользоваться печатными справочниками, информации по упомянутой функции там может попросту не оказаться. Поэтому продолжим поиски «адекватного» решения.

Итак, нам необходимо найти максимально возможную сумму ряда:

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Для наглядности, приведем здесь график функции S(x):

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Выделим в нем n-частичные суммы (фигурные скобки на рисунке выше), каждая из которых соответствует количеству итераций при построении кривой Такаги и задается выражением:

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Распишем все частичные суммы и обратим внимание на суммы с четными номерами:

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Обозначим T2(x) как S1(x) (это т.н. функция-«столешница») и заметим что для четных частичных сумм справедливо выражение:

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Ну а дальше нам на помощь приходит математическая индукция. Кахане в своем доказательстве провел аналогичные рассуждения, рассматривая четные частичные суммы, построил первые две из них T2(x) и T4(x) и по индукции пришел к выводу, что максимальное значение для T2n(x) равно:

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Тогда максимальная сумма ряда M вычисляется как сумма ряда бесконечно убывающей геометрической прогрессии:

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Ну и, собственно, сами графики для первых 6-ти итераций:

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Даже если остановиться на четвертой итерации, построение этих графиков будет делом медленным. Здесь можно построить и для других итераций, кому интересно. Однако, хотелось бы найти способ побыстрее.

Как вариант, можно применить индукцию пораньше, обратив внимание на функцию-«столешницу» S1(x). Рассмотрим опять же частичные суммы T2(x) и T4(x), и построим графики для S1(x) и S1(4x):

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Ну и максимальная сумма ряда M:

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Этот способ незначительно отличается от предыдущего, но объем построений в нем явно поменьше.

Можно решить задачу еще быстрее, применив индукцию еще раньше. Итак, вновь распишем сумму ряда:

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Видим, что все эти функции с дальнейшим увеличением частоты в 2 раза, всегда будут пересекаться в одной точке с аргуметом x=1/3 (значения функций при этом совпадут и будут равны 1/3), следовательно искомая сумма ряда будет принимать максимальное значение именно в этой точке:

Известно что для любого множества b выполняется равенство. Смотреть фото Известно что для любого множества b выполняется равенство. Смотреть картинку Известно что для любого множества b выполняется равенство. Картинка про Известно что для любого множества b выполняется равенство. Фото Известно что для любого множества b выполняется равенство

Задача, бесспорно, красивая, но лучше не увлекаться ее красотой на экзамене, а решить побыстрее.

Источник

Добавить комментарий

Ваш адрес email не будет опубликован. Обязательные поля помечены *