查看“︁DSM”︁的源代码

DSM，全称 Diagonal Sudden Matrix，是 Alice 于 2026 年 4 月末创作的一个记号。

== 定义 ==
DSM的表达式为一个若干行若干列的数值矩阵，极限表达式为 (0)(1)(2,1)(3,2,1)(4,3,2,1)…… 其中无数值的部分视为 0。能从极限表达式通过若干次展开或取前驱得到的表达式为标准表达式。

'''方向'''：以下所说“下”为行数减小、“上”为行数增大、“左”为列数减小、“右”为列数增大。

=== 名词定义 ===

==== 基础名词 ====
'''项'''：每一行每一列为一项。无数值的位置也被视为一项，其数值为 0。

'''父项'''：数值为 0 的项没有父项。数值大于0的项的父项为其同行左侧最右侧的小于本项数值，且下方 1 项属于本项下方 1 项的项的祖先链的项。父项一定位于本行。

'''祖先链'''：某一项不断取父项得到的链。

'''父项矩阵'''：指记录数值矩阵每一项的父项所在列生成的矩阵。没有父项的位置置空。（注意：置空与 0 不同， 0 代表父项在第 0 列）

==== 父项矩阵上的定义 ====
'''左下项'''：位于第 0 行的项没有左下项。下方 1 行的项没有父项的项没有左下项。其他项的左下项为下方 1 行的项的父项。

'''复制'''：将位置在 x1 行 y1 列的项、父项为 p1 列的项复制到第 x2 行 y2 列，参考列为 a 列，指在目标矩阵的 x2 行 y2 列生成一项，其父项 p2 列。若 p1 为空（无父项），则 p2 为空。否则若 p1 < a，则 p2 = p1，否则 p2 = p1 + y2 - y1。若待复制位置已经有项，新生成的项会替换掉原始的项。（注意：复制为从原始矩阵复制一项到目标矩阵，不会改变原始矩阵）

'''还原矩阵'''：由父项矩阵生成一个数值矩阵，其中父项矩阵为空的项值为 0，否则为其父项对应在还原矩阵中的数值 + 1。（注意：每一行的父项关系构成若干棵树，因此可以按深度生成每一项）

==== 前置项 ====
有父项的项没有前置项。没有左下项的项没有前置项。否则进入以下流程，最初的当前项为本项：

# 找到当前项的左下项，若其无父项，则其为前置项并结束。
# 找到当前项左下项的上方 1 行的项，若其无父项，则其为前置项并结束。
# 令当前项为其左下项的上方 1 行的项，回到第 1 步。

如果某一步失败了（找不到所要找的项），则视为无前置项。

==== 寻找坏项相关的定义 ====
'''LNZ'''：父项矩阵最右侧的一列中最上方一个有父项的项。

'''检测项'''：从 LNZ 的父项开始，依次提取其前置项，得到一个链。（包含 LNZ 的父项本身）

'''待定坏项'''：每一行最右侧的一个检测项为待定坏项。

'''magma'''：展开的两种模式，影响展开结果。

'''试展开'''：指以 strong magma 展开 1 次。

'''最终展开'''：指以 weak magma 展开后删除最右列，得到的矩阵的还原矩阵。

'''比较矩阵'''：以某一项作为试坏项进行试展开，得到的矩阵的还原矩阵。

'''标准矩阵'''：LNZ 的父项的比较矩阵。

==== 矩阵比较 ====
数值矩阵列字典序比较：从下到上比较每一项，其中最上方的 0 不参与比较。若比较完所有项仍未分出大小，则仍有未比较项的列更大。

数值矩阵字典序比较：从左到右比较每一列。若比较完所有列仍未分出大小，则仍有未比较列的矩阵更大。

=== 展开 ===
展开接受一个父项矩阵、一个试坏项和一个展开次数，并返回一个父项矩阵。

试坏项位于 xS 行 yS 列。接受的父项矩阵的 LNZ 位于 xE 行 yE 列。令 dX = xE - xS, dY = yE - yS。

首先，找到父项矩阵的 LNZ。若 LNZ 与试坏项位于同一行，则进行小展开，否则进行完全展开。首先将原始矩阵复制一份，作为目标矩阵。

==== 小展开 ====
strong magma 与 weak magma 的小展开一致。

若展开次数为 n，以下步骤重复 k 从 1 到 n。复制以 yS 列为参考列。

首先，将第 yE 列的 0 到 xE - 1 行的项复制到同行第 yS + dY * k 列，将第 yS 列的 xE 及以上行的项复制到同行第 yS + dY * k 列。

接下来，将第 yS + 1 到第 yE 列的每一列的每一项（位于第 j 列）复制到同行第 j + dY * k 列。

事实上，小展开与 BMS、0-Y 的展开规则是一致的。

==== 完全展开 ====
复制以 yS 列为参考列。

首先进行'''平行复制'''：以下步骤重复 k 从 1 到 n。

将第 yS + 1 到第 yE 列的每一列的每一项（位于第 j 列），除 LNZ 以外，复制到同行第 j + dY * k 列。

接下来找到'''上升项'''与'''填充项'''：

所有上升项必须位于 xS 行及其上方。其下方的项即使满足要求也不能成为上升项。

# 若某一项的父项为上升项，则本项为上升项。
# 若某一项的左下项为上升项，则本项为上升项。
# 若某一项上方 1 行的项为上升项，则本项为上升项。
# 若为 strong magma 展开，则若某一项与坏项位于同一行，且其下方一项的祖先项包含坏项的下方一项，则本项为上升项。如果本项与坏项都位于第 0 行，本条件视为成立。

所有填充项必须位于 xS 行。

# 若某一项的父项是坏项或填充项，则本项是填充项。
# 若为 strong magma 展开，则若某一项下方一项的祖先项包含坏项的下方一项，则本项为填充项。如果本项与坏项都位于第 0 行，本条件视为成立。

接下来进行'''上升复制'''：以下步骤重复 k 从 1 到 n。

# 将所有上升项（位于第 i 行第 j 列）复制到 i + dX * k 行 j + dY * k 列。

接下来进行'''填充复制'''：以下步骤重复 k 从 1 到 n。

# 若为 weak magma 展开，将所有填充项（位于第 j 列）分别复制到第 j + dY * k 列的第 xS 行到第 xS + dX * k - 1 行。
# 若为 strong magma 展开，将所有填充项（位于第 j 列）的下方一项分别复制到第 j + dY * k 列的第 xS 行到第 xS + dX * k - 1 行。若填充项位于第 0 行，则被复制的项为一个父项为左侧相邻一列的虚拟项。

事实上，完全展开与 1-Y 的展开过程是很相似的。

=== 最终展开 ===
若最初矩阵的最右列所有项均为 0，则其为'''后继矩阵'''，删除最右列并不进行展开，得到的矩阵为其前驱。否则为'''极限矩阵'''，取其父项矩阵。

从右到左找到每一个检测项，并生成其比较矩阵。若当前候选项的比较矩阵字典序小于标准矩阵，则其右侧最左的待定坏项为坏项，并结束比较。若比较完所有候选项仍未找到坏项，则最左的待定坏项为坏项。

以坏项进行最终展开 n 次，得到的矩阵即为最初矩阵的基本列第 n 项。

== 分析 ==
目前已分析至 DSM (0)(1)(2,1)(3)(1)(2)(3,1)(4,2,1)(5,1)(4,2,1)(5) = Y(1,3,9,25,26)。

据分析，DSM 在 Y(1,3,9,25,26,3) 前方出现了极大的弱化。这可能意味着对类 Y 序列的记号简单增加 Sudden 会遇到与 BSM 等记号类似的问题，而无法真正增加强度。

0 ~ Y(1,3,7) : [[DSM分析Part1]]

Y(1,3,7) ~ Y(1,3,9) : [[DSM分析Part2]]

Y(1,3,9) ~ Y(1,3,9,25) : [[DSM分析Part3]]{{默认排序:个人记号}}
[[分类:记号]]