BLP：修订间差异

2026年2月20日 (五) 22:37的版本

BLP是由大群群主test_alpha0在其25年1月的论文中提出的记号，被用于估计LT的下界。虽然BLP提取自LTY，但是强度上BLP<LT<LTY。

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

BLP目前已经被认可成为最强的已被证明良序的记号（尽管分析的都是DEN)

此条目目前以介绍展开器的使用为主。

@@ 第1行： / 第1行： @@
 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)。
-BLP目前已经被认可成为最强的已被证明良序的记号（尽管分析的都是iBLP)
+BLP目前已经被认可成为最强的已被证明良序的记号（尽管分析的都是DEN)
 此条目目前以介绍展开器的使用为主。