> For the complete documentation index, see [llms.txt](https://sudoku.kazusa.tech/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://sudoku.kazusa.tech/construction/06-sacrifice/03-sacrifice-blossom-loop.md). # 牺牲绽放环前面我们看了牺牲的基础用法和一些实例。因为他的逻辑本身就比较难以理解，所以前面展示的例子几乎都只使用了同样的一种处理方式。今天我们继续来看牺牲，不过这次我们会将牺牲的用法进行推广。他们的使用是需要证明可用性的，但都已经证明过，所以大方使用；但是证明逻辑我们就不在这里细致讨论了，因为他们也都基于基本的牺牲规则推广得来，因此不难得到，所以就留给各位读者自己去证明。 ## 牺牲绽放环（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）。牺牲绽放的视角几乎和绽放一样，删数规则也差不多，不过本题的绽放环使用了动态，因此并不是所有分支都在主线上，故绽放环在此时并不是全环状态。它属于是分支里套了分支。