10 июня 2012

  1. Даны гирек разной массы. Они разбиты на две группы (по в каждой), внутри которых упорядочены по массе. Предложите способ за взвешиваний найти -ю гирьку по массе среди всех.
    Решение
    Сравним массы -их по массе гирек в этих группах. Пусть, для определенности, . Тогда гирьки, которые легче в ее группе (+ сама ) и тяжелее в ее группе не могут быть -ми по массе, поэтому выкидываем их из групп. В результате такого шага у нас остались две группы по гирьки. Продолжая аналогичные рассуждения (в случае нечетного числа гирек в группе легкую при сравнении не выкидываем), за шагов у нас останется по одной гирьке в каждой группе и та, которая легче, и будет искомой.
  2. Вычислите .
    Решение
    Заметим, что Используя основное тригонометрическое тождество, получаем Тогда
    Ответ
    .
  3. Докажите, что многочлен с действительными коэффициентами, принимающий на действительной оси только положительные значения, может быть представлен в виде суммы квадратов многочленов с действительными коэффициентами.
    Решение
    Из следует, что у многочлена нет вещественных корней. Поскольку коэффициенты многочлена действительные, для любого комплексного корня комплексно-сопряженное число также является корнем. Поэтому многочлен можно представить в виде: Попарно раскрывая скобки получим следующий вид выражения: Выделим полный квадрат в каждом из квадратичных множителей: Заметим, что для любого , поскольку иначе у выражения были бы действительные корни. Значит, мы можем написать , где — некоторое действительное число. Тогда Как видим, при раскрытии скобок мы получим сумму квадратов многочленов с действительными коэффициентами, что и требовалось доказать.
  4. Какую наибольшую дисперсию может иметь случайная величина, принимающая значения на отрезке от до ?
    Решение
    , где — произвольная монотонная функция распределения, а интегралы берутся в смысле Римана-Стилтьеса. Очевидно, что неравенство превращается в равенство в случае, если описывает распределение Бернулли с параметром .
    Ответ
    .
  5. В множестве из человек каждый может знать или не знать другого (если знает , отсюда не следует, что знает ). Все знакомства заданы булевой матрицей . В этом множестве может найтись или не найтись знаменитость — человек, который никого не знает, но которого знают все. Предложите алгоритм, который бы находил в множестве знаменитость или говорил, что ее в этом множестве нет. Сложность по времени — , сложность по памяти — .
    Решение
    Для определенности положим Заметим, что если , то -ый не может быть знаменитостью, а если , то -ый не может быть знаменитостью. Таким образом, за одну проверку можно исключить одного человека из кандидатов в знаменитости.
    Сначала пусть , а пробегает значения от до . Если в какой-то момент , то приравниваем . Тогда значение после последней проверки — номер единственного оставшегося кандидата. Чтобы проверить, является ли этот кандидат знаменитостью, нужно провести еще проверок, знают ли его остальные, и проверок, знает ли он остальных. Всего будет проведено проверок, следовательно, сложность по времени — . Поскольку мы использовали только переменные, сложность по памяти — .
  6. Рассмотрим случайную перестановку на элементах. Докажите, что данные элементов окажутся в одном цикле с вероятностью .
    Решение
    Будем генерировать случайную подстановку немного нестандартным образом. Сначала равновероятно выберем случайную перестановку, а затем сопоставим ей циклы, заканчивающиеся на элементах в порядке тривиальной перестановки. Например, для перестановок из элементов Рассмотрим самый правый элемент из элементов под номерами в такой записи. Любой из этих элементов может с одинаковой вероятностью быть самым правым. Чтобы данные элементов лежали в одном цикле, самым правым из них может быть только элемент под номером . Поэтому искомая вероятность равна .
    Решение 2
    Посчитаем, для начала, вероятность того, что данные элементов окажутся в цикле длины . Всего перестановок , циклов , перестановок из оставшихся элементов . Тогда такая вероятность равна Пусть теперь они оказались в цикле длины . Тогда мы дополнительно выбираем элементов из и вероятность становится Полная вероятность равна сумме
  7. Есть неизвестная нам квадратичная форма в -мерном пространстве. Разрешается задавать вопрос вида «Чему равно ?». Какое минимальное число вопросов надо задать, чтобы определить, является ли форма положительно определенной?
    Решение
    Пусть квадратичная форма записана в базисе . Понятно, что если ответ на какой-то вопрос будет неположительным, то форма не положительно определенная. Задав вопросов можно найти все коэффициенты (например, сначала находим диагональные, затем все остальные) и определить, является ли форма положительно определенная. Докажем, что за меньшее число вопросов сделать мы этого не сможем.

    Каждый вопрос дает нам линейное уравнение на коэффициенты. Если мы задали вопросов меньше, чем число коэффициентов, какие-то коэффициенты будет неопределены. Пусть неопределен диагональный коэффициент . Тогда ответ на вопрос может быть отрицательным, а значит мы не можем быть уверены в положительной определенности. Пусть теперь все диагональные коэффициенты известны и положительны, а некоторый недиагональный коэффициент неопределен. Тогда ответ на вопрос может быть отрицательным.
    Ответ