<principles of model checking>中的离散时间马尔科夫链 说明:此文为我自学<principles of model checking>第十章内容的笔记. 一.离散时间马尔可夫链的定义,目标问题和一些辅助定义. 二.将迁移系统转化为矩阵表达及一简例 三.列出方程X=AX+B 四.对于解该方程的一点个人想法 五.作者给出的解法 一.离散时间马尔可夫链的定义,目标问题和一些辅助定义. 一个离散时间马尔可夫链定义为一个五元组,其中 S:一个可数非空集合,元素为状
题意:给定一个n*n的地图,上面有k个障碍点不能走,有一个机器人从(0,0)出发,每次等概率的不动或者往上下左右没有障碍的地方走动,问走无限步后停在图的右下部的概率 n<=1e4,k<=1e3 思路:据说是找规律 From https://blog.csdn.net/anna__1997/article/details/78494788 牛逼的证明 马尔科夫链的随机游走模型 可建立状态转移矩阵,对n * n 的图中n * n 个点编号为0 ~[ (n - 1) * n + n – 1]