Это база: Зачем нужна математика в повседневной жизни

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

Очень важно то, что протокол «я режу, ты выбираешь» не предполагает внешней оценки достоинств кусков пирожного. Он опирается на субъективные оценки игроков. Они просто должны считать, что полученная доля справедлива по их собственным критериям. В частности, им нет нужды достигать согласия относительно ценности чего бы то ни было. Мало того, справедливый дележ проходит легче, если они в этом не согласны. Один хочет вишенку, другой – кремовую розочку, остальное никого не волнует: дело сделано.

Когда математики и социологи начали воспринимать задачи такого рода всерьез, в них обнаружились замечательные скрытые глубины. Первый шаг вперед был сделан, когда математики и социологи задумались о том, как разделить пирожное на троих. Здесь не только сложно найти простейший ответ, но и обнаруживается новая закавыка. Алиса, Боб и Чарли могут согласиться, что результат справедлив, в том смысле что каждый получил по крайней мере треть пирожного по их собственной оценке, но Алиса может все же позавидовать Бобу и решить, что его доля больше, чем ее. Доля Чарли должна скомпенсировать это в глазах Алисы, если будет меньше ее доли, но в этом нет никакого противоречия, поскольку у Боба и Чарли могут быть разные представления о том, насколько ценны их кусочки для них. Так что имеет смысл поискать протокол, который будет не только справедливым, но и свободным от зависти[2]. И этого можно добиться{15}.

В 1990-е годы понимание задачи справедливого и свободного от зависти дележа значительно углубилось, начиная со свободного от зависти протокола дележа на четверых, найденного Стивеном Брамсом и Аланом Тейлором{16}. Разумеется, пирожное всего лишь метафора ценной вещи, которая поддается дележу. Теория рассматривает объекты, которые можно делить на сколь угодно малые части (пирожное) и которые существуют в виде дискретных единиц (книги, драгоценности). Это делает теоретические принципы применимыми к вопросам справедливого дележа в реальном мире, а Брамс и Тейлор объяснили, как использовать эти методы для разрешения имущественных споров в бракоразводных процессах. Их протокол подстраивающегося победителя обладает тремя основными достоинствами: он справедлив, свободен от зависти и эффективен (или оптимален, по Парето). То есть каждая сторона дележа считает, что его доля по крайней мере не меньше средней, ни одна сторона не хочет меняться долями с кем-либо, и не существует другого варианта дележа, который был бы по крайней мере столь же хорош для всех и лучше для кого-либо одного.

В бракоразводных процессах, например, протокол может работать примерно так. После долгой совместной жизни и попыток научиться расшифровывать взаимные криптографические послания Алиса и Боб понимают, что им все надоело, и решают развестись. Каждому из них выделяется по 100 баллов, которые они распределяют, присваивая каждому объекту имущества – дому, телевизору, кошке – определенное значение. Поначалу объекты переходят к тому из них, кто оценил их выше, то есть присвоил больше баллов. Это эффективно, но обычно такой метод не обеспечивает справедливости и не свободен от зависти, так что протокол предусматривает следующий этап. Если сумма баллов с обеих сторон совпадает, то всех все устраивает и дележ на этом завершается. Если нет, допустим, доля Алисы, согласно ее же оценкам, получается больше, чем доля Боба по его оценкам. Теперь объекты переходят от Алисы (победителя) к Бобу (проигравшему) в таком порядке, который обеспечивает уравнивание оценок. Поскольку и оценки, и объекты дискретны, один из объектов, возможно, придется делить на части, но протокол подразумевает, что делать это придется не более чем с одним объектом – скорее всего, с домом, который продают, а деньги делят. Однако этого не происходит, если Боб приобрел акции Apple до взлета этой компании на фондовом рынке.