Standard AICs

[kyoyama-kazusa]

To-do:

• Non-grouped
  • Type 1: Weak -> Weak
  • Type 2: Strong -> Strong
  • Type 3: Strong -> Weak (i.e. Continuous Nice Loop)
• Grouped
  • Pointing/Claiming (Locked Candidates)
  • Almost Locked Sets (ALS)
  • Almost Hidden Sets (AHS) (⚠️ need large memory)
  • Almost Unique Rectangles (AUR)
    • Strong link rules
      • Type 1 - abc(c) == abc(c)
      • Type 2 - abc(c) == abd(d)
      • Type 4 - External a == abc(c)
    • Weak link rules
      • Type 5 - abx(a) -- aby(b)
    • Loop elimination rules (TBD)
  • Almost Avoidable Rectangles (AAR)
  • ... (Don't consider for now)
• Complex ALSes and AHSes (Don't consider)
  • ALS Chain
  • AHS Chain
  • Grouped ALS-W-Wing (on W strong link)