行向量 × 转移矩阵 · 留下完整的概率去向
此刻在这里，和此前到过这里
选定目标状态，看上一步的三份概率怎样流入它。“曾到过”另带一个访问标记：一旦到过，即使后来离开，这条路径仍算入事件。
一步规则 P
| 从 ↓ 到 → | 0 | 1 | 2 |
|---|---|---|---|
| 0 | |||
| 1 | |||
| 2 |
第 0 步分布 μ₀
每行和、初始分布和都必须为1。修改一项后，请相应调整同一行；非法输入期间暂停结果，不做自动归一化。
分布 μₙ
流入目标的三项贡献
此刻在目标
此前到过目标（含第0步）
| 来源 i | μₙ₋₁(i) | Pᵢⱼ | 流入贡献 |
|---|
两个事件沿时间的差别
此刻在目标此前到过目标
访问标记保留什么
| 当前状态 | 从未到过目标 | 已经到过目标 |
|---|
短路径逐条核对
| 完整路径 | 初始 × 一步因子 | 概率 | 此刻在目标 | 此前到过目标 |
|---|