WSM - 版本历史

2026年7月19日 (日) 17:05 Alice

2026-07-19T17:05:05Z

←上一版本		2026年7月20日 (一) 01:05的版本
第6行：		第6行：
	令最后一列行数最大的有父项的项为 LNZ。如果没有这样的项，那么展开结果为原始矩阵去掉最后一列，不再进行后续步骤。		令最后一列行数最大的有父项的项为 LNZ。如果没有这样的项，那么展开结果为原始矩阵去掉最后一列，不再进行后续步骤。

	生成列：将某一列的 LNZ ~~以上高度的项替换到末列上，称为这一列的生成列。~~		生成列：将某一列的 LNZ 及以上高度的项替换到末列上，称为这一列的生成列。

	原始根：LNZ 的父项所在列。		原始根：LNZ 的父项所在列。
第16行：		第16行：
	# LNZ 的低一行的祖先项所在列（若LNZ位于第一行，则为所有其左侧的列）		# LNZ 的低一行的祖先项所在列（若LNZ位于第一行，则为所有其左侧的列）
	# 原始元素本身、其祖先项、其祖先项的子项所在列		# 原始元素本身、其祖先项、其祖先项的子项所在列
	# ~~生成列中的每一项要么无父项，要么父项是原始根的生成列的祖先项。~~		# 生成列中的每一项要么无父项，要么父项是原始根的生成列同行项的祖先项。

	待定根：原始元素本身及其祖先项所在列，且同时也在检测根中的列。		待定根：原始元素本身及其祖先项所在列，且同时也在检测根中的列。

2026年7月19日 (日) 16:36 Alice

2026-07-19T16:36:50Z

←上一版本		2026年7月20日 (一) 00:36的版本
第12行：		第12行：
	原始元素：原始根中行数最大的有父项元素。若不存在或其行数小于 LNZ，则变为原始根中与 LNZ 同行的元素。		原始元素：原始根中行数最大的有父项元素。若不存在或其行数小于 LNZ，则变为原始根中与 LNZ 同行的元素。

	~~检测根：满足以下三项要求的列即为检测根。~~		检测根：满足全部以下三项要求的列即为检测根。

	# LNZ 的低一行的祖先项所在列（若LNZ位于第一行，则为所有其左侧的列）		# LNZ 的低一行的祖先项所在列（若LNZ位于第一行，则为所有其左侧的列）

2026年7月19日 (日) 16:31 Alice

2026-07-19T16:31:03Z

←上一版本		2026年7月20日 (一) 00:31的版本
第14行：		第14行：
	检测根：满足以下三项要求的列即为检测根。		检测根：满足以下三项要求的列即为检测根。

	# LNZ ~~的下方一行的祖先项所在列（若LNZ位于第一行，则为所有其左侧的列）~~		# LNZ 的低一行的祖先项所在列（若LNZ位于第一行，则为所有其左侧的列）
	# 原始元素本身、其祖先项、其祖先项的子项所在列		# 原始元素本身、其祖先项、其祖先项的子项所在列
	# 生成列中的每一项要么无父项，要么父项是原始根的生成列的祖先项。		# 生成列中的每一项要么无父项，要么父项是原始根的生成列的祖先项。

2026年7月19日 (日) 14:10 Alice

2026-07-19T14:10:07Z

←上一版本		2026年7月19日 (日) 22:10的版本
第18行：		第18行：
	# 生成列中的每一项要么无父项，要么父项是原始根的生成列的祖先项。		# 生成列中的每一项要么无父项，要么父项是原始根的生成列的祖先项。

	~~待定根：原始元素本身及其祖先项所在列。~~		待定根：原始元素本身及其祖先项所在列，且同时也在检测根中的列。

	试展开：以某一列为试坏根的试展开为首先按 BMS 规则复制本列右侧一列到末列之间的部分一次，再将原矩阵的末列替换为原始根的生成列。		试展开：以某一列为试坏根的试展开为首先按 BMS 规则复制本列右侧一列到末列之间的部分一次，再将原矩阵的末列替换为原始根的生成列。

2026年7月19日 (日) 07:20 Alice

2026-07-19T07:20:07Z

←上一版本		2026年7月19日 (日) 15:20的版本
第20行：		第20行：
	待定根：原始元素本身及其祖先项所在列。		待定根：原始元素本身及其祖先项所在列。

	试展开：以某一列为试坏根的试展开为首先按 [[BMS]] 规则复制本列右侧一列到末列之间的部分一次，再将原矩阵的末列替换为原始根的生成列。		试展开：以某一列为试坏根的试展开为首先按 BMS 规则复制本列右侧一列到末列之间的部分一次，再将原矩阵的末列替换为原始根的生成列。

	小根：试展开字典序小于原始根试展开的最右侧的检测根。		小根：试展开字典序小于原始根试展开的最右侧的检测根。
第26行：		第26行：
	坏根：在小根右侧的最左侧的待定根。		坏根：在小根右侧的最左侧的待定根。

	最终展开：首先将末列替换为原始根的生成列，然后按 [[BMS]] 规则将坏根后一列到末列复制 n 次，最后删去末列。		最终展开：首先将末列替换为原始根的生成列，然后按 BMS 规则将坏根后一列到末列复制 n 次，最后删去末列。

	== 分析 ==		== 分析 ==
	单行 WSM 与 ISSS 完全相同。两行 WSM 在前期的行为与 ZSS Hydra 比较相似，由于 ZSS Hydra 尚未分析完，对 WSM 进行分析是极度困难的。显然有 WSM (0)(1,1) = [[EBO]] 。目前我们猜测 WSM (0)(1,1)(2) = [[ZSM]] (0)(1,1,1) 。		单行 WSM 与 ISSS 完全相同。两行 WSM 在前期的行为与 [[ZSS Hydra]] 比较相似，由于 ZSS Hydra 尚未分析完，对 WSM 进行分析是极度困难的。显然有 WSM (0)(1,1) = [[EBO]] 。目前我们猜测 WSM (0)(1,1)(2) = ZSM (0)(1,1,1) 。

	{{默认排序:个人记号}}		{{默认排序:个人记号}}
	[[分类:记号]]		[[分类:记号]]

2026年7月19日 (日) 07:19 Alice

2026-07-19T07:19:27Z

←上一版本		2026年7月19日 (日) 15:19的版本
第20行：		第20行：
	待定根：原始元素本身及其祖先项所在列。		待定根：原始元素本身及其祖先项所在列。

	试展开：以某一列为试坏根的试展开为首先按 [[BMS]] ~~规则复制本列右侧一列到末列之间的部分一次，再将原矩阵的末列替换为原始根的生成列，最后进行额外边处理。~~		试展开：以某一列为试坏根的试展开为首先按 [[BMS]] 规则复制本列右侧一列到末列之间的部分一次，再将原矩阵的末列替换为原始根的生成列。

	小根：试展开字典序小于原始根试展开的最右侧的检测根。		小根：试展开字典序小于原始根试展开的最右侧的检测根。
第29行：		第29行：

	== 分析 ==		== 分析 ==
	单行 WSM 与 ISSS 完全相同。两行 WSM 在前期的行为与 ZSS Hydra 比较相似，由于 ZSS Hydra 尚未分析完，对 WSM 进行分析是极度困难的。显然有 WSM (0)(1,1) = EBO 。目前我们猜测 WSM (0)(1,1)(2) = [[ZSM]] (0)(1,1,1) 。		单行 WSM 与 ISSS 完全相同。两行 WSM 在前期的行为与 ZSS Hydra 比较相似，由于 ZSS Hydra 尚未分析完，对 WSM 进行分析是极度困难的。显然有 WSM (0)(1,1) = [[EBO]] 。目前我们猜测 WSM (0)(1,1)(2) = [[ZSM]] (0)(1,1,1) 。

	{{默认排序:个人记号}}		{{默认排序:个人记号}}
	[[分类:记号]]		[[分类:记号]]

2026年7月14日 (二) 01:01 Alice

2026-07-14T01:01:05Z

←上一版本		2026年7月14日 (二) 09:01的版本
第29行：		第29行：

	== 分析 ==		== 分析 ==
	WSM 在前期的行为与 ZSS Hydra 比较相似，由于 ZSS Hydra 尚未分析完，对 WSM 进行分析是极度困难的。显然有 WSM (0)(1,1) = EBO 。目前我们猜测 WSM (0)(1,1)(2) = [[ZSM]] (0)(1,1,1) 。		单行 WSM 与 ISSS 完全相同。两行 WSM 在前期的行为与 ZSS Hydra 比较相似，由于 ZSS Hydra 尚未分析完，对 WSM 进行分析是极度困难的。显然有 WSM (0)(1,1) = EBO 。目前我们猜测 WSM (0)(1,1)(2) = [[ZSM]] (0)(1,1,1) 。

	{{默认排序:个人记号}}		{{默认排序:个人记号}}
	[[分类:记号]]		[[分类:记号]]

2026年7月13日 (一) 08:15 Alice

2026-07-13T08:15:44Z

←上一版本		2026年7月13日 (一) 16:15的版本
第9行：		第9行：

	原始根：LNZ 的父项所在列。		原始根：LNZ 的父项所在列。

			原始元素：原始根中行数最大的有父项元素。若不存在或其行数小于 LNZ，则变为原始根中与 LNZ 同行的元素。

	检测根：满足以下三项要求的列即为检测根。		检测根：满足以下三项要求的列即为检测根。

	# LNZ 的下方一行的祖先项所在列（若LNZ位于第一行，则为所有其左侧的列）		# LNZ 的下方一行的祖先项所在列（若LNZ位于第一行，则为所有其左侧的列）
	# ~~LNZ 本行祖先项，或非父项祖先项的子项所在列~~		# 原始元素本身、其祖先项、其祖先项的子项所在列
	# 生成列中的每一项要么无父项，要么父项是原始根的生成列的祖先项。		# 生成列中的每一项要么无父项，要么父项是原始根的生成列的祖先项。

	~~待定根：LNZ 的祖先项所在列。~~		待定根：原始元素本身及其祖先项所在列。

	试展开：以某一列为试坏根的试展开为首先按 [[BMS]] 规则复制本列右侧一列到末列之间的部分一次，再将原矩阵的末列替换为原始根的生成列，最后进行额外边处理。		试展开：以某一列为试坏根的试展开为首先按 [[BMS]] 规则复制本列右侧一列到末列之间的部分一次，再将原矩阵的末列替换为原始根的生成列，最后进行额外边处理。
第25行：		第27行：

	最终展开：首先将末列替换为原始根的生成列，然后按 [[BMS]] 规则将坏根后一列到末列复制 n 次，最后删去末列。		最终展开：首先将末列替换为原始根的生成列，然后按 [[BMS]] 规则将坏根后一列到末列复制 n 次，最后删去末列。

	~~=== 额外边问题 ===~~
	[[BSM]] 的定义中含有额外添加的边。这些边是否是必要的目前还不清楚。WSM 有含有额外边与不含额外边两种版本。两者的首个分歧出现在 (0)(1,1)(2)(1)(2,1)(3) ，分别将该表达式展开为 (0)(1,1)(2)(1)(2,1)(2,1)(3,2)(4)(3)(4,1)(4,1)(5,2)(6)(5)(6,1)…… 与 (0)(1,1)(2)(1)(2,1)(2,1)(3,2)(4)(3,1)(4,2)(4,2)(5,3)(6)(5,2)(6,3)…… 。

	如果要添加额外边，则将 LNZ 的祖先项经过的列标记为特殊列。在复制时，若被复制列是特殊列，且存在一项没有父项但原始根的同行有父项，则将原始根列的同行项代替本列的无父项的项复制到目标列中。第 k 次复制时这种特殊复制得到的项父项平移 k-1 个复制宽度。试展开复制视为第 1 次复制。

	== 分析 ==		== 分析 ==
	对 WSM 进行分析是极度困难的。显然有 WSM (0)(1,1) = EBO 。目前我们猜测 WSM (0)(1,1)(2) = [[ZSM]] (0)(1,1,1) 。		WSM 在前期的行为与 ZSS Hydra 比较相似，由于 ZSS Hydra 尚未分析完，对 WSM 进行分析是极度困难的。显然有 WSM (0)(1,1) = EBO 。目前我们猜测 WSM (0)(1,1)(2) = [[ZSM]] (0)(1,1,1) 。

	{{默认排序:个人记号}}		{{默认排序:个人记号}}
	[[分类:记号]]		[[分类:记号]]

2026年7月11日 (六) 06:09 Alice

2026-07-11T06:09:51Z

←上一版本		2026年7月11日 (六) 14:09的版本
第29行：		第29行：
	[[BSM]] 的定义中含有额外添加的边。这些边是否是必要的目前还不清楚。WSM 有含有额外边与不含额外边两种版本。两者的首个分歧出现在 (0)(1,1)(2)(1)(2,1)(3) ，分别将该表达式展开为 (0)(1,1)(2)(1)(2,1)(2,1)(3,2)(4)(3)(4,1)(4,1)(5,2)(6)(5)(6,1)…… 与 (0)(1,1)(2)(1)(2,1)(2,1)(3,2)(4)(3,1)(4,2)(4,2)(5,3)(6)(5,2)(6,3)…… 。		[[BSM]] 的定义中含有额外添加的边。这些边是否是必要的目前还不清楚。WSM 有含有额外边与不含额外边两种版本。两者的首个分歧出现在 (0)(1,1)(2)(1)(2,1)(3) ，分别将该表达式展开为 (0)(1,1)(2)(1)(2,1)(2,1)(3,2)(4)(3)(4,1)(4,1)(5,2)(6)(5)(6,1)…… 与 (0)(1,1)(2)(1)(2,1)(2,1)(3,2)(4)(3,1)(4,2)(4,2)(5,3)(6)(5,2)(6,3)…… 。

	如果要添加额外边，则将 LNZ 的祖先项经过的列标记为特殊列。在复制时，若被复制列是特殊列，且存在一个项没有父项但原始根的同行有父项，则将原始根列的同行项代替本列的无父项的项复制到目标列中。第 k 次复制时这种特殊复制得到的项父项平移 k-1 个复制宽度。试展开复制视为第 1 次复制。		如果要添加额外边，则将 LNZ 的祖先项经过的列标记为特殊列。在复制时，若被复制列是特殊列，且存在一项没有父项但原始根的同行有父项，则将原始根列的同行项代替本列的无父项的项复制到目标列中。第 k 次复制时这种特殊复制得到的项父项平移 k-1 个复制宽度。试展开复制视为第 1 次复制。

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

2026年7月11日 (六) 06:09 Alice

2026-07-11T06:09:39Z

←上一版本		2026年7月11日 (六) 14:09的版本
第29行：		第29行：
	[[BSM]] 的定义中含有额外添加的边。这些边是否是必要的目前还不清楚。WSM 有含有额外边与不含额外边两种版本。两者的首个分歧出现在 (0)(1,1)(2)(1)(2,1)(3) ，分别将该表达式展开为 (0)(1,1)(2)(1)(2,1)(2,1)(3,2)(4)(3)(4,1)(4,1)(5,2)(6)(5)(6,1)…… 与 (0)(1,1)(2)(1)(2,1)(2,1)(3,2)(4)(3,1)(4,2)(4,2)(5,3)(6)(5,2)(6,3)…… 。		[[BSM]] 的定义中含有额外添加的边。这些边是否是必要的目前还不清楚。WSM 有含有额外边与不含额外边两种版本。两者的首个分歧出现在 (0)(1,1)(2)(1)(2,1)(3) ，分别将该表达式展开为 (0)(1,1)(2)(1)(2,1)(2,1)(3,2)(4)(3)(4,1)(4,1)(5,2)(6)(5)(6,1)…… 与 (0)(1,1)(2)(1)(2,1)(2,1)(3,2)(4)(3,1)(4,2)(4,2)(5,3)(6)(5,2)(6,3)…… 。

	如果要添加额外边，则将 LNZ 的祖先项经过的列标记为特殊列。在复制时，若被复制列是特殊列，且存在一个项没有父项但原始根列的同行有父项，则将原始根列的同行项代替本列的无父项的项复制到目标列中。第 k 次复制时这种特殊复制得到的项父项平移 k-1 个复制宽度。试展开复制视为第 1 次复制。		如果要添加额外边，则将 LNZ 的祖先项经过的列标记为特殊列。在复制时，若被复制列是特殊列，且存在一个项没有父项但原始根的同行有父项，则将原始根列的同行项代替本列的无父项的项复制到目标列中。第 k 次复制时这种特殊复制得到的项父项平移 k-1 个复制宽度。试展开复制视为第 1 次复制。

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