牺牲绽放环

Sacrifice Blossom Loop

前面我们看了牺牲的基础用法和一些实例。因为他的逻辑本身就比较难以理解，所以前面展示的例子几乎都只使用了同样的一种处理方式。

今天我们继续来看牺牲，不过这次我们会将牺牲的用法进行推广。他们的使用是需要证明可用性的，但都已经证明过，所以大方使用；但是证明逻辑我们就不在这里细致讨论了，因为他们也都基于基本的牺牲规则推广得来，因此不难得到，所以就留给各位读者自己去证明。

牺牲绽放环（Sacrifice Blossom Loop）

牺牲绽放环例子，毛刺假的情况

如图所示。当我们忽略毛刺 r5c2(8) 的时候，有这个 ALS-XZ 环的结构。

牺牲绽放环例子，毛刺真的情况（只有牺牲删数）

如图所示。如果我们牺牲这三个数的话，我们可以找到这样的动态强制链分支，得到最终 r8c8(7) 为真，因此可以删除 r8c8(123) 三个预备删数。这里稍微说一下，起点是 r5c2(8) 毛刺，然后走两个分支，一边到 r6c6(1) 为假，一边是走上方可以得到毛刺显性三数组 r4c123(124) 为真，于是 r4c56(1) 为假。因为两头是同时得到，所以可以汇合到 r6c4(1) 为真。此时利用了牺牲 r5c5(1) 才能得到此强链关系。

不过，这么做只能有一般删数。下面我们延续一下推理。注意起点 r5c2(8) 可以直接排除的一些地方。

牺牲绽放环例子，毛刺真的情况（绽放）

如图所示。我们延续 r8c8(7) 为真，并在 r5c3(7) 为真的时候直接排除 r5c9(7) 的情况，于是我们可以得到这样的结构。

我们发现，当我们得到 r8c9(7) 和 r5c3(7) 为真时，b6 此时只能将 7 填入到 r6c9 里。但是请参考最开始的图（毛刺 ALS-XZ 环这个图），r6c9(7) 似乎也是预备删数。

是的。我们通过假设毛刺真时得到了预备删数为真。之前我们说到，因为这个规则称为绽放，所以我们可以删除所有其他预备删数。本题有哪些呢？还有一个 r4c7(6)。所以这个题牺牲了三个数后换来了绽放，于是得到了四个删数。

……吗？

实际上，这个题还能多删五个数。

牺牲绽放环例子，完整的删数

如图所示。本题除了前面提到的四个删数外还有 5 个额外的删数，本题可以删 9 个数。这几个删数就自己理解了吧。

总之，这个利用牺牲来换取绽放的特殊绽放环就称为牺牲绽放环（Sacrifice Blossom Loop）。牺牲绽放的视角几乎和绽放一样，删数规则也差不多，不过本题的绽放环使用了动态，因此并不是所有分支都在主线上，故绽放环在此时并不是全环状态。它属于是分支里套了分支。