Сложность биматричного равновесия Нэша: различия между версиями

Сложность биматричного равновесия Нэша (посмотреть исходный код)

142 байта добавлено , 29 августа 2021

4551

правка

@@ Строка 33: / Строка 33: @@
-Определение 2 (задача LEAFD). Входными данными задачи LEAFD является пара (M; 0n), где M определяет машину Тьюринга с полиномиальным временем работы, удовлетворяющую следующим условиям:
+'''Определение 2 (задача LEAFD)'''. Входными данными задачи LEAFD является пара <math>(M, O^n)</math>, где M определяет машину Тьюринга с полиномиальным временем работы, удовлетворяющую следующим условиям:
-.	для каждого v 2 f0; 1gn, M(v) является упорядоченной парой (U1; U2) с мь м2 2 f0;1g U {«нет»};
-.	M(0n) = («нет»; 1n), и первая компонента M(1n) равна 0n.
+.	для каждого <math>v \in \{ 0, 1 \}^n</math> M(v) является упорядоченной парой <math>(u_1, u_2)</math>, где <math>u_1, u_2 \in \{ 0, 1 \}^n \cup</math> {«нет»};
+.	<math>M(O^n)</math> = («нет», <math>1^n</math>), и первая компонента <math>M(1^n)</math> равна <math>O^n</math>.