We use **inclusion-exclusion over forbidden adjacents**, but that becomes intractable due to multiple overlapping cases.

Thu, 30 Apr 2026 13:59:36 +0000

Content under review