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

Алгоритм отложенного согласия, предложенный Дэвидом Гейлом и Ллойдом Шепли, заключается в следующем. В первый вечер каждый жених идет с предложением руки и сердца к номеру один из своего списка. Для невест результаты данного действия могут сильно различаться. Под балконом первой красавицы будет петь серенады половина деревни, к какой-то девушке пришел единственный ухажер, а иная вообще никого не дождалась, что, однако, как мы увидим дальше, вовсе не повод накладывать на себя руки или даже просто впадать в уныние.

Что делают девушки? К некоторым не пришел никто или пришли только столь отвратительные персонажи из отрицательной области (вспоминаем про нулевую черту), что выдворить их восвояси и остаться в одиночестве – это меньшее из зол. Им ничего не остается, кроме как ждать и надеяться. А все остальные могут выбирать. Помним, что по мифологии циничных экономистов у каждой из них имеется индивидуальный список предпочтений. Итак, девушки прогоняют всех пришедших, кроме одного самого понравившегося кандидата. Правда, пока никаких обещаний – с ним можно погулять, пофлиртовать, назначить свидание на завтра, но не более того.

Итак, на следующий день ангажированные женихи, получившие расплывчатое «может быть», надеются на укрепление связи. А «свободные» (то есть посланные своими избранницами, поскольку не смогли конкурировать с более удачливыми соперниками, или вовсе оказавшиеся у избранниц «ниже черты») зализывают раны и готовятся постучаться в двери своих вице-фавориток – девушек, стоящих под номером два.

Как результат, кому-то из невест может сильно повезти именно на второй вечер. Скажем, девушка ни у кого не является номером один, но многие ставят ее на второе место. Это означает, что после одиночества первого вечера у нее будет аншлаг на второй день и не исключено, что среди визитеров окажется и ее «главный принц».

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

Поскольку каждый день, когда что-то вообще происходит, хотя бы один из мужчин должен пойти стучаться к следующей девушке в его списке, то через конечный промежуток времени весь процесс поиска избранниц завершится. Часть мужчин, пройдя свои списки (точнее, их положительную область) целиком и, возможно, испытав множество временных знакомств и последующих размолвок, в итоге остаются одни. Другая часть вечер за вечером проводит с постоянными партнершами. Заметим, что эти партнерши являются для каждого из мужчин лучшими девушками среди тех, с которыми у них еще сохранились шансы. Все невесты, стоявшие выше по списку, не удостоили этих кавалеров вниманием, поэтому главная задача парней этой группы – удержаться хотя бы здесь, иначе придется опускаться дальше. Кстати, у девушек динамика противоположна – день ото дня они обнадеживают все более желанных партнеров. В тот день, когда впервые никаких изменений не произойдет, алгоритм говорит «стоп», и аксакал объявляет одновременное празднование свадеб во всех сложившихся к данному моменту парах.

Несложно доказать, что данная система браков окажется устойчивой. Никто не захочет развестись, равно как и никто из оставшихся в одиночестве не сможет вступить в брак с кем-то, кто у него находится в положительной области, ибо наткнется на отказ. Гейл и Шепли дают гарантию.