97
个编辑
更改
→粗粒化
而且，有资料中还提到了粗粒化的交换律commutative<ref name=":2" />。按照上面的定义，<math>s_t</math>有两个路径能达到<math>s_{t+1}'</math>：
而且，有资料中还提到了粗粒化的交换律commutative<ref name=":2" />。按照上面的定义，<math>s^{(t)}</math>有两个路径能达到<math>s'^{(t+1)}</math>：
#先得到下一步的<math>s_{t+1} = s_{t} P</math>，再做粗粒化得到<math>s_{t+1}' = R(s_{t+1})</math>
#先得到下一步的<math>s^{(t+1)} = s^{(t)} P</math>，再做粗粒化得到<math>s'^{(t+1)} = R(s^{(t+1)})</math>
# 先做粗粒化得到<math>s_{t}' = R(s_{t})</math>，再得到下一步的<math>s_{t+1}' = s_{t}' P'</math>
# 先做粗粒化得到<math>s'^{(t)} = R(s^{(t)})</math>，再得到下一步的<math>s'^{(t+1)} = s'^{(t)} P'</math>
而交换律则要求从这两条路径得到的结果应该是一样的，即<math> R(s_{t} P) = R(s_{t}) P'</math>。
而交换律则要求从这两条路径得到的结果应该是一样的，即<math> R(s_{t} P) = R(s_{t}) P'</math>。