BLP - 版本历史

Phyrion：/* 概念介绍 */

2026-02-25T09:52:41Z

概念介绍

←上一版本		2026年2月25日 (三) 17:52的版本
第10行：		第10行：
	图案(Pattern):BLP的图案就是BLP的表达式。形式为一个个圆圈○构成的图。		图案(Pattern):BLP的图案就是BLP的表达式。形式为一个个圆圈○构成的图。
	[[文件:blp示例图.png\|左\|缩略图\|示例]]		[[文件:blp示例图.png\|左\|缩略图\|示例]]



第36行：		第35行：

	S(Simplify):简化。简化图案同样不会改变图案大小，并且分析的都是简化后的表达式。简化后的表达式是真正意义上的“标准式”。		S(Simplify):简化。简化图案同样不会改变图案大小，并且分析的都是简化后的表达式。简化后的表达式是真正意义上的“标准式”。

			=== 完整定义 ===
			待补充

			=== 如何分析BLP ===

Phyrion：/* 概念介绍 */

2026-02-25T09:38:07Z

概念介绍

←上一版本		2026年2月25日 (三) 17:38的版本
第16行：		第16行：


			瞬态图案(Transient Pattern):类似于序列记号中的“非标准式”。我们需要将其Modify或Cut为Limit Pattern或Successor Pattern后才能继续分析。

	瞬态图案(Transient Pattern):类似于序列记号中的“非标准式”。我们需要将其Modify或Cut为Limit Pattern或Successor Pattern后才能继续分析。		瞬态图案(Transient Pattern):类似于序列记号中的“非标准式”。我们需要将其Modify或Cut为Limit Pattern或Successor Pattern后才能继续分析。

2026年2月25日 (三) 09:37 Phyrion

2026-02-25T09:37:49Z

←上一版本		2026年2月25日 (三) 17:37的版本
第10行：		第10行：
	图案(Pattern):BLP的图案就是BLP的表达式。形式为一个个圆圈○构成的图。		图案(Pattern):BLP的图案就是BLP的表达式。形式为一个个圆圈○构成的图。
	[[文件:blp示例图.png\|左\|缩略图\|示例]]		[[文件:blp示例图.png\|左\|缩略图\|示例]]

2026年2月25日 (三) 09:37 Phyrion

2026-02-25T09:37:31Z

←上一版本		2026年2月25日 (三) 17:37的版本
第7行：		第7行：
	此条目目前以介绍展开器的使用为主。		此条目目前以介绍展开器的使用为主。

	概念介绍		=== 概念介绍 ===
			图案(Pattern):BLP的图案就是BLP的表达式。形式为一个个圆圈○构成的图。
			[[文件:blp示例图.png\|左\|缩略图\|示例]]



	~~图案(Pattern):BLP的图案就是BLP的表达式。形式为一个个圆圈○构成的图。~~

	~~(示例图)~~

	瞬态图案(Transient Pattern):类似于序列记号中的“非标准式”。我们需要将其Modify或Cut为Limit Pattern或Successor Pattern后才能继续分析。		瞬态图案(Transient Pattern):类似于序列记号中的“非标准式”。我们需要将其Modify或Cut为Limit Pattern或Successor Pattern后才能继续分析。
第21行：		第23行：
	零图案(Zero Pattern):代表序数0。		零图案(Zero Pattern):代表序数0。

	操作		=== 操作 ===

	在BLP的展开器中，能对初始图案进行一系列的操作，展开器中的初始图案相当于BLP极限表达能力的基本列第4项。据test_alpha0所说，κ^10_3≥γ_f_此图案对应的序数(2)。由于对图案进行任何操作后对应的序数只会不变或减小，因此初始图案就相当于当前的极限表达式。		在BLP的展开器中，能对初始图案进行一系列的操作，展开器中的初始图案相当于BLP极限表达能力的基本列第4项。据test_alpha0所说，κ^10_3≥γ_f_此图案对应的序数(2)。由于对图案进行任何操作后对应的序数只会不变或减小，因此初始图案就相当于当前的极限表达式。

2026年2月22日 (日) 08:55 Phyrion

2026-02-22T08:55:46Z

←上一版本		2026年2月22日 (日) 16:55的版本
第23行：		第23行：
	操作		操作

	~~在BLP的展开器中，能对初始图案进行一系列的操作，展开器中的初始图案相当于BLP极限表达能力的基本列第4项。~~		在BLP的展开器中，能对初始图案进行一系列的操作，展开器中的初始图案相当于BLP极限表达能力的基本列第4项。据test_alpha0所说，κ^10_3≥γ_f_此图案对应的序数(2)。由于对图案进行任何操作后对应的序数只会不变或减小，因此初始图案就相当于当前的极限表达式。

	M(Modify):修改，严格来说是“变换”，因为Modify并不会改变表达式的大小。#和#M对应的序数完全相同。		M(Modify):修改，严格来说是“变换”，因为Modify并不会改变表达式的大小。#和#M对应的序数完全相同。

2026年2月21日 (六) 19:08 Phyrion

2026-02-21T19:08:07Z

←上一版本		2026年2月22日 (日) 03:08的版本
第22行：		第22行：

	操作		操作

			在BLP的展开器中，能对初始图案进行一系列的操作，展开器中的初始图案相当于BLP极限表达能力的基本列第4项。

	M(Modify):修改，严格来说是“变换”，因为Modify并不会改变表达式的大小。#和#M对应的序数完全相同。		M(Modify):修改，严格来说是“变换”，因为Modify并不会改变表达式的大小。#和#M对应的序数完全相同。

2026年2月21日 (六) 18:57 Phyrion

2026-02-21T18:57:51Z

←上一版本		2026年2月22日 (日) 02:57的版本
第1行：		第1行：
	~~BLP是由大群群主test_alpha0在其25年1月的~~[https://arxiv.org/abs/2501.06733 论文]中提出的记号，被用于估计[[Laver Table\|LT]]的下界。虽然BLP提取自[[Laver Table Yarn\|LTY]]，但是强度上BLP<LT<LTY。		基本Laver图案(Basic Laver Pattren,BLP)是由大群群主test_alpha0在其25年1月的[https://arxiv.org/abs/2501.06733 论文]中提出的记号，被用于估计[[Laver Table\|LT]]的下界。虽然BLP提取自[[Laver Table Yarn\|LTY]]，但是强度上BLP<LT<LTY。

	BLP的分析较为困难，主要难点在于不能较快地得知一个表达式的后继，只复制一次的展开以及较为复杂的提升。为解决前两个痛点，Hypcos于25年12月提出了[[DEN]](即iBLP，其中i为infinite)。		BLP的分析较为困难，主要难点在于不能较快地得知一个表达式的后继，只复制一次的展开以及较为复杂的提升。为解决前两个痛点，Hypcos于25年12月提出了[[DEN]](即iBLP，其中i为infinite)。
第18行：		第18行：

	后继图案(Successor Pattern):类似于后继序数，它对应的序数就是其C操作后的图案对应的序数+1。		后继图案(Successor Pattern):类似于后继序数，它对应的序数就是其C操作后的图案对应的序数+1。

			零图案(Zero Pattern):代表序数0。

	操作		操作

2026年2月20日 (五) 15:20 Phyrion

2026-02-20T15:20:36Z

←上一版本		2026年2月20日 (五) 23:20的版本
第23行：		第23行：
	M(Modify):修改，严格来说是“变换”，因为Modify并不会改变表达式的大小。#和#M对应的序数完全相同。		M(Modify):修改，严格来说是“变换”，因为Modify并不会改变表达式的大小。#和#M对应的序数完全相同。

	C(Cut):~~删行。类似于序列记号里直接删去最后一项~~		C(Cut):删行。删掉最后一行，类似于序列记号里直接删去最后一项

	En(Extend[n]):取极限图案的基本列第n项。		En(Extend[n]):取极限图案的基本列第n项。

	S(Simplify):简化。简化图案同样不会改变图案大小，并且分析的都是简化后的表达式。简化后的表达式是真正意义上的“标准式”。		S(Simplify):简化。简化图案同样不会改变图案大小，并且分析的都是简化后的表达式。简化后的表达式是真正意义上的“标准式”。

2026年2月20日 (五) 15:17 Phyrion

2026-02-20T15:17:27Z

←上一版本		2026年2月20日 (五) 23:17的版本
第18行：		第18行：

	后继图案(Successor Pattern):类似于后继序数，它对应的序数就是其C操作后的图案对应的序数+1。		后继图案(Successor Pattern):类似于后继序数，它对应的序数就是其C操作后的图案对应的序数+1。

			操作

			M(Modify):修改，严格来说是“变换”，因为Modify并不会改变表达式的大小。#和#M对应的序数完全相同。

			C(Cut):删行。类似于序列记号里直接删去最后一项

			En(Extend[n]):取极限图案的基本列第n项。

			S(Simplify):简化。简化图案同样不会改变图案大小，并且分析的都是简化后的表达式。简化后的表达式是真正意义上的“标准式”。

2026年2月20日 (五) 15:06 Phyrion

2026-02-20T15:06:21Z

←上一版本		2026年2月20日 (五) 23:06的版本
第13行：		第13行：
	(示例图)		(示例图)

	瞬态图案(Transient Pattern):类似于序列记号中的“非标准式”。我们需要将其Modify或Cut为Limit ~~Pattern或Pattern才能继续分析。~~		瞬态图案(Transient Pattern):类似于序列记号中的“非标准式”。我们需要将其Modify或Cut为Limit Pattern或Successor Pattern后才能继续分析。

			极限图案(Limit Pattern):类似于极限序数，我们需要进行Expand[n]操作取其基本列第n项。

			后继图案(Successor Pattern):类似于后继序数，它对应的序数就是其C操作后的图案对应的序数+1。

BLP - 版本历史

Phyrion：​/* 概念介绍 */

Phyrion：​/* 概念介绍 */

2026年2月25日 (三) 09:37 Phyrion

2026年2月25日 (三) 09:37 Phyrion

2026年2月22日 (日) 08:55 Phyrion

2026年2月21日 (六) 19:08 Phyrion

2026年2月21日 (六) 18:57 Phyrion

2026年2月20日 (五) 15:20 Phyrion

2026年2月20日 (五) 15:17 Phyrion

2026年2月20日 (五) 15:06 Phyrion

Phyrion：/* 概念介绍 */

Phyrion：/* 概念介绍 */