Elizalde-Luo Pattern-Avoidance Conjecture
Prior state unknown→proved
Is the number of nonnesting permutations of $\{1,1,\dots,n,n\}$ avoiding both $1132$ and $3312$ equal to $3^n - 3 \cdot 2^{n-1} + 1$ for every $n \ge 1$?
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review