Развёрнутая форма игры

Материал из testwiki
Перейти к навигации Перейти к поиску
Игра в развёрнутой форме

Развёрнутой формой (Шаблон:Lang-en) игры называют её представление в виде дерева. Дерево состоит из вершин и соединяющих их рёбер. Вершины подразделяются на терминальные (конечные) и нетерминальные. Каждая нетерминальная вершина характеризуется множеством допустимых ходов и доступной для игрока информацией. Терминальные вершины сообщают о размере выигрыша, получаемого по их достижении.

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

Определение для конечной игры

Конечная игра в развёрнутой форме — это структура Γ=⟨𝒦,𝐇,[(𝐇i)i∈ℐ],{A(H)}H∈𝐇,a,ρ,u⟩ где:

  • 𝒦=⟨V,v0,T,p⟩ — конечное дерево со множеством вершин V, единственной начальной вершиной v0∈V, множеством терминальных вершин T⊂V (пусть D=V∖T есть множество нетерминальных вершин) и функцией ближайшего предшественника p:V→D.
  • 𝐇 — разбиение D, называемое информационным разбиением.
  • A(H) — множество возможных действий для каждого информационного множества H∈𝐇; эти множества образуют разбиение множества всех возможных действий 𝒜.
  • a:V∖{v0}→𝒜 отображение, ставящее в соответствии каждой вершине v единственное действие a(v). Обозначим av ограничение отображения a на множестве s(v) следующих за v вершин. Отображение a должно удовлетворять условию

∀H∈𝐇,∀v∈H, ограничение av:s(v)→A(H) для a на s(v) биективно, и s(v) есть множество вершин, следующих за v.

  • ℐ={1,...,I} — конечное множество игроков, 0 — специальный игрок «Природа», кортеж (𝐇i)i∈ℐ∪{0} в качестве элементов 𝐇i имеет специфическое для игрока i∈ℐ∪{0} подмножество информационного разбиения 𝐇. Пусть ι(v)=ι(H) есть единственный игрок, совершающий ход в вершине v∈H.
  • ρ={ρH:A(H)→[0,1]|H∈𝐇0} — семейство распределений на множестве действий природы.
  • u=(ui)i∈ℐ:T→ℝℐ — функция выигрыша.

См. также

Литература

Шаблон:Теория игр