一、建基 循环复用定理
1.哲学中的推理规则
2.炮数命题及推论
二、回响 炮与冰之间的桥梁
1.充分条件之表象
2.由炮骨架到冰骨架
3.由冰骨架到炮骨架
三、本有 冰骨架解阵思想
1.回归FE24炮
2.轨列排布的演化
3.FE神之16炮
四、跳跃 由新推论引发的应用
1.何为新推论的意义
2.卡炮组需求侧分析
4.NE9列20炮
五、开抛 高参数极致复用
1.递推思维与压制理念
2.NE20炮翻修
3.炮组恒等式与参数转变
4.NE18炮无铲种
六、将来者 由方法论到辩证法
1.也变成了路
2.未曾设想的路

前置资料：
https://tieba.baidu.com/p/5601494658
https://tieba.baidu.com/p/5837175986
https://tieba.baidu.com/p/5864240416

一、建基 循环复用定理
1.哲学中的推理规则
说明：此类论证建立在超多炮的基础上，不适用无炮少炮自由炮等阵。
公理：
a.卡片或炮两次使用或生效间隔不小于其CD。
b.波次刷新位于激活后200cs，且保证波长不小于601cs。
这便是游戏设定，无需多言。
公设：
a.若有解，则易解。
b.解阵即由弱解到强解的过程。
这是一直以来指导我们的思想，确实，上帝喜欢严谨，也喜欢简单。

2.炮数命题及推论
命题：不计铲种，对于炮组中任意一炮，其两次使用和生效时间片段不短于3475cs。
推论:不计铲种，任取一个长度为3475cs的时间片段，这段时间使用或生效的炮的数量不能大于阵型的炮数。
知道这些以后，请你随着我进入一个全新的植物大战僵尸世界——

二、回响 炮与冰之间的桥梁
1.充分条件之表象
早在游戏刚出现之时，玩家们就已经有了冰变奏理念的雏形，这种理念发展到了今天则可以用一个式子概括：x|Ix-xPPx|x。其中x为可能进行的其他操作。注意到中间这个与众不同的分割符“-”，我们不妨提出一个阵型有解的充分条件：
设N为总炮数，在“-”的前后存在n的小炮组复用可使阵解成立，其中n|N，则n中相应炮两次使用或生效间隔不少于3475cs。（下称“新推论”）
读到这里，你或许会轻易地下结论：我们要这种东西有何用？别急，这还要从阵的发展说起。

2.由炮骨架到冰骨架
很久很久以前，玩家们注意到刷新的问题，发现6*6=36>34.75，同时冰是个可以大幅提升炮冷却效率的东西，于是他们以炮为基础，创造了一大批精彩的阵型。
再后来，又有一群人吃饱了撑着，偏说36>>34.75，又说36*4/3=50是可以的，50s为冰的冷却，于是形成了以冰为基础的冰骨架，也进一步加强了压制力。
3.由冰骨架到炮骨架
我们现在再去谈论炮骨架，不是历史的倒退吗？我觉得不是。
首先什么是冰骨架？市面上流传最广的说法是以冰为基础参数，调和5000cs与3475cs的冰炮关系是效益最大化。
那么我以炮为基础参数去调和，这有错吗？我觉得没错呀。事实证明也确实没错。

三、本有 冰骨架解阵思想
1.回归FE24炮
我们来一起解一个FE24炮来理解冰骨架。先考虑循环发现有24个炮够多可以循环，既然是以冰为基础，那就在50s中取两个对应时间点用冰，冰波后加速波连拦，最后发现还有一段时间没有冰，用灰烬填充，于是I-P|P|I-P|P|N|A|P，炮复用也跟的上，最后解完了。结果发现这不叫冰骨架，叫Ch9，于是感觉忙活半天没啥用。

2.轨列排布的演化
说到这，那怎么把上述解阵变成冰骨架？简单。要么提高压制强度，比如FE9列24炮；要么减小运算量，比如FE18炮守全场。这时候你不用冰骨架都不行了，会被僵尸吃脑子的。
采用冰骨架后的对策自然就一目了然了，寅吃卯粮，卯吃垫材，一点一点凑下去，用各种黑科技让自己脑子活着，这样做就说明抓到点子上了。由此，也诞生了很多好阵，就以FE神之16炮为例来解释。

3.FE神之16炮
作者：葫
视频：https://b23.tv/kj8MQr
这个阵的压制强度本身便是建立在FE24炮的基础上的，于此作解或会使人更有体会，其作者本人也曾发过帖介绍打法，从冰骨架角度出发，笔者看来重要的地方有三个。
一个是冰波B提早而用高坚果延后投掷，这样做让其循环复用中几秒的差距补上。另一个是664黑科技的使用，就是到了那一波发现炮冷却未好而可以延后了炮生效时间，同时由于“神之”命题特殊性借助垫材得以实现无伤，由不可能实现了可能。还有一个是w19收尾一路核和无冰分离的利用，解决了首位没用足够运算量的问题。这就叫做冰骨架解阵思想，也印证了笔者上面的阐述。多么美妙的解就此诞生了。

四、跳跃 由新推论引发的思考
1.何为新推论的意义
另一方面，我们着眼于炮骨架。回到最初，笔者有两点始终未讲明白，一个是看似没用的新推论，一个是历史遗物炮骨架。现在我们便由冰骨架开始阐述其关系。对于一个冰骨架阵型，它用来冰变奏就表明其必然有“-”的时间间隔，如果由此出发考虑其前后复用，一来大大节省了计算时间，二来调和了波次使更强的复用更容易出现。因为此时冰变成了复用的工具，用冰波长度支撑复用，或者说变成了以炮为基础，或者说炮骨架。

2.卡炮组需求侧分析
在传统冰骨架解阵中，我们通常是先确定参数后将参数有关炮排入，也就意味着用炮支持冰，由于炮数远大于冰数，每次计算复用是否成立是都必须把所有复用都算一遍。相应地，因为某冰波拉的过长使跑过于密集而复用失败的可能性变的极大。
或者说问两个很蠢的问题，炮和冰哪个少？对于单个通常哪个效益大？答案当然都是冰。那当然是要用少的、更有用的去填入多的中。正如是用卡片代奏去填入传统轨中而不是留下炮放入卡片之间。
因此，我们不妨尝试一下新推论带来的解阵思路。当然，在笔者尝试的道路中，也发现了不少好东西。

3.NE9列20炮
作者：我
视频：https://b23.tv/pZlsiI
首先如果以所列举的载体决定两种思路哪种更好的话那笔者可是要完败哩，毕竟这是一个中间有一波和收尾很迷的弱命题。但撇开加速波和冰三波的一大堆奇怪的操作不谈，我们不难找出w2和w7中两段较长时间即“-”，其中间排入四加速波，前后为冰波。
在此，有两点是值得注意的。一者在w7以前尽管复制冰冷却可行，但仍然只用一冰，因为否则复用会出问题。二者w3波长超过1600cs，实则非常不稳定，但还是利用它，便是使用了新推论中的“-”，此时用传统冰骨架的复用方法或许不再适用，即难以跳出前文一冰还是两冰的思维框架。当然在严谨解尚未有时我们不能轻易下定论，那这一方面和严谨解就交给日后读者吧。

五、开抛 高参数极致复用
1.递推思维与压制理念
在此，我们仍然无法说明这两种思路孰优孰劣，但不可否认的是，当今的冰骨架复用理论存在着许多的可能性。
冰骨架递推，一方面要与复用相契合，另一方面要与压制力相对应。也就是计算波长计算砸炮啃炮的时间。这个理念引发了很多的思考，ice3+PD、664、无冰分离。以下带来的则是最新成果，一个十分神奇的阵解。

2.NE20炮翻修
作者：阳光
视频：https://b23.tv/YILDFW
这个阵大家其实讨论挺久了，也看得出原作者的深入思考。首先比较创新的一点是用16s和6s波长组成的c8u来帮助思考，从而实现后续复用。W6附近加速波即为冰骨架思路的复用方式，采用改变生效时机、尾炸用以确保每个炮冷却时间，w1到w9即顺利度过。
而对于w10到w19，一方面由于核坑不能使用垫材多使用了B和w19多了一波使收尾运算量不够。因此W18利用Bd同时收走跳跳和撑杆，同时激活红眼投掷，方便11s时的分离炮。换种说法，W9、18都应该是加速波，只是炮不够了，冰又有盈余，于是就有了此处的操作。（前两段为作者原话整合版）
相比较于老NE20，此阵去除了尾炸矿工而能较有效地延长波长。使用冰三即延后了拦截炮时机，也给出了热过渡的可能性。作为一种新解算是有效提高了黑夜最多炮的稳定性，这是冰骨架。