前排

那什么是困难，什么是“不可行”？这又扯到一大堆问题了。典型例子就是3412矩形无炮。这个阵被收入了考级贴，作为空间C2代表阵型之一，但事实是它并不能无尽，太极无炮就更困难了，连表演关都难以打出。那后退无的“脚打无尽”到两仪的“勉强可无尽”到3412“擦边不可无尽（初中生试过冲关，但是貌似失败了）”，再到太极的“不可无尽”，这中间有什么非常明显的界限吗？还是没有。3412是可以通过表演关的，但是还是不行，很重要的原因之一就是，3412太“脸”了（包括脸无，无神），脸白脸黑就是两个阵，无神脸黑后场矿工啃穿分分钟，如果不会救直接就去世了。那我们再举个例子，比如说萌新最爱的九五塔曾神之无炮，这个阵固然是渣的，但是要说全难度关“通过率”，它可以高于3412，甚至高于两仪，无神，脸无（在技术较低时是这样的），并且“炸了也能打”，大不了就三七再补曾嘛，稳的一匹。
那么它为什么是“渣阵”，而无神两仪不是“渣阵”，而是“难阵”呢？不得不承认的是，单纯从无尽稳定性上讲，无神两仪真的未必要比九五塔曾要好。但是无神两仪（包括3412）之所以非凡，就是因为它们解决了“命题”。这个是栋告诉我们的，阵因命题而有意义，两仪解决了“十二格无尽”命题，而无神解决了“无曾无炮”命题。这也就是为啥，我之前说de575神无可以用七列曾加不多的瓜当自然控丑，而后退无就不行。不是因为后退无用了就比575用了容易炸，而是因为575解决了“DE神无”这个命题，为了得到一个最佳的，对所有僵尸平衡的解而不得不放羊，故而可以牺牲无尽稳定性，而后退无解决的命题是“FE无炮无尽”，在这个命题下，放羊就不是最好的解，所以FE放羊会被挑刺，而575不会。同理，九五神无虽说不是完全没有无尽性，但它的无尽性却不如同样解决了“PE无边路无炮”命题的九七高，所以九五被淘汰，九七被流传。换句话讲，“名阵”，“好阵”并非绝对的无尽性好，而是“在此命题”中在大众认可下无尽性最好的阵。所以说，再花大量时间纠结在已经有很好的解，且太简单的命题上，就是一种很浪费时间的行为了（这里不是说不打不学习，而是说比如“改良经典八炮”，“改良传统四炮”之类的事情，除非你能证明你的确实比原来的好太多，否则扣细枝末节并不会有太大提升）。
再说一下关于“极限阵”的事情，首先排除一个非常常见的误区，极限阵比常规阵厉害，因为听起来这个名字很***（蓝绿背锅），甚至有人都不知道它是啥，看见个难阵就在那乱刷。而且，恰恰相反，无炮中极限阵往往都只是一个“弱化”的命题，用来向真正的可无尽的命题过渡的，如果说极限阵中的操作，科技，不能被转化为可无尽的阵服务，那么这个极限阵的科技就只能永远停留在“秀操作”的层面。

1.3强命题与弱命题。
前面听了多命题是什么，现在我们来看看命题“怎么用”。我们根据命题实际的被遵守程度，分为“强命题”“弱命题”。什么是强呢？意思就是，在该阵型运行过程中，任何时刻的状态都符合这个命题。典型的强命题就是“无炮”本身，以及“无神”之类的，在“无炮”运行的任意时刻，阵图上均没有炮，那么就可以说无炮可以成为一个“强命题”了。同理，无神不管偷菜偷成什么样，只要任意时刻场地上均不出现炮和曾，那么也可以说是“强命题无尽”
弱命题，当然就是相对于强命题而言的，即“在运阵中会出现不符合命题的时刻，但由于其数量相对较少，仍认为原命题有较大意义”，且不说两仪无炮，“神之无炮”都是一个弱命题（PE也许可以勉强做到强命题），在边路出现辣椒的时候就已经严格意义上破坏命题了，但由于时间较短，我们仍认为该命题有意义。弱命题不像强命题都是严格符合，不分高下，而是有着一个定量的区别。FE37神无就属于弱命题中较强的了，只有很短的时间破坏了命题，而像“陆地无植物”，“水路无植物”之类的一开局就自爆然后一直就没符合过的就属于弱命题中的弱命题。别说什么陆地，水路无“永久植物“，永久植物本身就是个伪概念，任何一个植物都可以是永久的，也可以不是永久的，我找不到一个理由使一个时间界限成为临时与永久的分界线。
可以看出，我们当然是希望所有命题都能尽量成为强命题。我们这里并未否定弱命题的价值，但是显然强命题在理论上和实践上有一个更加明确的，泾渭分明的完成界限，而不是靠着模糊和不可靠的玩家自觉性来维持。很明显，让弱命题变得更强有两种思路，一种是加强操作。比如某著名的两仪，从必须偷阳光菇到不偷阳光植物也能运作，虽然两仪本身的性质决定了它很难变成一个真正的强命题，但也是在规范操作的路上走了一大步。更多得当然就是削弱命题难度了，比如“伪“无伤，陆无，水无什么的。当然了，这个”伪“字除了承认了这个阵是弱命题之外毫无其他用处，但至少也提供了一个思路，比如把水无无炮改成“水路最多三格”无炮（即水路在任意瞬间植物数量都小于等于3个），就可以说是个强命题了（雾），虽然这个命题看起来怪怪的，不过也不能否认这确实是个强命题无尽。

?没了？

这是多久没有更了

咕……

咕咕咕

能鸽善无

很想直接看看3.1

再来水几篇（其实开帖的时候就已经写完了只不过懒得和屏蔽斗智斗勇

1.4可无尽与不可无尽这个问题在2.2中已经略有涉及了。我们经常说一个阵型“可无尽”或“不可无尽”。然而实际上，阵型的无尽稳定性往往不是非黑即白，而是有着漫长的过渡地带，这种行为无疑是在一条线段上面做分割，分成两段。而从哪里分就成了一个大问题。这里我们提出：定理1：若一个命题A爆了命题B，且命题A可无尽，那么命题B最优解一定可无尽。定理2：若一个命题A爆了命题B，且命题B最优解不可无尽，那么命题A不可无尽。被爆了是啥意思呢？举个例子，某场地无神命题就爆了某场地“至多双曾”命题，因为满足无神命题的解一定满足至多双曾，至多单曾什么的，故只要该场地无神可无尽，那至多双曾，至多单曾就一定有可无尽的解。但比如“神之无炮”和“无神”就属于两个相互独立的命题，互相不爆，故无法直接获得关系。（顺便，我这里说的是“至多”，如果是“至少”的话，那就无关了，所以抛开无视阳光不说，别看到全场无“能打”就把所有阵都觉得能打，“至少”和“至多”是两个不同的命题，没有覆盖关系）所以有了上面那两条我们只需找到一些“边缘”阵型，就可以借此推出大量的阵型是否可无尽或不可无尽。这些“边缘”阵型，也就是目前工作的重点。目前看来，认为100f冲关不出现重大问题的命题算作可无尽（事实上仍然只是一个模糊的标准），FE，NE无神，两仪处于可无尽区域的边缘，PE无神，3412矩形，火无等处于无法无尽区域的边缘。