有限马尔科夫链状态分解+Kosaraju 算法

  • 1 实验内容
  • 2 理论基础
  • 3 题目分析
  • 4 按常返性和互通性对状态空间进行分解算法流程
    • 4.1 强连通性和强连通分量
    • 4.2 基于有向图 Kosaraju 算法的有限马尔科夫链状态分解
    • 4.3 算法正确性证明
    • 4.4 算法复杂度分析
  • 5 按周期对不可约闭集进行分解
  • 6 对例题分解验证算法正确性
  • 7 代码使用
  • 8 总结

1 实验内容

生成有 100 个状态的齐次马尔科夫链,状态转移矩阵随机生成(在满足完备

性约束下,可以随机由代码设置,注意保证状态有一定比例与其他状态的联通,

比如 3%;也可以自己提前设置好,但要保证有 2 个以上不可约子集)。

  1. 将状态空间按常返性和互通性进行分解;
  2. 在 1 的基础上对周期不可约马尔可夫链进行分解。

2 理论基础

设 C C C 为状态空间 I 的非空子集,若对任意 i ∈ C & & j ∉ C i\in C \&\& j \notin C i∈C&&j∈/C 都有 p i j = 0 p_{ij}=0 pij​=0,则称为 C C C (随机)闭集,若 C C C 中所有状态是互通的,称 C C C 是不可约的闭集。若马尔可夫链 { X n } \{X_n\} {Xn​} 的状态空间 I I I 是不可约的闭集,则称 { X n } \{X_n\} {Xn​} 为不可约的马尔可夫链。

  1. 按常返性和互通性进行状态空间的分解

    任一马尔可夫链的状态空间 I,可唯一地分解成有限个或可列个不相交的集 D , C 1 , C 2 , . . . D, C_1, C_2, ... D,C1​,C2​,... 之和,使得:

    1. 每一 C n , n = 1 , 2 , . . . C_n,\ n=1, 2, ... Cn​, n=1,2,... 是常返态组成的不可约闭集;
    2. C n , n = 1 , 2 , . . . C_n,\ n=1, 2, ... Cn​, n=1,2,... 中的状态同类,即或全是正常返,或全是零常返,它们有相同的周期,且 f j k = 1 , j , k ∈ C n f_{jk}=1,\ j,k \in C_n fjk​=1, j,k∈Cn​ ;
    3. D D D 是由全体非常返状态组成,自

      【有限马尔科夫链状态分解+Kosaraju 算法】基于Kosaraju 算法和可达矩阵的有限马尔科夫链状态分解相关推荐

      1. 隐马尔科夫模型,三个基本问题及相应算法

        隐马尔科夫模型基本问题及其相应的算法: 1.评估问题:概率计算问题:给定模型和观测序列,计算在模型下观测序列出现的概率. 前向.后向算法解决的是一个评估问题,即给定一个模型,求某特定观测序列的概率,用 ...

      2. 《统计学习方法(第2版)》李航 第19章 马尔可夫蒙特卡罗法 MCMC 思维导图笔记 及 课后全部习题答案(步骤详细, 包含Metropolis算法,吉布斯算法代码实现)第十九章

        思维导图: 19.1 用蒙特卡罗积分法求: ∫−∞∞x2exp⁡(−x22)dx\int_{-\infty}^{\infty} x^{2} \exp \left(-\frac{x^{2}}{2}\ri ...

      3. 【Python自然语言处理】隐马尔可夫模型中维特比(Viterbi)算法解决商务选择问题实战(附源码 超详细必看)

        需要源码请点赞关注收藏后评论区留言私信~~~ 一.统计分词 统计分词基本逻辑是把每个词语看做由单字组成,利用统计学原理计算连接字在不同文本中出现的次数,以此判断相连字属于特定词语的概率. 二.隐马尔可 ...

      4. 隐马尔可夫(HMM)、前/后向算法、Viterbi算法

        HMM的模型  图1 如上图所示,白色那一行描述由一个隐藏的马尔科夫链生成不可观测的状态随机序列,蓝紫色那一行是各个状态生成可观测的随机序列 话说,上面也是个贝叶斯网络,而贝叶斯网络中有这么一种,如下 ...

      5. 隐马尔可夫(HMM)、前/后向算法、Viterbi算法 再次总结

        本总结是是个人为防止遗忘而作,不得转载和商用. 说明:此篇是作者对"隐马尔可夫模型"的第二次总结,因此可以算作对上次总结的查漏补缺以及更进一步的理解,所以很多在第一次总结中已经整理 ...

      6. 隐马尔可夫模型(Baum Welch算法与Viterbi算法)

        1.Baum Welch算法就是EM算法,用于求解隐马尔可夫模型的Learing问题 2.隐马尔可夫模型的Decoding问题是指给定X与λ,求使得概率最大的隐状态序列 3.Decoding问题采取V ...

      7. Zlib压缩算法:LZ77、LZ78、霍夫曼编码、滑动窗口、Rabin-Karp算法、哈希链、I/O缓冲区

        Table of Contents 1.简介 1.1 什么是zlib 2.压缩算法 2.1 放气 2.2 LZ77 2.2.1 滑动窗口 2.2.2 长距离对 2.3 霍夫曼编码 3. zlib的实现 ...

      8. 区块链中的共识机制以及共识算法

        什么是共识 共识,从字面上来看,是在某方面达成一致.打个比方,一个部门最近来了几位新同事,部门主管为了欢迎新同事的加入,以能让新同事融入到新环境,提议下班后聚个餐,对于聚餐了,大伙对此举双手赞成,毕竟 ...

      9. 【区块链】Tendermint——概述、PoS共识算法与架构

        什么是 Tendermint? Tendermint 是一种能够为多台机器安全和保证数据一致性复制应用程序的软件.从安全性层面看,分布式系统中即使 1/3 的随机节点即使宕机了,Tendermint ...

      最新文章

      1. qq图片选择效果的处理
      2. linux孤立cpu,Linux 抛弃旧款 CPU,一下子少 50 万行代码
      3. 编写个shell脚本将/home/test 目录下大于10K的文件转移到/tmp目录下
      4. Java中的Google ClientLogin实用程序
      5. 反码、原码、补码的观点阐述
      6. Linux网络编程——I/O复用之select详解
      7. JSP中EL表达式说明
      8. Django自带的用户验证与事务管理的基本概念理解
      9. github快速通道
      10. kali linux虚拟机密码,[Linux]安装kali虚拟机后忘记root密码
      11. 简单-三层-存储过程-增删改《一》
      12. 政府数据泄漏频现 美国能源部也未幸免
      13. 基于python的opencv摄像头采集
      14. 计算机函数公式法计算出总分的式子,excel计算百分比公式的用法
      15. Lua FFI 实战
      16. java基于Springboot餐厅点餐系统-计算机毕业设计
      17. 体系结构第1章—基本概念
      18. 大理石分割(回溯法)
      19. 华东师范大学 数据科学与工程 829 2021考研真题
      20. 查漏补缺之(一)—— fasttext与TextCNN

      热门文章

      1. QT 安装 配置过程
      2. remosaic插值算法_图像插值算法及其实现
      3. 使用HBuilder开发移动APP
      4. 电路基础_模拟电路_问答_2023
      5. via自定义搜索引擎代码_Via浏览器定制进阶
      6. Python实现猜词游戏 Hangman Game(不带提示和带提示版本)
      7. 自动驾驶定位技术之争:融合定位才是出路
      8. Unity Rigidbody.AddForce 的 ForceMode
      9. Excel调整行高,鼠标右键直接选中一行进行调整了
      10. arm linux fpu,ARM处理器的浮点运算单元(FPU)