查看“︁WSM”︁的源代码

WSM 是 Alice 于 2026 年 5 月创作的记号。其可被视为对 IBSM（ZSM）的进一步加强。

== 定义 ==
首先寻找每个元素的父项，与 [[BMS]] 相同。

令最后一列行数最大的有父项的项为 LNZ。如果没有这样的项，那么展开结果为原始矩阵去掉最后一列，不再进行后续步骤。

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

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

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

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

待定根：LNZ 的祖先项所在列。

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

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

坏根：在小根右侧的最左侧的待定根。

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

=== 额外边问题 ===
[[BSM]] 的定义中含有额外添加的边。这些边是否是必要的目前还不清楚。WSM 有含有额外边与不含额外边两种版本。

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

== 分析 ==
对 WSM 进行分析是极度困难的。目前我们猜测 WSM (0)(1,1)(2) = [[ZSM]] (0)(1,1,1) 。