Здравствуйте, мы добрались с вами до третьего раздела нашего курса по названию кооперативные игры, и начнем мы с вами с задачи переговорах и одного из классической решении для этой задачи, а именно арбитражного решения Неша. Вспомним классическую теоретико-игровую задачу семейного спора, в котором участвуют муж и жена, и их задачей является договориться о том, куда же они пойдут вечером, на футбол, в театр или никуда. Конечно, и муж и жена хотят выбрать тот вариант, который будет интересен им обоим. Рассмотрим теоретико-игровую задачу: это биматричная игра. У каждого из игроков есть по две чистых стратегии: у мужа это x1 и x2, это поход на футбол или в театр, и у жены - это игры y1 и y2, тоже поход на футбол или в театр. В этой игре у нас четыре ситуации: в ситуации x1y1 выигрыш игроков 4:1, потому что муж больше получает удовольствие от похода на футбол чем жена, и в ситуации x2y2 выигрыш у нас 1:4, потому что жена получает больше удовольствия от похода в театр, чем муж, но это, так сказать некоторая, некоторые статистические выводы. Дальше, в ситуациях x1y2 и x2y1, муж и жена получают выигрыш по 0: 0, то есть если они не договорились о том, что они пойдут в одно и то же место, то тогда они не получают удовольствие, и выигрыш у нас имеет такой вид: как мы с вами помним из второго раздела нашего онлайн курса, мы можем найти ситуации равновесия по Нэш в данной игре. Первая ситуация равновесия по Нэшу, это x1y1. Почему? Потому что каждому из игроков, или мужу и жене невыгодно отклоняться от этой ситуации, потому что в обоих случаях получают выигрыш равный нулю. Вторая ситуация равновесия по Нэшу, это x2y2, тоже каждому из игроков или муж и жени невыгодно отклоняться от этой ситуации, ну и конечно, есть ситуации равновесия по Нэшу в смешанных стратегиях, а именно x равное 4/5 к 1/5, и y равная 1/5 к 4/5. Но это все таки ситуация равновесия по Нэшу. Наша задача, наша задача в рамках вот этого раздела состоит в том, чтобы определить, каким же образом игрокам или муж и жену необходимо договариваться о стратегиях. В ситуации равновесия по Нэшу в биматричных играх, это ситуация, которую неплохо было бы выбрать игрокам, если они принимают решение о стратегиях одновременно и независимо друг от друга. Вопрос, что произойдет если они могут договариваться? На слайде представлено множество всевозможных ситуаций в нашей игре или точнее множества всевозможных выигрышей, в зависимости от действий игроков. В вершинах а и r или в точке 0 у нас представлено в выигрыше в чистых стратегиях, а именно, а - это если муж выбирает поход в театр, жена выбирает поход в театр, b - когда муж выбирает футбол и жена выбирает футбол, и 0 -когда они выбирают различные стратегии. Множество S - это так называемая переговорная множество. Точка d - это точка статус кво. Об этом мы поговорим чуть-чуть позже. На осях конечно определены выигрыши игроков. Что же такое задача о переговорах? Задача о переговорах, это задача выбора точки из множества из переговорного множества, которое удовлетворяет некоторым заранее заданным аксиомой, но самое главное, чтобы это точка была выгодна для обоих игроков, то есть, чтобы выигрыш в этой точке был больше, чем если бы они не кооперировались. В данном случае за это у нас отвечает точка статус кво, а именно вектор d1 и так далее dn. Это вектор выигрыша игроков в случае, когда они не кооперируются. Способы определения такого вектора могут быть разные. В нашем случае мы используем равновесие по Нэшу, также могут быть использованы подходы max min и min max. Итак, задача нахождения такой функции фи как функция от множества переговоров множество и переговоров и точка статус кво. В случаи семейного спора это у нас игра двух лиц множество, всевозможных выигрыш или переговорное множество задаются тем, которые мы видели с вами на графике, а точку статус кво мы определим как точку выигрышей игроков в ситуации равновесия по Нэш, а именно в третьей ситуации равновесия, смешанного равновесия по Нэшу. Перейдем к рассмотрению некоторого переговорного решения, начнем с классического арбитражного решения Нэша для игры n лиц. Когда мы определяем любое переговорные решения или любое оперативное решение, об этом поговорим чуть позже, мы должны задать некоторый список аксиомы, эти аксиомы будут определять смысловую нагрузку этого решения. В нашем случае рассмотрим следующие четыре аксиомы: первая - парето оптимальность, вторая - симметричность, масштабная инвариатность и независимость от посторонних альтернатив. Рассмотрим первый, парето оптимальность, что означает, что решение является оптимальным, означает что, что не существует решения, которое лучше него по обоим параметрам, то есть для случая семейного спора, это означает, что муж и жена не могут выбрать какую-то договоренность, которая даст им выигрыши лучше для обоих игроков. Симметричность, симметричность означает, что если мы изменим наши оси координат, то выигрыш, или изменим игроков, поменяем их местами, то решение все равно останется тем же самым, т.е. наше решение Нэша все равно останется тем же самым. Масштабная инвариатность, если мы с вами изменим каким-то образом множество выигрышей с помощью некоторой линейной преобразования, то наше арбитражное решение Нэша все равно останется тем же самым. Независимость от посторонних альтернатив, это более сложное, более важное свойство, оно говорит нам о следующем, что если мы с вами выберем некоторое подмножество из множества нашего изначального переговорного множества, но в которое входят арбитражные, некоторое, извините, переговорные решения, которые надлежит множеству, то тогда при пересчете нашего переговорного решения мы с вами получим опять его, то есть мы с вами получим то же самое решение на множестве S штрих. Мы с вами перечислили список аксиом, а именно четыре штуки, и теперь можем доказать, что существует единственная функция фи, которая удовлетворяющая четырем и аксиомам и вывести аналитическую формулу для нее, которое представлена на слайде. Формула очень простая, однако возможности для ее расчета довольно ограничены, то есть мы можем использовать это для некоторых конечных задач, статических, в общем виде, конечно, расчет ее немножечко усложнен. Эту функцию мы будем с вами называть арбитражным решением Нэша и обозначать через nsd. Рассчитаем арбитражное решение Нэша для задачи семейного спора. Переговорная множество, а именно множество определяемое многоугольникам a, b, c, d, и e, у нас является симметричным относительно точки статус кво. Это, в свою очередь, означает, что арбитражные решения Нэша лежит ровно на середине отрезка a, b и выигрыши для игроков у нас равняются 5/2 и 5/2. Для более точного изучения данного раздела и арбитражного решения Нэша, в том числе доказательство теоремы, которое было представлено слайдах, пожалуйста знакомьтесь с источниками.
