Pea Pattern/Sequential/Examples/231

From ProofWiki
Jump to navigation Jump to search

Example of Sequential Pea Pattern

\(\ds \) \(\) \(\ds 231\)
\(\ds \) \(\leadsto\) \(\ds 121311\) one $2$, one $3$, one $1$
\(\ds \) \(\leadsto\) \(\ds 411213\) four $1$s, one $2$, one $3$
\(\ds \) \(\leadsto\) \(\ds 14311213\) one $4$, three $1$s, one $2$, one $3$
\(\ds \) \(\leadsto\) \(\ds 41141223\) four $1$s, one $4$, one $2$, two $3$s
\(\ds \) \(\leadsto\) \(\ds 24312213\) two $4$s, three $1$s, two $2$s, one $3$
\(\ds \) \(\leadsto\) \(\ds 32142321\) three $2$s, one $4$, two $3$s, two $1$s
\(\ds \) \(\leadsto\) \(\ds 23322114\) two $3$s, three $2$s, two $1$s, one $4$
\(\ds \) \(\leadsto\) \(\ds 32232114\) three $2$s, two $3$s, two $1$s, one $4$
\(\ds \) \(\leadsto\) \(\ds 23322114\) two $3$s, three $2$s, two $1$s, one $4$

and a loop has been reached.