Fish のファミリー
Fishは、BaseSet と CoverSet で構成する Locked です。
CoverSet は Baseset を完全に被覆します。CoverSet を壊す要素は否定的に確定します。
-
Fish(Basic) : (BaseSet,CoverSet) = (2つの行house,2つの列house) の Fish.
(行house と 列house の順序は本質ではない。) - サイズ : Fishのサイズは、2~7。それぞれに名前がついている。サイズ 5~7のFish には双対のFishがある(サイズ4~2)。
- Franken/Mutanthouse(F/M) FIsh : 行・列 houseに ブロック houseを加えても、Fishは成立する。 BaseSet、CoverSetは、行/列/ブロック houseを任意に組み合わせて選べる。
- Endo Fish: BaseSetに重なりがあるFish。重なり部分は Endo Fin で、肯定的に確定する。
- Cannibalistic Fish : CoverSetに重なりがあるFish。重なり部分は、否定的に確定する。
- Finned Fish : BaseSetの一部がCoverSetでカバーされないFish。
- (Finned)Kraken Fish : Locked を壊すリンクに、eNetwork を適用するFish。
- LockedSet/ALS: Houseと数字で構成するFish。ALS は Finned LockedSetであり、Fish 拡張の一種。
-
General Logic : 行/列/ブロック houseに加えて、セルの数字1~9を要素に加えたFish。
数独の解析アルゴリズムの多くは、General Logicで再構成できる。
1~3 のFishでは、BaseSet、CoverSetに重なりはない。
1~6 のFishでは、BaseSetとCoverSetは 行/列/ブロック houseで構成する。
LockedSetは、数字(1~9) と 行/列/ブロック houseで構成する。