Редактирование: Тигры, 01 лекция (от 04 сентября)

Материал из eSyr's wiki.

Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.

Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.

Контрольные работы. 3-4 на раздел, оценки от 2 до 5, отсутствие --- 0. Контрольные проводятся без предв. оповещения, те, кто опоздл, ждут след. пары.

Первая чсть --- теория и игр, и мы в осн. рассм. теорию ... игр.

Литертура:
* "Введение в теорию иссл. перций", наука, 1971 год
* Давыдов, "Исследовние операций", Высшая школп, 1990 год
* Морозов Вл. В. "Основы теории игр", МВ, 2002
* Васин А. А., Морозвов Вл. В. "Теория игр и модели мт. экономики", МВО, 2005

На контрольных будет только то, что будет н лекциях. Иногдал ектор просит некоторые вещи окзать студентам самостоятельно.

==Раздел 1. Антагонистические игры (АИ)==

В АИ принимают участие 2 игрока --- первый и второй игрок. Игр определяется тремя элементами: множество стратегий первого игрока X. Его иногда называют множеством чистых стратегий. Y --- множество стратегий второго игрока. <math>K(x, y)</math>, <math>x \in; X, y \in; Y</math> --- платёжная функция. Почти всегда будем предполагать, что X и Y --- компактное множество в конечномерном евклидовом пространстве.

Как происходит игра: первый игрок принимает стратегию x, второй --- y и вычисляет <math>K(x, y)</math>. И выигрыш первого игрока --- <math>K(x, y)</math>, выигрыш второго --- -K(x, y). В этом и заключается антагонизм, поскольку один хочет максимизировать K, другой --- минимизировать. Как искать стратегию 1 игроку --- если бы он знал, какую стратегию выберет второй игрок, то задача свелась к максимизации функции. Но мы будем рассматривать случай, когда каждый игрок не знает, какую стратегию выберет второй. Получилась неопределенность. И надо понять, что в этом случае делать. В основе принятия решений в этом случае лежит метод, разработанный Г., лежит метод наилучшего гарантированного результата. В этом случае, каждый игрок выбирает стратегию, которая приносит максимальный выигрыш в худшем случае.

Рассмотрим частный случай, который позволяет понять суть метода --- когда X и  Y --- конечные множества. Будем считать, что все стратегии занумерованы от 1 до n и от 1 до m соответственно. И платёжную функцию будем обозначать как <math>K(i, j), i = 1..n, j = 1..m</math>. Посмотрим, как работает принцип наилучшего гарантированного результата: предположим, что игрок выбрал стратегию i. Тогда его выигрыш будет в худшем случае <math>\min_j K(i, j), j=1..m</math>. В этом случае он должен его максимизировать, то есть <math>\max_i \min_j K(i, j)= \min_j K(i_0, j)</math>. Эта стратегия существует, максимум есть, таких стратегий может быть несколько, и любая такая стратегия принесёт ему лучший результат. Эту стратегию будем обозначать _I_, нижней ценой игры, нижнее значение игры.

Второй игрок. Предположим, он принял стратегию j. Худший для него вариант --- max_j K(i, j), j=1..m. Выбирать н будет стратегию, которая минимизирует этот максимум --- min_i max_j K(i, j)= max_j K(i, j_0). Эта стратегия существует, минимум есть, Эту стратегию будем обозначать верхней ценой игры ~I~.

'''Теорема 1'''. _I_ &le; ~I~. Математически это доказывается просто. Зафиксируем произвольную пару i, j. min_j K(i, j) &le; K(i, j) &le; max_i K(i, j). Отсюда следует, что min_j K(i, j) &le; max_i K(i, j) при всех i, j. Если это верно при всех i, то можно взять максимум, и он будет верен при любой правой части: max_i min_j K(i, j) &le; max_i K(i, j). Вспомним также, что это соотношение верно при любых j, тогда можно взят минимум по j, и получаем _I_ &le; ~I~.

Посмотрим смысловую часть теоремы. Нижняя цена --- тот выигрыш, который гарантирован первому игроку, когда он не знает, как действует второй. Теперь посмотрим на верхнюю цену, это лучшая цена для второго игрока, но можно интерпретировать иначе: пусть первый игрок всегда знает, как действует второй, то есть, он знает j. Тогда он будет искать max_i K(i, j), и тогда в худшем случае он получит min_j max_i K(i, j), то есть, ~I~. То есть, когда игрок знает действия противника, то его выигрыш будет не меньше, чем когда не он знает.

Разность ~I~ - _I_ называется ценой информации. Если верхняя и нижняя цены совпадают, то игроку нет никакой разницы, будут его информацией пользоваться, или нет. А если разность больше нуля, то информация имеет цену.

Рассмотрим примеры. Конечные игры они задаются в виде матрицы. Рассмотрим такой пример:
{|
 |1
 |2
 |0
 |-
 |2
 |4
 |1
 |}
Номер строки --- стратегия первого игрока, номер столбца --- стратегия второго. То есть, i=1..2, j=1..3. Как будет действовать первый игрок в условиях неопределённости: Если первый игрок применяет первую стратегию, то он должен рассчитывать на худший выигрыш, на 0, в втором случае получает 1. Тогда по принципу наилучшего гарантированного результата он выбирает вторую стратегию, и нижняя граница --- 1.

Второй игрок. Если применит первую, то проигрыш 2 единицы, если вторую --- 4 единицы, если  третью --- 1 единица. В такм случае ~I~ = 1. Здесь _I_ = ~I~

Рассмотрим ещё одни пример:
{|
 |1
 |2
 |3
 |-
 |2
 |4
 |0
 |}
_I_ = 1, ~I~ = 2. Здесь  уже _I_ &lt; ~I~

Перейдём к случаю, кгда X, Y --- бесконечные множества.

В этом случае первый игрок может раск. на выигрыш inf_y &isin; Y K(x, y). Что должен делать игрок --- максимизировать эту величину, и она в итоге называется нижней ценой _I_. Пусть супремум достигается в x_0, то есть _I_ = inf_y &isin; Y K(x_0, y). Аналогично для второго игрока inf_y &isin; Y sup_x &isin; X K(x, y) = ~I~ = sup_x &isin; X K(x, y_0)

'''Теорема 2'''. Аналогична первой, которую мы доказали: _I_ &le; ~I~ в случае бесконечных антагонистических игр.

'''Доказательство.''' 
* inf_y &isin; Y K(x, y) &le; K(x, y) &le; sup_x &isin; X K(x, y)
* inf_y &isin; Y K(x, y) &le; sup_x &isin; X K(x, y)
* sup_x &isin; X inf_y &isin; Y K(x, y) &le; sup_x &isin; X K(x, y)
* _I_ &le; ~I~

'''Теорема 3'''. Если K(x, y) --- непрерывная на X&times;Y функция, где X, Y --- компакты, то такие функции _w_(x) = min_{y &isin; Y} K(x, y) и ~w~(x) = max_{x &isin; X} K(x, y) --- непрерывны.

Это позволит писать min/max вместо inf/sup.

Докажем первую часть.

Поскольку K(x,y) непр, то &forall; &epsilon; &gt; 0: &exist; &delta; &rho;((x_1, y_1), (x_2, y_2)) &le; &delta; &rArr; |K(x_1, y_1) - K(x_2, y_2)| &le; &epsilon;

Зафиксируем &epsilon; &gt; 0. &delta; gt; 0 x_!, x_2 &isin; X,: &rho;(x_!, x_2) &le; &delta;

min_{y &isin; Y} K(x, y) = K(x_1, y(x))

_w_(x_1) - _w_(x_2) = K(x_1, y(x_1)) - K(x_2, y(x_2)) &le; K(x_1, y(x_2)) - K(x_2, y(x_2)) &le; &epsilon;

Оценим эту разность по-другому:

_w_(x_1) - _w_(x_2) = K(x_1, y(x_1)) - K(x_2, y(x_2)) &ge; K(x_1, y(x_2)) - K(x_1, y(x_2)) &ge; -&epsilon;

Из этих двух сотношений получили то, что хотели: |_w_(x_1) - _w_(x_2)| &le; &epsilon;, отсюда следует, что _w_ непрерывна по X.

Следствие. Если _w_, ~w~ непрерывны, то нижняя цена _I_  = max_{x &isin; X} min_{y &isin; Y} K(x, y), аналогично ~I~ = min_{y &isin; Y} max_{x &isin; X} K(x, y)

Перейдём к одному из основополагающих понятий теории АИ --- понятие седловой точки.

Мы рассмотрим АИ на множестве стратегий X&times;Y.

Пара (x, y) называется седловой точкой игры (функции), если K(x, y_0) &le; K(x_0, y_0) &le; K(x_0, y) при всех &forall; x &isin; X, y &isin; Y.

Что означает наличие седловой точки: если первый игрок будет отклоняться от x_0, то его выигрыш может только уменьшиться, а если второй игрок будет отклоняться, то его проигрыш будет только увеличиваться.

Сейчас мы докажем, что это и есть оптимальные стратегии, и цена информации равна 0. А если седловой точки нет, то верхняя цена оказывается строго больше нижней, и цена информации строго неотрицательна.

Рассмотрим случай конечной игры и перепишем условие седловой точки: K(i, j_0) &le; K(i_0, j_0) &le; K(i_0, j) при  &forall; i = 1..n, j = 1..m.

Рассмотрим следующую платёжную матрицу:
{|
 |1
 | -3
 | -2
 |-
 |1
 |5
 |4
 |-
 |2
 |3
 |2
 |}

Что такое седловой элемент --- элемент, который максимальный в столбце и минимальный в строке. В данной матрице элемент (i=3, j=1) минимален. Теперь в этой матрице обратим внимание на следующее: вычислим _I_ и ~I~: _I_ = 2, ~I~ = 2. Здесь верхняя цена равна нижней.

Теперь рассмотрим другую матрицу:
 2 3 4 1
 5 2 2 3
 4 1 3 2
Оценим здесь  _I_ и ~I~: _I_ = 2, ~I~ = 3. Здесь верхняя цена оказалась больше, чем нижняя.

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

'''Теорема 4'''. В матричной антагонистической игре седловая точка существует тогда и только тогда, когда _I_=~I~. Если (i_0, j_0) --- седловая точка, то K(i_0, j_0) = _I_=~I~. И i_0, j_0 --- наилучшие гарантированные стратегии.

'''Доказательство'''. Первая часть. a) Предположим, что нижняя цена равна верхней. Пусть i_0 и j_0 --- оптимальные гарантированные стратегии. Тогда из определения имеем следующее: max_i min_j K(i, j) = min_j K(i_0, j). Это нижняя цена игры. В свою чередь, min_j K(i_0, j) &le; K(i_0, j). В свою очередь, ~I~ = min_j max_i K(i, j) = max_i K(i, j_0) и поскольку мы берём максимум, то Kmax_i K(i, j_0) &ge; K(i, j_0). Но _I_ = ~I~, тогда K(i, j_0) &le; K(i_0, j) &forall; i = 1..n, j = 1..m. Покажем, что i_0, j_0 --- седловая точка. Откуда это следует? Оно верно при всех i, в частности, при i_0: i=i_0: K(i_0, j_0) &le; K(i_0, j), оно верно при j=j_0: K(i, j_0) &le; K(i_0, j_0). Отсюда получаем K(i, j_0) &le; K(i_0, j_0) &le; K(i_0, j) &forall; i = 1..n, j = 1..m, то есть (i_0, j_0) --- седловая точка.

Вторая часть первой части теоремы. Необходимое условие. (i_0, j_0) --- седловая точка. Тогда по определению K(i, j_0) &le; K(i_0, j_0) &le; K(i_0, j) &forall; i = 1..n, j = 1..m 
* max_i K(i, j_0) &le; K(i_0, j_0) &le; min_j K(i_0, j)
* min_j max_i K(i, j) &le; K(i_0, j_0) &le; max_i min_j K(i, j)
* ~I~ &le; _I_
Но мы знаем теорему 1, из которой _I_ &le; ~I~, отсюда _I_=~I~

Первая часть теоремы доказана полностью. Посмотрим, что мы получили. Поскольку _I_=~I~ то там везде имеет место равенство, и, таким образом, мы доказали вторую часть теоремы.

'''Теорема 5'''. Если &exist; стратегии i_0, j_0 и константа ''v'' такие, что K(i, j_0) &le; ''v'' &le; K(i_0, j) при &forall; i=1..n, j=1..m, то пара i_0, j_0 образует седловую точку и ''v'' = K(i_0, j_0)

'''Доказательство'''. Из условия теоремы следует, что K(i, j_0) &le; K(i_0, j) при &forall; i=1..n, j=1..m, а мы только что доказали, что из этого следует, что (i_0, j_0) --- седловая точка. Т.о. доказали первую часть.

Поскольку можно взять i,j любые, то можно взять i=i_0, j=j_0, и получаем K(i_0, j_0) &le; ''v'' &le; K(i_0, j_0) &rArr; ''v'' = K(i_0, j_0)

На этом с матричными играми пока всё. Возвращаемся к бесконечным играм.

Рассматриваем K(x, y) на X&times;Y.

'''Теорема 6'''. Игра K(x, y) имеет седловую точку тогда и только тогда, когда max_{x &isin; X} inf_{y &isin; Y} K(x, y) = min_{y &isin; Y} sup_{x &isin; X} K(x, y) (то есть точка эта достигается). 2) (x_0, y_0) -- ct &rArr; K(x_0, y_0) = max_x inf_y K(x, y) = min_y sup_x K(x, y)

'''Доказательство'''. 1) x_0, y_0. min_x inf_y K(x, y) = inf_y K(x_0, y) &le; K(x_0, y) &forall; y &isin; Y
* min_y sup_x K(x, y) = sup_x K(x, y_0) &ge; K(x, y_0), &forall; x &isin; X
* Эти две вещи равны, поэтому получаем K(x, y_0) &le; K(x_0, y) &forall; x &isin; X, y &isin; Y
* x=x_0: K(x_0, y_0) &le; K(x_0, y)
* y=y_0: K(x, y_0) &le; K(x_0, y_0)
отсюда СТ.

2) (x_0, y_0) --- СТ
* (аналогично Т4)

Что мы получили, на самом деле. Мы на самом деле получили равенство. Что это означает? Это означает, что ...
* (аналогично Т4)
Это означает, что inf достигается в y=y_0, указанный sup достигается при x=x_0. Это значит, что мы можем записать min_y sup_x K(x, y) = max_x inf_y K(x, y)

Таким образом, теорема доказана полностью.

(Про экзамен)

Первое замечание.

Второе замечание.

{|
 |0
 |1
 |0
 |-
 |3
 |2
 |3
 |-
 |0
 |1
 |2
 |}

Третье.

...

Отсюда следует, что K(x_1, y_2) &le; K(x_1, y) &rArr; седловая точка.

Несколько примеров.

K(x, y) = 1 - (x-y)^2  X=Y=[0, 1]

_w_(x) = min_{y &isin; [0, 1]} = {1-x^2, x &gt; 0.5 (y=0); 1-(1-x)^2, x&le; 0.5 (y=1)} Теперь он должен взять максимум от этой величины. Посмотрим графически, что здесь получается. То есть, наилучшая стратегия для первого игрока --- x_0 = 1/2. Это в случае, когда игрок не информирован.

Заметим, что здесь же мы описали, как будет действовать второй игрок, когда он информирован.

Как должен действовать, как будет действовать второй, когда он не информирован (как должен действовать первый, когда он информирован).

* 1-x^2=1-(1-x)^2
* 1-x^2=
*I x=1/2

~w~(y) = max_y

Получили, что ~w~ &gt; _w_,  значит, седловой точки нет.

Следующие два примера более конкретны. Они имеют в литературе название "дуэльные игры".

Первая дуэль называется "бесшумная дуэль". Два игрока сближаются и могут произвести один выстрел. Произвести выстрелы они могут в момент времени x,y &isin; [0, 1]. Дальше известны функции меткости: p(x), q(y). Что такое p(x) --- вероятность поражения первым игроком второго игрока, если он произвёл выстрел в момент времени x. Функция меткости возрастающая.

Платёж следующий: 1, если 1 игрок поразил второго, -1 если наоборот, 0 в двух остальных случаях. Берётся матожидание. Если x<y, то есть первый игрок стреляет первым. Вспомним, что такое матожидание --- берётся сумма произвольных аргументов на вероятность. То есть, 1*p(x) + (1-p(x))*q(y)*(-1) + 0 * (...)  В итоге получается p(x) - (1-p(x))*q(y) (когда x&lt;y). Когда x=y, то получаем p(x)(1-q(x)) - (1-p(x))q(x). Когда x>y, полоучается -q(y)+(1-q(y))p(x).

Эти дуэли бесшумные, поскольку если первый игрок производит выстрел и промахивается, то второй игрок это не слышал. В шумных, если первый выстрелил и промазал, то второй будет стрелять не в момент времени y, а в момент 1, когда вероятность максимальна. В случае, если p(x) = x, q(y) = y, получим
           x-y+xy, x<y
 K(x, y) = 0, x=y
           x-y-xy, x>y
Посчитаем выигрыш. стратегии.

Рассмотрим, как выглядит функция при фиксированном x.

_w_(x) = inf_y K(x, y) = min(-x_2, 2x-1), max_x _w_(x)

x=sqrt(2)-1 --- оптимальное значение для первого игрока, и нижняя цена игрока _I_=2sqrt(2)-3, если то же самое повторить за второго игрока, то получим, что ~I~=3-2sqrt(2) и y=sqrt(2)-1

Вторая модель --- шумная дуэль. Отличается от бесшумной только тем, что если один из игроков производит выстрел и промахивается, то второй игрок об этом узнаёт. Поэтому, когда он узнаёт, то стрелять он будет в момент, когда будет максимально, в момент 1.

Посчитаем вероятности:
           p(x) - (1-p(x))q(1), x<y
 K(x, y) = p(x)(1-q(x))-(1-p(x))q(x), x=y
           -q(y)+(1-q(y))p(1), x>y

p(x) = x,
 q(y) = y

2x-1, x<y
 K(x, y) = 0, x=y
           1-2y, x>y

Рассмотрим второго игрока. 
* ~w~(y) = sup_x K(x, y) = max(2y-1, 1-2y)
* ~I~ = min ~w~(y)=0, y=1/2

Аналогично для первого игрока _I_=0, x=1/2

Получили седловую точку (1/2, 1/2).

Игра с выбранным моментом времени. Есть два игрока --- подлодка и обороняемый объект. Игра происходит следующим образом: подлодка всплывает, а объект в момент времени y выпускает осветительную ракету освещает акваторию на отрезке y, y+d, если лодка всплывёт в этом интервале, то она будет уничтожена, иначе она уничтожит объект. Если лодка уничтожит объект, то платёж 1, иначе платеж 0

Здесь платёжная функция выглядит следующим образом:

1, x<y или y > y+d
 K(x, y) = 0, x &isin; [y, y+d]

В любой момент минимум 0, поэтому нижняя цена равна 0, поэтому оптимальным является любой момент. То же для второго игрока --- в любом случае максимум 1, ~I~=1, точка любая, и седловой точки здесь нет.

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

'''Определение 1'''. Множество Y называется выпуклым, если &forall; y_1, y_2 &isin; Y, &alpha; &isin; (0,1): &alpha;y1+(1-&alpha;)y_2 &isin; Y.

'''Определение 2.1'''. Функция f(y), y&isin; Y называется выпуклой, если для &forall; y_!, y_2 &isin; Y (y_1 &ne; y_2) , &alpha; &isin; (0, 1), f(&alpha;y1+(1-&alpha;)y_2) &le; &alpha;f(y1)+(1-&alpha;)f(y_2)

'''Определение 2.2'''. Функция f(y), y&isin; Y называется строго выпуклой, если для &forall; y_!, y_2 &isin; Y (y_1 &ne; y_2) , &alpha; &isin; (0, 1), f(&alpha;y1+(1-&alpha;)y_2) &lt; &alpha;f(y1)+(1-&alpha;)f(y_2)

'''Определение 2.3'''. Функция f(y), y&isin; Y называется вогнутой, если для &forall; y_!, y_2 &isin; Y (y_1 &ne; y_2) , &alpha; &isin; (0, 1), f(&alpha;y1+(1-&alpha;)y_2) &ge; &alpha;f(y1)+(1-&alpha;)f(y_2)

'''Определение 2.4'''. Функция f(y), y&isin; Y называется строго вогнутой, если для &forall; y_!, y_2 &isin; Y (y_1 &ne; y_2) , &alpha; &isin; (0, 1), f(&alpha;y1+(1-&alpha;)y_2) &gt; &alpha;f(y1)+(1-&alpha;)f(y_2)

Утверждения.
* Сумма двух выпуклых функций есть выпуклая функция
* Сумма выпуклой и строго выпуклой --- строго выпукла.
* Аналогично для вогнутых.
Доказать самостоятельно.
* Строго выпуклая функция на выпуклом множестве имеет ровно одну точку минимума
* Строго вогнутая функция на выпуклом множестве имеет ровно одну точку максимума

Пусть дана f(x), x --- вектор (x_1, ..., x_n), если f ' '(x) --- неотрицательно определённая форма, то f(x) является выпуклой функцией. Если положительно, то строго выпуклой. Если неположительно определённая, то вогнутая, если отрицательно определённая, то строго вогнутая.

Рассмотрим пример. f(x_1, ..., x_n) = x_1^2 + x_2^2 + ... + x_n^2. Пкажем, что это строго выпуклая функция. Найдём f'(x) = (&delta;f/&delta;x_1, ..., &delta;f/&delta;x_n)=(2x_1, ..., 2x_n).
        ( &delta;^2f/&delta;x_1&delta;x_1, ..., &delta;^2f/&delta;x_1&delta;x_n )   (2 ... 0 )
 f''(x)=( ...                                                                   ) = (  ...   )
        ( &delta;^2f/&delta;x_n&delta;x_1, ..., &delta;^2f/&delta;x_n&delta;x_n )   (0 ... 2 )
Эта форма положительно определённая. Значит, функция строго выпуклая.

Пожалуйста, обратите внимание, что все ваши добавления могут быть отредактированы или удалены другими участниками. Если вы не хотите, чтобы кто-либо изменял ваши тексты, не помещайте их сюда.
Вы также подтверждаете, что являетесь автором вносимых дополнений, или скопировали их из источника, допускающего свободное распространение и изменение своего содержимого (см. eSyr's_wiki:Авторское право).
НЕ РАЗМЕЩАЙТЕ БЕЗ РАЗРЕШЕНИЯ ОХРАНЯЕМЫЕ АВТОРСКИМ ПРАВОМ МАТЕРИАЛЫ!

Описание изменений:

Отменить | Справка по редактированию (в новом окне)

Шаблоны, использованные на этой странице:

Получено с http://esyr.org/wiki/%D0%A2%D0%B8%D0%B3%D1%80%D1%8B%2C_01_%D0%BB%D0%B5%D0%BA%D1%86%D0%B8%D1%8F_%28%D0%BE%D1%82_04_%D1%81%D0%B5%D0%BD%D1%82%D1%8F%D0%B1%D1%80%D1%8F%29

Редактирование: Тигры, 01 лекция (от 04 сентября)

Материал из eSyr's wiki.

Просмотры

Личные инструменты

Навигация

инструменты

Разделы

Спецкурсы

9 семестр

7 семестр

5 семестр

3 семестр

Поиск

Инструменты

@@ Строка 1: / Строка 1: @@
-* '''Аудиозапись:''' http://esyr.org/lections/audio/game_theory_2008_winter/GT_08_09_04.ogg
+Контрольные работы. 3-4 на раздел, оценки от 2 до 5, отсутствие --- 0. Контрольные проводятся без предв. оповещения, те, кто опоздл, ждут след. пары.
+Первая чсть --- теория и игр, и мы в осн. рассм. теорию ... игр.
+Литертура:
+* "Введение в теорию иссл. перций", наука, 1971 год
+* Давыдов, "Исследовние операций", Высшая школп, 1990 год
+* Морозов Вл. В. "Основы теории игр", МВ, 2002
+* Васин А. А., Морозвов Вл. В. "Теория игр и модели мт. экономики", МВО, 2005
+На контрольных будет только то, что будет н лекциях. Иногдал ектор просит некоторые вещи окзать студентам самостоятельно.
 ==Раздел 1. Антагонистические игры (АИ)==