Теорема об обратном составном агенте - Википедия - Reversed compound agent theorem

В теория вероятности, то обратная теорема о составном агенте (RCAT) представляет собой набор достаточный условия для случайный процесс выраженный в любом формализме, чтобы иметь форма продукта стационарное распределение[1] (предполагая, что процесс стационарный[2][1]). Теорема показывает, что продукты образуют решения в Теорема Джексона,[1] то Теорема BCMP[3] и G-сети основаны на тех же фундаментальных механизмах.[4]

Теорема идентифицирует обратный процесс, используя Лемма Келли, из которого может быть вычислено стационарное распределение.[1]

Рекомендации

  1. ^ а б c d Харрисон, П.Г. (2003). «Возвращение времени назад в алгебре марковских процессов». Теоретическая информатика. 290 (3): 1947–2013. Дои:10.1016 / S0304-3975 (02) 00375-4.
  2. ^ Харрисон, П.Г. (2006). "Обработка алгебраических непродуктовых форм" (PDF). Электронные заметки по теоретической информатике. 151 (3): 61–06. Дои:10.1016 / j.entcs.2006.03.012.
  3. ^ Харрисон, П. Г. (2004). «Обратные процессы, формы продукта и непродуктовая форма». Линейная алгебра и ее приложения. 386: 359–381. Дои:10.1016 / j.laa.2004.02.020.
  4. ^ Хиллстон, Дж. (2005). «Алгебры процессов для количественного анализа» (PDF). 20-й ежегодный симпозиум IEEE по логике в компьютерных науках (LICS '05). С. 239–248. Дои:10.1109 / LICS.2005.35. ISBN  0-7695-2266-1.

внешняя ссылка