# 退化飞鱼

前文我们介绍了高级飞鱼的使用。下面我们来看一种高级飞鱼的特殊情况。

## 退化飞鱼的基本推理 <a href="#reasoning-of-sashimi-exocet" id="reasoning-of-sashimi-exocet"></a>

<figure><img src="/files/H1q8N0JDDDLR4aZolK76" alt="" width="375"><figcaption><p>退化飞鱼</p></figcaption></figure>

如图所示。基准单元格里是数字 2、4、5、6，但是数字 6 在 `r7c7` 出现了。交叉单元格里出现基准单元格里有的数字的明数形式，这虽然本身不怎么影响推理过程（可能只是比较特殊的存在），但这个题比较特殊——它出现了之后推导就进行不下去了：因为 `r6c34` 和 `r8c3` 还有候选数 6，也可以出现两次，所以这会影响 6 的摆放。

这回难受了。它还是明数，还不是空格。我们无法假设它不填 2、4、5、6 来强行继续。那我们干脆把它拿出去，只看余下 17 个单元格。交叉单元格原本 18 个，现在拿出去之后还有 17 个。拿出去的这个行为看起来有些奇怪，但它确实不影响推理，我们只是调整了计算 2、4、5、6 的分组填充次数的情况，它是明数也只是说它不算在交叉单元格之中而已。

余下 17 个单元格里，2、4、5、6 恰好都只能填最多两次。注意 6 此时是可以有三个的（因为 `r7c7` 是 6，算上 6 本身候选数层面的最多两次一共是最多三次），但这并不影响什么。我们继续后续的推导。我们发现，目标单元格只有 `r2c4` 一个位置了。基准单元格是 $$a$$ 和 $$b$$ 的话，那么 `r2c4` 填了 $$a$$ 之后，$$b$$ 就没地方放了。

那么，这矛盾了吗？并没有。相反，我们还得到了一个非常有意义的结论：`r1c12` 一定有 6。这里不是很好从前面直接得到这个结论，我们不如反过来想。如果 `r1c12` 里没 6 的话，那么 6 意味着我们不用把 `r7c7` 拿出去了，因为它再也跟我们这里的推理没有关联。原本 2、4、5 符合最多两次在交叉单元格里的约定，所以后续推理都可以正常进行。但是到结尾下结论的时候我们会发现问题：目标单元格只有 `r2c4` 了。这次是真的没有位置放了。交叉单元格里只能最多填两次 2、4、5，目标单元格也就一个位置放 2、4、5，那么有一个数肯定会放不进去，这必然矛盾。所以，`r1c12` 一定有 6。

那么，结论就是 `r1c12` 形成 6 的区块。所以 `{r1c459, r2c3,r3c23} <> 6`。而同时，因为基准单元格有 6 的存在，所以目标单元格一定要把 6 安排在 `r7c7` 上。所以，也就意味着 `r2c4 <> 6`，毕竟两个目标单元格是一个 $$a$$ 一个 $$b$$ 的，这便是这个题的全部删数。

我们把这个技巧称为**退化飞鱼**（Sashimi Exocet）。


---

# Agent Instructions: Querying This Documentation

If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter:

```
GET https://sudoku.kazusa.tech/exocet/08-sashimi-exocet.md?ask=<question>
```

The question should be specific, self-contained, and written in natural language.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.
