Впрочем, с учетом человеческой природы нельзя быть уверенным, что дети согласятся со справедливостью раздела после события. Когда я упомянул этот метод в статье, один из читателей написал мне, что опробовал его на своих детях, и Алиса (ненастоящее имя) стала жаловаться, что Бобу (тоже ненастоящее имя) досталось больше. Когда же отец заметил, что она сама в этом виновата, потому что разрезала неровно, это девочке не слишком понравилось – по ее мнению, это было все равно что обвинить жертву, – поэтому отец поменял доставшиеся детям кусочки. И услышал громкий рев: «У Боба все равно больше, чем у меня!» Но такого рода протокол должен, по идее, удовлетворить политиков – или, по крайней мере, заткнуть им рот – и определенно должен подойти суду. Судье нужно всего лишь убедиться, что протокол был соблюден.
Ключевой особенностью подобного протокола является то, что мы не пытаемся устранить взаимный антагонизм Алисы и Боба, а используем его для получения справедливого результата. Не просите их поступать по справедливости или сотрудничать, не предлагайте искусственных юридических определений справедливости. Просто позвольте им бороться друг с другом в рамках предложенной игры. Конечно, Алиса и Боб должны заранее согласиться играть по этим правилам, но им все равно придется согласиться на что-то, а правила здесь очевидно справедливы, так что несогласие, скорее всего, ни к чему не приведет.
Очень важно то, что протокол «я режу, ты выбираешь» не предполагает внешней оценки достоинств кусков пирожного. Он опирается на субъективные оценки игроков. Они просто должны считать, что полученная доля справедлива по их собственным критериям. В частности, им нет нужды достигать согласия относительно ценности чего бы то ни было. Мало того, справедливый дележ проходит легче, если они в этом не согласны. Один хочет вишенку, другой – кремовую розочку, остальное никого не волнует: дело сделано.
Когда математики и социологи начали воспринимать задачи такого рода всерьез, в них обнаружились замечательные скрытые глубины. Первый шаг вперед был сделан, когда математики и социологи задумались о том, как разделить пирожное на троих. Здесь не только сложно найти простейший ответ, но и обнаруживается новая закавыка. Алиса, Боб и Чарли могут согласиться, что результат справедлив, в том смысле что каждый получил по крайней мере треть пирожного по их собственной оценке, но Алиса может все же позавидовать Бобу и решить, что его доля больше, чем ее. Доля Чарли должна скомпенсировать это в глазах Алисы, если будет меньше ее доли, но в этом нет никакого противоречия, поскольку у Боба и Чарли могут быть разные представления о том, насколько ценны их кусочки для них. Так что имеет смысл поискать протокол, который будет не только справедливым, но и свободным от зависти[2]. И этого можно добиться{15}.
В 1990-е годы понимание задачи справедливого и свободного от зависти дележа значительно углубилось, начиная со свободного от зависти протокола дележа на четверых, найденного Стивеном Брамсом и Аланом Тейлором{16}. Разумеется, пирожное всего лишь метафора ценной вещи, которая поддается дележу. Теория рассматривает объекты, которые можно делить на сколь угодно малые части (пирожное) и которые существуют в виде дискретных единиц (книги, драгоценности). Это делает теоретические принципы применимыми к вопросам справедливого дележа в реальном мире, а Брамс и Тейлор объяснили, как использовать эти методы для разрешения имущественных споров в бракоразводных процессах. Их протокол подстраивающегося победителя обладает тремя основными достоинствами: он справедлив, свободен от зависти и эффективен (или оптимален, по Парето). То есть каждая сторона дележа считает, что его доля по крайней мере не меньше средней, ни одна сторона не хочет меняться долями с кем-либо, и не существует другого варианта дележа, который был бы по крайней мере столь же хорош для всех и лучше для кого-либо одного.
В бракоразводных процессах, например, протокол может работать примерно так. После долгой совместной жизни и попыток научиться расшифровывать взаимные криптографические послания Алиса и Боб понимают, что им все надоело, и решают развестись. Каждому из них выделяется по 100 баллов, которые они распределяют, присваивая каждому объекту имущества – дому, телевизору, кошке – определенное значение. Поначалу объекты переходят к тому из них, кто оценил их выше, то есть присвоил больше баллов. Это эффективно, но обычно такой метод не обеспечивает справедливости и не свободен от зависти, так что протокол предусматривает следующий этап. Если сумма баллов с обеих сторон совпадает, то всех все устраивает и дележ на этом завершается. Если нет, допустим, доля Алисы, согласно ее же оценкам, получается больше, чем доля Боба по его оценкам. Теперь объекты переходят от Алисы (победителя) к Бобу (проигравшему) в таком порядке, который обеспечивает уравнивание оценок. Поскольку и оценки, и объекты дискретны, один из объектов, возможно, придется делить на части, но протокол подразумевает, что делать это придется не более чем с одним объектом – скорее всего, с домом, который продают, а деньги делят. Однако этого не происходит, если Боб приобрел акции Apple до взлета этой компании на фондовом рынке.
2
Это математический термин. Свойство алгоритма дележа «свободный от зависти» означает, что каждый из участников дележа может быть уверенным в том, что никто не получил большую долю, чем он сам. (Разумеется, представления участников о величине и ценности долей могут быть разными.) –
15
В начале 1960-х годов Джон Селфридж и Джон Хортон Конвей независимо друг от друга нашли свободный от зависти метод дележа пирожного для трех игроков:
1) Алиса разрезает пирожное на три равноценных, по ее мнению, кусочка.
2) Боб пропускает ход, если не может выбрать среди трех кусочков самый большой; если может, он отрезает от самого большого кусочка лишнее, чтобы он перестал быть самым большим. Обрезки называются «остатком» и откладываются в сторону.
3) Чарли, Боб и Алиса, именно в таком порядке, выбирают для себя кусочек, который они считают самым большим или одним из самых больших. В том случае, когда Боб не пропускает ход 2, он обязан выбрать обрезанный кусочек, если Чарли не выбрал его первым.
4) Если Боб пропустил ход 2, то обрезков нет и дележ закончен. Если это не так, то либо Боб, либо Чарли взял обрезанный кусочек. Мы можем назвать того, кому достался этот кусочек, нережущим, а второго – режущим. Режущий делит остаток на три равные, по его мнению, части.
5) Игроки выбирают себе по кусочку из этих трех в следующем порядке: нережущий, Алиса, режущий. Ни у одного игрока нет причин завидовать тому, что получают остальные: если он завидует, значит, его тактика была ошибочной и выбирать ему следовало иначе. Доказательство см.: en.wikipedia.org/wiki/Selfridge-Conway_procedure.
16
S. J. Brams and A. D. Taylor.