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

Wed, 29 Apr 2026 16:40:29 +0000

Content under review