2026年6月12日 (五) 12:20 Z

2026-06-12T12:20:52Z

←上一版本		2026年6月12日 (五) 20:20的版本
第8行：		第8行：
	我们定义<math>A(m,n)</math>是UPMS中，第m列第n行的元素。		我们定义<math>A(m,n)</math>是UPMS中，第m列第n行的元素。

	如果元素的祖先项不包含坏根中的元素，那么该元素不加阶差向量。		'''如果元素的祖先项不包含坏根中的元素，那么该元素不加阶差向量。'''

	~~设<math>2\leq k<\text{LNZ的行数}</math>。如果一个元素a的父项在坏根列之内，设其在第i列，第k行。~~		如果一个元素a的父项在坏根列之内，设其在第i列，第k行。

	如果a的同列上方的元素是不加阶差向量的，那么它也不加；如果a的同列下方存在一项，该项的父项不在坏根列，那么a不加阶差向量。		'''如果a的同列上方的元素是不加阶差向量的，那么它也不加；如果a的同列下方存在一项，该项的父项不在坏根列，那么a不加阶差向量。'''

	如果都不是，那么向右逐列收集不小于<math>(A(i,1)+1,A(i,2)+1,\cdots,A(i,k)+1,A(i,k+1))</math>的列，遇到不符合的列就停止不再收集。得到矩阵X为该元素的原检查式。		如果都不是，那么向右逐列收集不小于<math>(A(i,1)+1,A(i,2)+1,\cdots,A(i,k)+1,A(i,k+1))</math>的列，遇到不符合的列就停止不再收集。得到矩阵X为该元素的原检查式。
第24行：		第24行：
	对于<math>1\leq s\leq k-1</math>,如果Y中行标为s的一项，祖先项包括列j的元素，那么把它加上<math>x-A(j,s)</math>。得到的为Y'，是a的基准。		对于<math>1\leq s\leq k-1</math>,如果Y中行标为s的一项，祖先项包括列j的元素，那么把它加上<math>x-A(j,s)</math>。得到的为Y'，是a的基准。

	如果X'的字典序小于Y'，那么a是不加阶差向量的。		'''如果X'的字典序小于Y'，那么a是不加阶差向量的。'''

	最后，额外的检查一下a在坏部中的祖先项是否全部加阶差向量。如果有任何一项不加阶差向量，那么a也不加阶差向量。		'''最后，额外的检查一下a在坏部中的祖先项是否全部加阶差向量。如果有任何一项不加阶差向量，那么a也不加阶差向量。'''

	如果上述都不符合，那么a加阶差向量。		'''如果上述都不符合，那么a加阶差向量。'''

	== 分析 ==		== 分析 ==

Z：创建页面，内容为“UPMS（Unupgrading Projection Matrix System），是test_alpha0制作的序数记号。它目前被认为是理想的无提升BMS。 == 定义 == UPMS的合法表达式与绝大部分规则都与BMS相同，此处不再赘述，只在坏部中，多出一些特殊的元素不加阶差向量。在展开流程中，当我们按照BMS的规则判断好部、坏部、阶差向量，我们需要进行以下额外的工作判断坏部中哪些…”

2026-06-12T12:15:48Z

创建页面，内容为“UPMS（Unupgrading Projection Matrix System），是test_alpha0制作的序数记号。它目前被认为是理想的无提升BMS。 == 定义 == UPMS的合法表达式与绝大部分规则都与BMS相同，此处不再赘述，只在坏部中，多出一些特殊的元素不加阶差向量。在展开流程中，当我们按照BMS的规则判断好部、坏部、阶差向量，我们需要进行以下额外的工作判断坏部中哪些…”

新页面

UPMS（Unupgrading Projection Matrix System），是test_alpha0制作的[[序数记号]]。它目前被认为是理想的无提升BMS。

== 定义 ==
UPMS的合法表达式与绝大部分规则都与[[BMS#定义|BMS]]相同，此处不再赘述，只在坏部中，多出一些特殊的元素不加阶差向量。

在展开流程中，当我们按照BMS的规则判断好部、坏部、阶差向量，我们需要进行以下额外的工作判断坏部中哪些项不加阶差向量，我们需要从第2行开始从左到右依次判定。第2行判定结束后转向第3行，以此类推。

我们定义<math>A(m,n)</math>是UPMS中，第m列第n行的元素。

如果元素的祖先项不包含坏根中的元素，那么该元素不加阶差向量。

设<math>2\leq k<\text{LNZ的行数}</math>。如果一个元素a的父项在坏根列之内，设其在第i列，第k行。

如果a的同列上方的元素是不加阶差向量的，那么它也不加；如果a的同列下方存在一项，该项的父项不在坏根列，那么a不加阶差向量。

如果都不是，那么向右逐列收集不小于<math>(A(i,1)+1,A(i,2)+1,\cdots,A(i,k)+1,A(i,k+1))</math>的列，遇到不符合的列就停止不再收集。得到矩阵X为该元素的原检查式。

在末列的第k行元素的祖先项中，找到其中一个满足其父项在坏根列的成员b，记b处于第j列。记第j列到末列的矩阵部分为Y，为a的原基准。如果不存在b，那么j是末列列标，Y就是末列。

记x为UPMS中，所有元素的最大值×2.

对于<math>1\leq s\leq k-1</math>,如果X中行标为s的一项经过判定是加阶差向量的，那么把它加上<math>x-A(i,s)</math>。得到的为X'，是a的检查式。

对于<math>1\leq s\leq k-1</math>,如果Y中行标为s的一项，祖先项包括列j的元素，那么把它加上<math>x-A(j,s)</math>。得到的为Y'，是a的基准。

如果X'的字典序小于Y'，那么a是不加阶差向量的。

最后，额外的检查一下a在坏部中的祖先项是否全部加阶差向量。如果有任何一项不加阶差向量，那么a也不加阶差向量。

如果上述都不符合，那么a加阶差向量。

== 分析 ==
主词条：[[UPMS VS 投影OCF]]

UPMS被认为极限和BMS相同。但是，UPMS与[[投影序数|投影]][[序数坍缩函数|OCF]]的对应关系依然十分杂乱。
{{默认排序:序数记号}}
[[分类:记号]]

UPMS - 版本历史

2026年6月12日 (五) 12:20 Z