版本差异

到此差别页面的链接

--- 攻略:零度三连 [2023/03/26 11:55] – [Part 1] 我是沙雕www
+++ 攻略:零度三连 [2023/05/03 20:47] (当前版本) – 我是沙雕www
@@ 行 127: / 行 127: @@
 ==== 真理——循环复用定理 ====
-看过Fe九列24炮视频的读者一定会发现，24门炮的炮组分配根本看不出什么所谓的“三循环”在里面。那难道笔者上面啰嗦一大堆所谓CD利用效率都是瞎说的？当然并不。视频中使用的炮组分配方案称作“循环复用”，容易观察到除铲种炮外，其他所有炮都是按照一定顺序顺次发射的。每当最后一门炮发射完毕，循环回归零相位，从第一门炮开始重新发射。为什么不使用可能更加方便理解的三循环+炮代灰烬形式，而非要搞一个既不方便观看又不容易写脚本的循环复用？当然是因为它优。下面我们来证明循环复用定理：
+看过Fe九列24炮视频的读者一定会发现，24门炮的炮组分配根本看不出什么所谓的“三循环”在里面。那难道笔者上面啰嗦一大堆所谓CD利用效率都是瞎说的？
+当然并不。视频中使用的炮组分配方案称作“循环复用”，容易观察到除铲种炮外，其他所有炮都是按照一定顺序顺次发射的。每当最后一门炮发射完毕，循环回归零相位，从第一门炮开始重新发射。为什么不使用可能更加方便理解的三循环+炮代灰烬形式，而非要搞一个既不方便观看又不容易写脚本的循环复用？
+当然是因为它优。下面我们来证明循环复用定理： \\
 在所有炮等价的前提下，若一定数量的炮能够通过至少一种方式填充某列轨道，则循环复用必然是这些方式之一。
-证明：
+=== 证明 ===
+假设场地上的''n''门炮的确能够填充某一轨道，那么在该轨道中任取长度为''3475''的片段，该片段中所需炮数必然不大于''n''。
+否则与推论:“不记铲种，任取一个长度为''3475''的时间片段，这段时间使用/生效的炮的数量不能大于阵型的炮数”矛盾。
+记轨道中第''s''次发射一门炮的时刻为''T(s)''，有''T(i)≤T(i+1)''。而上文提到的推论等价于“任取''i''，''j''使得''T(j)-T(i)<3475''，则''j-i<n''”。 \\
+此结论等价于其逆否命题“任取i，j使得''j-i≥n''，有''T(j)-T(i)≥3475''”。在循环复用条件下，任意一门炮相邻两次发射间隔的炮数必然为''n-1''，也即''j-i=n''，故''T(j)-T(i)≥3475''，这门炮可以发射。
+任意一门炮在任意需要发射的时机都可以发射，故循环复用的填充方式成立。证毕。((实际上零度说这么一大堆还不如[[重定向:渐强|]]的简单。))((假设我们手里有三门炮（编号为①、②、③），然后有一个轨道，要发射若干P：P1 …… P2 …… P3 …… P4 …… 如果采用循环复用的发炮方式，那么发炮顺序就是：①、②、③、①，分别对应P1、P2、P3、P4。在P4这个位置，如果用①这门炮，就是循环复用；否则就不是循环复用。为什么循环复用一定是最优的呢？这是因为，和②、③相比，①是发射最早的，因此它也必然恢复得最早。如果②（或③）可用，那么①必然可用。对于之后的炮（P5、P6等等），都是如此。因此，循环复用必然是最优的发炮方式（或是最优之一）))
+虽然我们证明了循环复用的优越性，那我们一定非要用它不可吗？请仔细观看定理的表述。\\
+一列轨道被一定数量的炮填充的情况有三种：无法填充，存在多于一种方式可以填充，和有且仅有一种方式可以填充。
-假设场地上的n门炮的确能够填充某一轨道，那么在该轨道中任取长度为3475的片段，该片段中所需炮数必然不大于n，否则与推论“:不记铲种，任取一个长度为3475的时间片段，这段时间使用/生效的炮的数量不能大于阵型的炮数”矛盾。记轨道中第s次发射一门炮的时刻为T(s)，有T(i)≤T(i+1)。而上文提到的推论等价于“任取i，j使得T(j)-T(i)<3475，则j-i<n”。此结论等价于其逆否命题“任取i，j使得j-i≥n，有T(j)-T(i)≥3475”。在循环复用条件下，任意一门炮相邻两次发射间隔的炮数必然为n-1，也即j-i=n，故T(j)-T(i)≥3475，这门炮可以发射。任意一门炮在任意需要发射的时机都可以发射，故循环复用的填充方式成立。证毕。((实际上零度说这么一大堆还不如[[重定向:渐强|]]的简单。))((假设我们手里有三门炮（编号为①、②、③），然后有一个轨道，要发射若干P：P1 …… P2 …… P3 …… P4 …… 如果采用循环复用的发炮方式，那么发炮顺序就是：①、②、③、①，分别对应P1、P2、P3、P4。在P4这个位置，如果用①这门炮，就是循环复用；否则就不是循环复用。为什么循环复用一定是最优的呢？这是因为，和②、③相比，①是发射最早的，因此它也必然恢复得最早。如果②（或③）可用，那么①必然可用。对于之后的炮（P5、P6等等），都是如此。因此，循环复用必然是最优的发炮方式（或是最优之一）))
+一旦出现第三种情况，循环复用将会是唯一解。而在事先并不知道具体情况时，直接选择循环复用无疑是最为稳妥的。
-虽然我们证明了循环复用的优越性，那我们一定非要用它不可吗？请仔细观看定理的表述。一列轨道被一定数量的炮填充的情况有三种：无法填充，存在多于一种方式可以填充，和有且仅有一种方式可以填充。一旦出现第三种情况，循环复用将会是唯一解。而在事先并不知道具体情况时，直接选择循环复用无疑是最为稳妥的。循环复用是唯一解，这种情况真的存在？当然存在了，P6不就是例子嘛，毕竟所谓二循环三循环也不过是循环复用的子集。那么，真的有什么情况是二循环三循环解决不了的非要循环复用不可吗？下面给出一个简单的例子，C8u-4800:
+循环复用是唯一解，这种情况真的存在？ \\
+当然存在了，P6不就是例子嘛，毕竟所谓二循环三循环也不过是循环复用的子集。\\
+那么，真的有什么情况是二循环三循环解决不了的非要循环复用不可吗？下面给出一个简单的例子：
-｜I+PP｜PP｜I+PP｜PP｜PP｜PP｜，12/6/12/6/6/6
+''C8u-4800:I+PP｜PP｜I+PP｜PP｜PP｜PP(12,6,12,6,6,6)''
 如果你的手头只有十炮，没有NA，你该如何填充这列轨道？