| 首先定义<math>s^{(t)}</math>表示系统在<math>t</math>时刻的微观状态,微观状态空间为<math>S=\{s_1, s_2, ... ,s_n\}</math>。 | | 首先定义<math>s^{(t)}</math>表示系统在<math>t</math>时刻的微观状态,微观状态空间为<math>S=\{s_1, s_2, ... ,s_n\}</math>。 |
− | 给定一个任意state partition <math>A=\{A_1, A_2, ... ,A_r\}</math>,也可以把其理解为宏观的状态空间。<math>S</math> 和 <math>A</math> 之间的Hard Partition映射关系为:<math>A_i \in S, A_i \neq \empty, A_i \cap A_j = \empty , \forall i, j, \cup_i A_i = S</math>。这种映射关系是指,<math>A</math>中的每个元素<math>A_i</math>都包括了若干个<math>s_i</math>。<math>A_i</math>和<math>A_j</math>之间没有交集,即每个<math>s_i</math>不会同时属于<math>A_i</math>和<math>A_j</math>。最后,<math>S</math>中的每个元素必须属于某个<math>A</math>的元素,即<math>A</math>覆盖了<math>S</math>。 | + | 给定一个任意state partition <math>A=\{A_1, A_2, ... ,A_r\}</math>,也可以把其理解为宏观的状态空间。<math>S</math> 和 <math>A</math> 之间的Hard Partition映射关系为:<math>A_i \in S, A_i \neq \empty, A_i \cap A_j = \empty , \forall i, j, \cup_i A_i = S</math>。这种映射关系是指:<math>A</math>中的每个元素<math>A_i</math>都包括了若干个<math>s_i</math>;<math>A_i</math>和<math>A_j</math>之间没有交集,即每个<math>s_i</math>不会同时属于<math>A_i</math>和<math>A_j</math>;<math>S</math>中的每个元素必须属于某个<math>A</math>的元素,即<math>A</math>覆盖了<math>S</math>。 |