Рафаель Роузен - Математика для гиков

В следующий раз, когда вы окажетесь на чьем-либо дне рождения, подумайте, что такое простое действо, как разрезание торта, породило огромное количество математических мыслей. Как можно убедиться, что каждый гость был доволен куском, который ему отрезали, и, более того, не хотел ничей кусок больше, чем свой собственный? Задача становится сложнее, когда приходит понимание, что не всем может понравиться один и тот же кусок торта: некоторые любят больше крема; другие его вовсе не любят. Одни хотят цветочек на своем куске, другие хотят буквы. Математики попытались ответить на вопрос, есть ли способ разделить торт так, чтобы каждый человек остался доволен своим куском. На самом деле, идеальный метод разрезания торта между двумя людьми должен отвечать трем критериям:

1. Ни один уже получивший кусок торта человек не хочет вместо него кусок, принадлежащий другому человеку. Тогда такое разделение не будет вызывать зависти.

2. Будет невозможно сделать кого-то счастливее, чем они уже есть, и при этом не расстроить никого другого. Это условие называется результативностью.

3. Разделение должно быть справедливым, то есть каждый человек должен видеть, что все куски имеют одинаковую ценность. (Например, если торт делили три человека, и каждый из них любил цветы из крема, они бы увидели, что разделили справедливо, если бы на каждом куске был цветок.)

В 2014 году два исследователя, Джулиус Барбанель из Юнион-колледжа и Стивен Брамс из Нью-Йоркского университета, опубликовали алгоритм в журнале The Mathematical Intelligencer, который, по их утверждению, отвечает всем трем критериям, результатом чего является идеальное разрезание торта на доли. (Однако их метод предполагает, что торт делят всего лишь два человека.) Алгоритм берет во внимание тот факт, что торт «гетерогенный», то есть он имеет разные части, которые два человека ценят по-разному. Один человек, например, может любить большое количество крема на внешнем крае торта, а другому больше нравится тесто, нежели крем. Кроме того, этот метод зависит от третьей стороны, которая выступает в качестве судьи. Наконец, в алгоритме упоминается функция плотности вероятности, которая является просто математическим способом представления предпочтений людьми разных частей торта.

В первом шаге алгоритма каждый человек представляет свою функцию плотности вероятности, или ФПВ, судье. (Судья может принимать различные формы: компьютер, старшая сестра, прохожий на улице или родители.) Судья отмечает на торте все места, где ФПВ пересекаются; другими словами, где пересекаются предпочтения каждого человека. Судья назначает порции согласно этим предпочтениям, и если на этом этапе каждый человек получает куски одинакового размера, алгоритм останавливается, и все начинают есть. Например, скажем, что человек А любит шоколадный торт, а человек Б любит ванильный. Если торт поделен пополам двумя разными вкусами, то судья просто может разрезать торт по демаркационной линии и дать каждому человеку кусок, который ему больше нравится. Но если торт разделен не поровну, то человек с большим куском отдает часть своей доли другому человеку, начиная с того места, где степень его предпочтений является наименьшей. Этот процесс продолжается, пока объем порции каждого человека не станет одинаковым.

Помимо метода Брамса – Барбанеля, который помогает двум людям справедливо поделить торт, существует другой, более общий метод, который может помочь неограниченному количеству людей разделить торт на неограниченное количество кусков. Этот метод изобрели Брамс и другой математик, Алан Тейлор, он был опубликован в январе 1995 года в выпуске журнала American Mathematical Monthly. Этот общий метод несколько сложный, но суть в том, что после того, как торт был порезан человеком А, человек Б может обрезать некоторые куски, чтобы сделать их более одинаковыми, если он чувствует, что человек А несправедливо порезал торт. Затем человек В может обрезать куски, потом человек Г и так далее. Кроме того, этот метод обеспечивает наличие лишних кусков торта, поэтому если кто-то почувствует себя обманутым, они всегда смогут выбрать один из оставшихся кусков, который будет такого размера, каким бы его хотели видеть.

Справедливый дележ предполагает аддитивную полезность. Другими словами, если я люблю немного крема, тогда я полюблю и много крема; чем больше, тем лучше. С другой стороны, если удовольствие, которое я получил от поедания крема, было не аддитивным – другими словами, если бы оно было неаддитивной полезностью, – значит, после определенного количества сахарных вкусностей я не продолжу становиться счастливее. Исследования показали, что справедливый дележ не работает в ситуациях, связанных с неаддитивной полезностью.