概率双映射

在理论计算机科学中，概率双映射首次描述的完全概率过渡系统的双映射概念的延伸。执行行动a，最后到达状态t的概率。没有试图将概率分配给行动。

假设行动是由对手或环境非决定性地选择的。这种类型的系统是完全概率的，没有其他不确定性。系统S的概率双映射的定义是状态空间St上的等价关系R，这样对于St中的每一对s,t都有sRt，对于Act中的每一个行动a，对于R的每一个等价类Cτ(s,a,C)=τ(t,a,C)。

如果有一些这样的R将它们联系起来，那么两个状态就被说成是概率上双相似的。当应用于马尔科夫链时，概率双映射与整体性是同一个概念。概率双映射自然延伸到加权双映射。