На днях завершился Яндекс.Алгоритм 2017 — наш чемпионат по спортивному программированию. В финальном раунде 25 финалистам нужно было за два с половиной часа решить шесть задач. Первое место вновь завоевал Геннадий Короткевич из питерского ИТМО — это уже четвёртая его победа после состязаний 2013, 2014 и 2015 года. Никола Йокич из Швейцарской высшей технической школы Цюриха и выпускник Университета Токио Макото Соэдзима стали вторым и третьим, повторив свои прошлогодние результаты. Вот как распределились денежные призы: победа — 300 тысяч рублей, второе место — 150 тысяч, третье — 90 тысяч. 
 Заявки на участие в Алгоритме 2017 подали 4840 человек. Более 60% из них — россияне. На втором месте по количеству заявок — Беларусь, далее следуют Украина, Индия и Китай. В общей сложности на чемпионат зарегистрировались жители нескольких десятков стран, включая Сингапур, Камерун, Венесуэлу и Перу. Мы по традиции публикуем формулировки и разобранные решения задач финала. Автор задачи: Глеб Евстропов (Яндекс, НИУ ВШЭ).  Порядком устав от соревнований по программированию и решения алгоритмических задач, Аркадий решил взять небольшую паузу и кардинально сменить род деятельности. Нашего героя всегда тянуло в горы, поэтому, используя заработанные на различных соревнованиях призовые деньги, он прикупил себе небольшой горнолыжный курорт и занялся его подготовкой к зимнему сезону. Единственная имеющаяся трасса состоит из  контрольных пунктов, пронумерованных от  до . Контрольный пункт  находится на высоте , причём никакие два пункта не находятся на одной высоте. Поскольку на трассе только один подъёмник, то спуск всегда начинается в контрольном пункте номер  и заканчивается в контрольном пункте номер . Некоторые  пар контрольных пунктов соединены участками трассы, которые ведут от более высокого контрольного пункта к более низкому. Привлекательность участка трассы, непосредственно соединяющего контрольный пункт  с контрольным пунктом , равна разности высот пунктов, то есть . При этом привлекательностью маршрута, последовательно посещающего контрольные пункты , называется минимальная из привлекательностей его участков, то есть минимум среди величин . Туристов, посещающих курорт Аркадия, с одной стороны волнует привлекательность маршрута, а с другой — его длина, которая определяется как количество участков трассы в маршруте. Поскольку Аркадий уже не силён в решении подобного рода задач, то именно вам придётся вычислить для каждой возможной длины маршрута  от  до  максимально возможную привлекательность маршрута из  в , имеющего длину не менее . В первой строке входных данных записаны четыре целых числа , ,  и  (, , , ) — количество контрольных пунктов на трассе, количество участков трассы, номер стартового контрольного пункта и номер финишного контрольного пункта соответственно. Во второй строке записаны  различных целых чисел  () — высоты, на которых расположены контрольные пункты. Далее следуют  строк, описывающих участки трассы. В -й из них записаны два числа  и  (, ), означающих, что -й участок трассы идёт от контрольного пункта  к контрольному пункту . Гарантируется, что никакие два участка трассы не соединяют напрямую одну и ту же пару контрольных пунктов, что высота контрольного пункта  больше высоты контрольного пункта , и что существует хотя бы один маршрут от контрольного пункта  до контрольного пункта . Выведите  чисел по одному в строке, -е из которых должно равняться максимально возможной привлекательности маршрута из  в , имеющего длину не меньше . Если для некоторого  не существует маршрута длиной не меньше , то выведите в соответствующей строке . В первом примере существует прямой участок трассы из стартового контрольного пункта в конечный. Привлекательность такого маршрута равна , а длина . Также существует путь длины , проходящий через контрольные пункты , ,  и , c привлекательностью равной . Для  ответом будет являться данный путь длины , поскольку это самый привлекательный путь длиной не менее . Заметим, что поскольку все контрольные пункты расположены на различных высотах и все участки трассы идут от более высоких пунктов к более низким, то граф ацикличен. Найдём его топологическую сортировку (например, просто отсортировав вершины по высоте) и будем далее работать с ней. Опишем два способа решить задачу за квадратичное время. Способ первый: перебрать все возможные значения  увлекательности маршрута, после чего оставить в графе только рёбра , такие что  и найти самый длинный путь из  в , использующий только такие рёбра. Время работы такого решения — , где . Второй способ: динамическое программирование  — максимально возможная увлекательность маршрута длины  из  в . Чтобы вычислить значение  рассмотрим все выходящие рёбра  и используем релаксацию . Время работы такого решения — . Заметим, что первое из описанных квадратичных решений быстро найдёт ответ для путей с маленькой увлекательностью, а второе решение лучше подойдёт для коротких путей, и попробуем скомбинировать эти два подхода. Действительно, для пути длины  верно, что его увлекательность не превосходит , и наоборот, путь увлекательностью  не может иметь длину, больше чем . Введём параметр . Для любого пути из  в  справедливо, что либо его длина, либо его увлекательность не превосходят . Применим оба решения из второго абзаца, запуская первое только для , а во втором используя только значения . Итоговая сложность полученного решения: . Отметим, что при желаниии такое решение можно реализовать с использованием  дополнительной памяти.  Автор задачи: Максим Ахмедов (Яндекс, МГУ, НИУ ВШЭ). Дисклеймер: ситуация, описываемая в задаче, имеет мало отношения к реальному проекту беспилотного автомобиля и является исключительно плодом фантазии авторов соревнования. Как известно, компания Яндекс с недавних пор занимается разработкой беспилотного автомобиля, в чём некоторые из участников финала соревнования, присутствующие в Москве, имеют шанс убедиться лично. Производство беспилотного автомобиля невозможно без тщательного тестирования на специально оборудованном полигоне. В рамках данной задачи вам будет предложено проверить возможности для перемещения беспилотного автомобиля по полигону, имеющему вид дерева.  Полигон состоит из  площадок, соединённых  дорогами. Площадки пронумерованы числами от  до , а беспилотный автомобиль исходно находится на -й площадке. Цель тестирования состоит в том, чтобы провести за минимальное время автомобиль по маршруту, проходящему по каждой из площадок хотя бы раз, если известно, что автомобиль проезжает одну дорогу за одну минуту, а временем на повороты и развороты можно пренебречь. Задача осложняется тем, что в рамках данного эксперимента навигация может осуществляться только по специальным радиомаякам. На каждой площадке находится радиомаяк, причём заряда включённого радиомаяка, расположенного на площадке , хватает ровно на  минут. Будучи выключенным, радиомаяк не тратит заряд. Изначально все радиомаяки выключены. Процесс перемещения устроен следующим образом. В один момент времени может быть включён только один радиомаяк. Если в начале минуты автомобиль находится на площадке , а радиомаяк расположен на площадке  и включён в течение  минут, то автомобиль перемещается по  дорогам в сторону уменьшения расстояния до площадки . Если автомобиль уже находится на одной площадке с радиомаяком, то ничего не происходит. Каждый радиомаяк можно включать на целое количество минут произвольное количество раз. Определите, можно ли составить план включения-выключения радиомаяков таким образом, чтобы автомобиль посетил все площадки хотя бы по одному разу, и если да, то найдите минимальное необходимое количество минут для этого. Возвращаться на исходную площадку не требуется. В первой строке находится целое число  () — количество площадок. Во второй строке находятся целые числа  (), где  — количество минут, на которое хватает заряда в радиомаяке на площадке . В последующих  строках находятся описания дорог, каждое из которых состоит из двух целых чисел  и  (, ) — номеров соединяемых площадок. Если требуемое возможно, выведите единственное целое число — минимальное время, необходимое для посещения всех площадок. В противном случае выведите число . В первом тесте из условия подходит, например, следующий маршрут: Таким образом за 9 минут можно посетить все площадки. Данная задача предлагает разобраться с тем, как можно перемещаться по дереву с использованием необычных правил перемещения. Вместо используемого в легенде задачи автомобиля будем считать, что на дереве расположена фишка, а в вершинах дерева расположены кнопки, причём нажатие одной кнопки эквивалентно включению радиомаяка на 1 секунду. Таким образом, у нас имеется дерево, в вершине 1 которого находится фишка, в котором также имеется набор кнопок: в вершине  находится  кнопок, нажимая на которые, надо провести автомобиль по всему дереву. Полезным приёмом при решении задачи часто оказывается рассмотрение более простой задачи, отличающейся на какую-то незначительную деталь. В данном случае полезно рассмотреть постановку, в которой фишка в конце должна обязательно вернуться в стартовую вершину. Отличительной деталью данной постановки является то, что в такой постановке по каждому ребру фишка будет обязана пройти минимум два раза (в одну и в другую сторону), что неверно для исходной задачи. По ряду причин такая задача проще исходной. Заметим, что после выбора маршрута для корректного его прохождения необходимо сопоставить каждому перемещению по ребру свою кнопку в части дерева, находящейся за концом проходимого ребра. Легко видеть, что оптимальный искомый маршрут будет проходить по каждому ребру не просто минимум два раза, а, на самом деле, ровно два раза, так как в противном случае нам понадобится сопоставлять кнопки большему числу рёбер, что заведомо сложнее. Обратно, если мы смогли сопоставить каждому ориентированному ребру свою кнопку, то тогда можно рассмотреть произвольный т.н. эйлеров обход дерева, а дальше, используя имеющееся сопоставление, успешно совершить этот обход. Значит, ответ на нашу задачу (в упрощённой постановке) всегда  (такова длина любого эйлерова обхода дерева), и единственное, что надо проверить — что существует сопоставление кнопок рёбрам, удовлетворяющее условию, что ребру соответствует кнопка в поддереве, на которое указывает данное ребро. Данная задача является, на самом деле, задачей о паросочетании в двудольном графе (одной долей которого является множество ориентированных рёбер, а другой — множество кнопок), насыщающего одну из долей. На вопрос о наличии подобного паросочетания даёт ответ классический факт теории паросочетаний, известный как лемма Холла.  Введём обозначения — пусть  это множество ориентированных рёбер дерева,  — множество кнопок, а  для  это множество кнопок, которые находятся в поддереве, на которое указывает ребро  (формально говоря, кнопка  тогда и только тогда, когда конец ребра  лежит между началом ребра  и кнопкой ). Тогда лемма Холла гласит, что искомое нами паросочетание существует тогда и только тогда, когда для любого набора ориентированных рёбер  в объединении поддеревьев всех рёбер в  присутствует не меньше кнопок, чем рёбер в множестве :    В противном случае, поступим похожим образом. Если , то аналогичным образом можно добавить в  все рёбра, которые лежат в поддереве  и смотрят в ту же сторону, что и  (то есть, добавление которых не приводит к случаю, описанному выше). Действительно, добавление таких рёбер не изменяет множества покрываемых поддеревьями кнопок, а значит, это только усиливает проверяемое нами условие. Теперь понятно, какую структуру имеет множество  и соответствующее ему множество кнопок . Множество  состоит из набора непересекающихся поддеревьев, в каждом из которых взяты все рёбра, смотрящие в направлении от корня поддерева, а  является объединением кнопок по всем этим поддеревьям. Заметим, что если всё множество  не удовлетворено (то есть, ), то тогда хотя бы в одно из поддеревьев в составе  тоже не удовлетворено, иначе можно суммированием соответствующих неравенств для всех поддеревьев показать, что множество  тоже должно быть удовлетворено. Значит, мы окончательно поняли, для каких подмножеств  достаточно проверять критерий из леммы Холла: достаточно рассмотреть  подмножества, каждое из которых задаётся "корневым" ориентированным ребром , и содержит все рёбра, смотрящие в направлении  в поддереве . Опять же, у неравенства для данного подмножества есть понятный физический смысл — необходимо, чтобы для любого поддерева кнопок в нём было не меньше, чем неориентированных рёбер в нём плюс один (здесь плюс один берётся от самого корневого ребра). Обозначим это условие для ориентированного ребра  за . Условие  очевидно можно проверить за линейное время. Условий  самих по себе линейное количество, но несложным предподсчётом размеров поддеревьев дерева и количеств кнопок в них все условия можно проверить за линейное время в совокупности. Таким образом, мы научились решать упрощённую версию задачи. Вернёмся к исходной — её отличает от нашей то, что теперь не по каждому ребру мы пройдём в обоих направлениях. Легко видеть, что наш путь теперь характеризуется финальной вершиной , которая обязательно будет листовой, и тогда из множества посещаемых нами ореинтированных рёбер исчезнут рёбра, лежащие на пути от  до стартовой вершины . Подвесим дерево за вершину , тогда по-другому можно сказать, что исчезнут все восходящие рёбра от  до . Аналогичным образом применим критерий Холла и посмотрим, что изменится. Рассуждение про рёбра, смотрящие друг на друга, по-прежнему верно, и оно даёт нам условие : ориентированных рёбер, которые мы пройдём, должно быть не больше, чем кнопок всего. Отметим здесь, что мы пройдём ровно  рёбер, таким образом, это условие задаёт нижнюю границу на глубину искомой терминальной вершины :  (заметим, что это условие может быть выполнено автоматически, если ). Рассуждение про независимую проверку критерия для подномжеств, задаваемых ориентированным ребром и всеми, которые лежат в его поддереве, по-прежнему верно, но теперь чуть-чуть изменится форма этих подмножеств. А именно, если  — ребро, смотрящее вниз, то для него ничего не поменяется (потому как у нас по сравнению с упрощённой задачей исчезли только рёбра, смотрящие вверх). Если же  — ребро, смотрящее вверх, то в зависимости от выборе вершины  ребро  может либо исчезнуть из двудольного графа (тогда соответствующее ему условие просто проверять не надо), либо же, левая часть соответствующего ему условия уменьшится на количество выпавших рёбер, которые лежат в поддереве  и смотрят в ту же сторону, что и . Нетрудно понять, что величина уменьшения левой части составляет , где  — наименьший общий предок ребра  и терминальной вершины  в подвешенном дереве с корнем в . Таким образом, мы имеем набор условий следующего вида:   Для рёбер, смотрящих вниз:   Для рёбер, смотрящих вверх:   Условия  проверим за линейное время сразу, так как они не зависят от выбора . Оставшиеся два вида условий переформулируем в виде условия на положение вершины . , как уже было отмечено, эквивалентно тому, что вершина  достаточно низко, то есть, находится на глубине минимум . Условие , оказывается, эквивалентно принадлежности  некоторому поддереву нашего дерева: действительно, перенеся в левую часть неравенства  слагаемое , получим ограничение снизу на глубину вершины, в которой путь до  ответвляется от пути до . Это означает, что  должно быть ниже ()-й вершины на пути от  до , что тоже является условием принадллежности некоторому поддереву. Заметим, что набор условий вида " принадлежит заданному поддереву" можно проверить за линейное время — достаточно обойти дерево, поддерживая количество удовлетворённых условий, и следить за вершинами, к которых это количество совпадает с количеством условий вообще. Наконец, надо из всех подходящих вершин выбрать самую глубокую, проверить в ней выполнение условия , и она и будет искомым ответом. Данное решение можно реализовать за линейное время от входных данных. Автор задачи: Максим Ахмедов (Яндекс, МГУ, НИУ ВШЭ). Плотность неориентированного графа — естественная величина, полагаемая равной отношению количества рёбер к количеству вершин. Важной задачей при изучении различных графов, берущихся, в том числе, из реальной жизни (таких, как граф отношения дружбы в социальной сети, граф соавторства в научной среде или сеть белок-белковых взаимодействий в биоинформатике), является нахождение плотных подграфов — то есть, таких наборов вершин, что сужение графа на этот набор имеет высокую плотность. Нахождение подграфов высокой плотности является хорошо изученной, но довольно сложной задачей, а мы предложим вам необычный взгляд на этот сюжет — мы предложим найти подграф не менее чем заданной плотности. Рассмотрим неориентированный граф, состоящий из  вершин, пронумерованных целыми числами от  до , и  рёбер . Пусть задан набор из  неотрицательных вещественных чисел , удовлетворяющий условию . Положим:   Требуется найти подграф данного графа, имеющий плотность по меньшей мере . Формально, требуется найти такое непустое множество вершин , что , где . В первой строке находятся два целых числа  и  (, ), количество вершин и рёбер в графе. Во второй строке находятся  вещественных чисел  (, ), заданных с не более чем шестью знаками после десятичной точки. В -й из последующих  строк находятся два целых числа  (, ), задающих вершины, соединённые -м ребром графа. Гарантируется, что в графе отсутствуют кратные рёбра и петли. Гарантируется, что в графе существует подграф, удовлетворяющий требованию задачи. В первой строке выведите целое число  () — количество вершин в искомом множестве . Во второй строке выведите  целых чисел  — номера вершин, образующих подграф плотности хотя бы .  Ваш ответ будет признан корректным, если плотность выведенного вами подграфа не меньше, чем . Вершины разрешается выводить в любом порядке. Если возможных ответов несколько, разрешается вывести любой правильный. В первом тесте из условия:  В подграфе, состоящем из вершин ,  и , присутствует единственное ребро , поэтому его плотность равна . Во втором тесте из условия:   В подграфе, состоящем из вершин , присутствует 5 рёбер , поэтому его плотность равна . Отметим очевидный факт: если бы мы могли эффективно найти подграф максимальной плотности в данном нам графе, он бы точно подходил в качестве ответа вне зависимости от набора значений  (так как нам гарантируется, что ответ существует). Однако, раз задача нахождения подграфа наибольшей плотности является довольно трудной, о чём нам явно сказано в условии задачи, значит, надо каким-то образом использовать данные нам значения  в качестве подсказки. Верен следующий факт. Положим . Утверждается, что ответ всегда можно найти среди всевозможных , то есть, среди подграфов, образованных каким-то суффиксом вершин в порядке сортировки по  всегда есть хотя бы один подграф плотности не меньше . Покажем этот факт. Положим, аналогично, . Рассмотрим функцию . Будем рассуждать от противного — предположим, что она строго меньше нуля в каждой точке полуинтервала  (что как раз значит, что для любого  плотность подграфа , равная  строго меньше ).  Обозначим за  максимальное из чисел . Тогда . Однако верна следующая цепочка равенств:   Таким образом, мы получаем противоречие, значит, хотя бы в одной точке полуинтвервала  верно неравенство , что доказывает наше утверждение. Таким образом, решение принимает следующий вид: упорядочиваем вершины по убыванию , добавляем вершины одну за одной и поддерживаем количество вершин в текущем подграфе. Если плотность стала не меньше , выводим ответ. Сложность получившегося решения — . Автор задачи: Михаил Тихомиров (МФТИ) На витрине магазина выложено  шляп, пронумерованных слева направо от  до . Шляпы бывают трёх видов: мужские, женские и универсальные. В магазин по очереди заходят покупатели, причём каждый следующий покупатель может оказаться как мужчиной, так и женщиной.  Каждый покупатель идет вдоль витрины слева направо и выбирает первую подходящую ему шляпу. Так, покупатель-мужчина выберет самую левую среди мужских и универсальных шляп, а покупатель-женщина выберет самую левую среди женских и универсальных шляп. Если ни одной подходящей шляпы на витрине нет, покупатель уходит без покупки. Каждый раз, когда кто-то покупает одну из шляп, продавец записывает номер купленной шляпы. К концу дня все шляпы были раскуплены, и у продавца оказалась записана перестановка чисел от  до . Сколько существует возможных вариантов этой перестановки? Так как ответ может быть довольно большим, определите остаток от его деления на . В первой строке записано одно целое число  () — количество шляп на витрине. Во второй строке записано  символов — типы шляп в порядке нумерации. Символ "M" означает мужскую шляпу, символ "W" — женскую шляпу, а символ "U" — универсальную шляпу. Выведите остаток от деления ответа на . В первом примере первый покупатель обязательно купит первую шляпу (независимо от пола). Оставшиеся две шляпы могут быть куплены в любом порядке. Во втором примере возможны следующие перестановки: , , , . В каждый момент времени должно быть продано сколько-то самых левых мужских, женских и универсальных шляп, поэтому можно придумать простое решение за  методом динамического программирования: посчитать количество  — сколько существует способов оказаться в конфигурации, в которой продано  первых мужских,  первых женских и  первых универсальных шляп. Оказывается, что только  состояний в этой схеме ДП достижимо. Мы приведем другое решение при помощи ДП. В текущей конфигурации обозначим  и  позиции самых левых непроданных шляп, которые подходят мужчинам и женщинам соответственно (если подходящих шляп не осталось, положим соответствующий индекс равным ). Легко убедиться, что все универсальные шляпы левее позиции  обязаны быть проданными. Предположим, что . Если мужчина купит шляпу, то мы просто подвинем индекс  на ближайшую слева подходящую шляпу. Однако, если шляпу купит женщина, то мы должны двигать вперед , пропуская универсальные шляпы. Кроме того, если , то -ая шляпа универсальная и следующий покупатель (независимо от пола) ее купит, поэтому единственный ход — двигать  и  одновременно до ближайших подходящих позиций. В результате получаем решение с асимптотикой . Автор задачи: Олег Христенко (МГУ, МФТИ). На одной планете в далёкой галактике существует следующая легенда: В начале времён демиург Ян Декс создал на самой высокой горе мира храм. В центре храма есть алтарь, на котором лежит куча из  драгоценных камней. Каждое утро два жреца — учитель и ученик — начинают делить эти камни, беря ненулевое количество камней из кучки по очереди. Учитель делает первый ход; при этом ученик ни в какой момент времени не может иметь больше камней, чем учитель. В итоге камни должны быть поделены поровну, а на алтаре не должно остаться ни одного камня.  В момент, когда жрецы не смогут выполнить задание или же в точности повторят все действия, сделанные при дележе в какой-то из предыдущих дней, злой дух-разрушитель Баг выйдет на свободу и разрушит планету. По заданному количеству камней  вычислите максимально возможное время существования этого мира с момента начала времён и до пришествия Бага. Так как ответ может быть очень большим, выведите его остаток от деления на .  Единственная строка ввода содержит одно целое число  () — количество драгоценных камней на алтаре. Выведите одно целое число — максимальное возможное время существования планеты в соответствии с легендой в днях по модулю . Данная задача является самой простой задачей соревнования. Фактически, в ней надо увидеть необычную переформулировку известной математической конструкции. Переформулируем процесс деления камней. Будем считать, что учитель и ученик ходят не по очереди, а в произвольном порядке, но по-прежнему выполняется условие, что ни в один момент времени количество камней у ученика не превзойдёт количество камней у учителя. Нетрудно видеть, что такая переформулировка является эквивалентной — каждому варианту развития событий исходной задачи взаимно однозначно соответствует вариант развития событий переформулированной задачи. Теперь легко видеть, что условие на количества камней эквивалентно условию правильности скобочной последовательности строки, в которой символ \texttt{'('} соответствует взятию камня учителем, а символ \texttt{')'} соответствует взятию камня учеником. Как хорошо известно из комбинаторики, количество правильных скобочных последовательностей длины  равно -му числу Каталана, формула для которого выглядит как . Теперь необходимо аккуратно произвести вычисления по модулю , и получить ответ на задачу, не забыв разобрать случай, когда число  нечётно и ответ, очевидно, 0. Автор задачи: Lewin Gan (Dropbox) Алиса и Боб играют со списком из  целых чисел . Сначала Алиса выбирает положительное целое число  (не обязательно из списка) и сообщает его Бобу. Затем Алиса и Боб по очереди совершают ходы, забирая себе целые числа из списка до тех пор, пока список не станет пустым, первым ходит Боб. В конце игры определяется, может ли Алиса выбрать среди её чисел подмножество с поразрядной -суммой ровно , и если да, она выигрывает, а иначе выигрывает Боб. Помогите Алисе определить, для каких значений  она может выиграть в этой увлекательной игре. В первой строке находится единственное целое число  (). В следующей строке находятся  целых чисел  (). Выведите единственное целое число — количество значений , при которых выигрывает Алиса. В следующей строке выведите  целых чисел в возрастающем порядке, обозначающих значения , при которых Алиса выигрывает. В первом примере Алиса может выиграть, выбрав в качестве  любое из чисел ,  и . К примеру, предположим, Алиса выбирает . У Боба нет иного выбора, кроме как взять , иначе Алиса сама возьмёт  и тут же выиграет. Алиса ответит, взяв . После этого Боб и Алиса возьмут по одному числу , и Алиса сможет представить  в виде . Сначала введём некоторые обозначения: Предположим, у Алисы на текущий момент имеется множество . Мы покажем, что данное состояние является выигрышным для Алисы тогда и только тогда, когда существуют два непересекающихся множества  и  оставшихся чисел, такие что  и . Можно считать, что ни один элемент из  и  не лежит в , так как их удаление не меняет  объединения с . Предположим, существуют два непересекающихся подмножества  такие что  и , и покажем, что у Алисы есть выигрышная стратегия. Докажем это утверждение индукцией сначала по , а затем по количеству оставшихся чисел. Если эта величина равна 0, то  уже принадлежит , то есть Алисы выиграла. Для шага индукции предположим, что имеются два требуемых непересекающихся множества . Если Боб не берёт ничего из  или , то Алисе подходит любой возможный ход. Действительно, если Алиса тоже возьмёт число не из  и , то прежние подмножества  и  будут подходить, однако количество чисел уменьшится, значит, по предположению индукции состояние будет выигрышным. Если же Алиса возьмёт число  из, например, , то  так как . Значит, можно воспользоваться предположением индукции для . Предположим, Боб возьмёт число  из . Из предположения в начале задачи, , поэтому . Из линейной алгебры известно, что, раз  и  порождают одно и то же линейное пространство и , то существует такой элемент  в , что . Таким образом, можно воспользоваться предположением индукции для . Теперь докажем в обратную сторону. Предположим, у Алисы на текущий момент есть множество , а также у Алисы имеется выигрышная стратегия. Тогда мы покажем, что существуют непересекающиеся множества оставшихся чисел , такие что  и . Будем считать раундом игры ход Боба, за которым следует ход Алисы. Будем вести индукцию по количеству раундов, которые Алисе предстоит провести, чтобы выиграть игру. Как окажется, это будет эквивалентно ведению индукции по  (заметим, что  нам пока здесь не известно, наша цель — продемонстрировать его существование). Если , то есть, до победы 0 ходов, то подходят два пустых (не пересекающихся по определению) множества  и . Предположим, что . Предположим, что если Боб на своём ходу удалит некоторое число , то тогда у Алисы есть возможность взять число  и выиграть. По предположению индукции существуют два подмножества  и , такие что  и . Дополнительно, мы можем предположить, что  (в противному случае можно сразу положить , ). Рассмотрим случай, в котором Боб, наоборот, возьмёт число . Алиса должна иметь возможность взять некоторое число  и выиграть. Таким образом, также существуют два непересекающихся множества  и , такие что  и  (и, аналогично, ). Мы знаем, что  не лежит ни в одном из множеств . Рассмотрим множества  и . Заметим, что  так как  и . Также отметим, что . Положим  и . Отметим, что . Дополнительно заметим, что , так как любой  лежит в , и таким образом, . Проверим, что два подмножества  и  являются хорошей парой непересекающихся подмножеств. Это подтверждается тем, что , тогда как , что завершает рассуждение. Таким образом, критерий доказан, и единственное, что требуется для решения задачи — применить его. Посчитаем с помощью алгоритма Гаусса  для каждого из  подмножеств, после чего явно переберём  пар непересекающихся подмножеств и для подходящих из них (содержащих  в своём 'е) отметим весь их  как подходящий к включению в ответ. Итоговая сложность решения — . Разработчик распределённых систем