Население деревни Вилларибо проживает равномерно¹ на отрезке [0; 1], а деревни Виллабаджо –– равномерно на отрезке [2; 3]. В Вилларибо и Виллабаджо приехал владелец сети магазинов «Кукумбрикс», который объявил, что сеть построит первый и единственный магазин в окрестности, а в какой точке прямой (−\infty ; +\infty ) он будет построен –– решать жителям деревень. Конечно, каждый житель хочет, чтобы магазин был построен как можно ближе к его дому. Обычно все общие географические вопросы жители Вилларибо и Виллабаджо решают, используя механизм «Посередине между делегатами». А именно, сначала каждая деревня выбирает по одному делегату. Затем, если дом делегата Вилларибо находится в точке с координатой a, а дом делегата Виллабаджо имеет координату b, то решением вопроса является точка с координатами (a+b)/2. Делегатом a будем называть того, который живет в точке с координатой a.

а) (2 балла) Изобразите на прямой (−\infty ; +\infty ) множество всех точек, в которых хотя бы при какой-нибудь паре делегатов может быть построен магазин.

б) (2 балла) Докажите, что жителям Вилларибо для выбора делегата не нужна информация о делегате от Виллабаджо: если житель Вилларибо x предпочитает делегата от Вилларибо a1 делегату a2 при делегате от Виллабаджо b1, то житель Вилларибо x предпочтет делегата от Вилларибо a1 делегату a2 при любом другом делегате от Виллабаджо b2.

в) (3 балла) В этом и только в этом пункте считаем, что жители деревень выбирают в качестве делегата победителя по Кондорсе –– такого жителя деревни, что его предпочтет не менее половины жителей этой деревни при голосовании против любого другого жителя деревни (корректность определения следует из предыдущего пункта). Где будет построен магазин?

г) (3 балла) Говорят, что механизм принятия решений является манипулируемым, если существует такая пара делегатов от деревень, что хотя бы одному из делегатов выгодно скрыть настоящее место расположения своего дома и использовать для принятия решения какую-то другую координату. Докажите, что описанный механизм принятия решений является манипулируемым.

д) (2 балла) Предложите какой-нибудь механизм принятия решений, выдающий по паре делегатов a и b место для магазина и не являющийся манипулируемым.

¹Это значит, что на любом отрезке длиной \alpha \leq 1 внутри отрезка [0; 1] проживает доля \alpha населения деревни.