Fish のファミリー

Fishは、BaseSet と CoverSet で構成する Locked です。
CoverSet は Baseset を完全に被覆します。CoverSet を壊す要素は否定的に確定します。

  1. Fish(Basic) : (BaseSet,CoverSet) = (2つの行house,2つの列house) の Fish.
    (行house と 列house の順序は本質ではない。)
  2. サイズ : Fishのサイズは、2~7。それぞれに名前がついている。サイズ 5~7のFish には双対のFishがある(サイズ4~2)。
  3. Franken/Mutanthouse(F/M) FIsh : 行・列 houseに ブロック houseを加えても、Fishは成立する。 BaseSet、CoverSetは、行/列/ブロック houseを任意に組み合わせて選べる。

  4. 1~3 のFishでは、BaseSet、CoverSetに重なりはない。

  5. Endo Fish: BaseSetに重なりがあるFish。重なり部分は Endo Fin で、肯定的に確定する。
  6. Cannibalistic Fish : CoverSetに重なりがあるFish。重なり部分は、否定的に確定する。
  7. Finned Fish : BaseSetの一部がCoverSetでカバーされないFish。

  8. 1~6 のFishでは、BaseSetとCoverSetは 行/列/ブロック houseで構成する。

  9. (Finned)Kraken Fish : Locked を壊すリンクに、eNetwork を適用するFish。
  10. LockedSet/ALS: Houseと数字で構成するFish。ALS は Finned LockedSetであり、Fish 拡張の一種。
  11. General Logic : 行/列/ブロック houseに加えて、セルの数字1~9を要素に加えたFish。
    数独の解析アルゴリズムの多くは、General Logicで再構成できる。

  12. LockedSetは、数字(1~9) と 行/列/ブロック houseで構成する。

Fish のファミリー



Top