PermPal Database

Av(1243, 1324)

The requested set is not in the database, but a symmetry of it is.

Generating Function

- \frac{x}{2} + \frac{3}{2} - \frac{\sqrt{x^{2} - 6 x + 1}}{2}

Copy to clipboard: Search on PermPAL

Counting Sequence

1, 1, 2, 6, 22, 90, 394, 1806, 8558, 41586, 206098, 1037718, 5293446, 27297738, 142078746, ...

Search on OEIS Search on PermPAL

Implicit Equation for the Generating Function

F {(x)}^{2} + (x - 3) F (x) + 2 = 0

Copy to clipboard: Search on PermPAL

Recurrence

a (0) = 1

a (1) = 1

a (n + 2) = - \frac{(n - 1) a (n)}{n + 2} + \frac{3 (2 n + 1) a (n + 1)}{n + 2}, n \geq 2

Copy to clipboard:

Heatmap

To create this heatmap, we sampled 1,000,000 permutations of length 300 uniformly at random. The color of the point $(i, j)$ represents how many permutations have value $j$ at index $i$ (darker = more).

This specification was found using the strategy pack "Point And Col Placements Tracked Fusion" and has 14 rules.

Found on April 25, 2021.

Finding the specification took 98 seconds.

Copy to clipboard:

View tree on standalone page.

+ Expand

Copy 14 equations to clipboard:

\begin{aligned} F_{0} (x) & = F_{1} (x) + F_{2} (x) \\ F_{1} (x) & = 1 \\ F_{2} (x) & = F_{3} (x) F_{4} (x) \\ F_{3} (x) & = x \\ F_{4} (x) & = F_{5} (x, 1) \\ F_{5} (x, y) & = F_{0} (x) + F_{6} (x, y) \\ F_{6} (x, y) & = F_{10} (x, y) + F_{7} (x) + F_{8} (x, y) \\ F_{7} (x) & = 0 \\ F_{8} (x, y) & = F_{3} (x) F_{9} (x, y) \\ F_{9} (x, y) & = - \frac{y (F_{6} (x, 1) - F_{6} (x, y))}{y - 1} \\ F_{10} (x, y) & = F_{11} (x, y) F_{12} (x, y) \\ F_{11} (x, y) & = y x \\ F_{12} (x, y) & = F_{13} (x, y) + F_{5} (x, y) \\ F_{13} (x, y) & = F_{6} (x, y) \end{aligned}

This specification was found using the strategy pack "Point And Row Placements Tracked Fusion" and has 14 rules.

Found on April 25, 2021.

Finding the specification took 99 seconds.

Copy to clipboard:

View tree on standalone page.

+ Expand

Copy 14 equations to clipboard:

\begin{aligned} F_{0} (x) & = F_{1} (x) + F_{2} (x) \\ F_{1} (x) & = 1 \\ F_{2} (x) & = F_{3} (x) F_{9} (x) \\ F_{3} (x) & = F_{4} (x, 1) \\ F_{4} (x, y) & = F_{0} (x) + F_{5} (x, y) \\ F_{5} (x, y) & = F_{10} (x, y) + F_{6} (x) + F_{7} (x, y) \\ F_{6} (x) & = 0 \\ F_{7} (x, y) & = F_{8} (x, y) F_{9} (x) \\ F_{8} (x, y) & = - \frac{y (F_{5} (x, 1) - F_{5} (x, y))}{- 1 + y} \\ F_{9} (x) & = x \\ F_{10} (x, y) & = F_{11} (x, y) F_{13} (x, y) \\ F_{11} (x, y) & = F_{12} (x, y) + F_{4} (x, y) \\ F_{12} (x, y) & = F_{5} (x, y) \\ F_{13} (x, y) & = y x \end{aligned}

This specification was found using the strategy pack "All The Strategies Tracked Fusion Req Corrob" and has 16 rules.

Found on April 25, 2021.

Finding the specification took 506 seconds.

Copy to clipboard:

View tree on standalone page.

+ Expand

Copy 16 equations to clipboard:

\begin{aligned} F_{0} (x) & = F_{1} (x) + F_{2} (x) \\ F_{1} (x) & = 1 \\ F_{2} (x) & = F_{3} (x) \\ F_{3} (x) & = F_{4} (x, 1) \\ F_{4} (x, y) & = F_{5} (x) F_{6} (x, y) \\ F_{5} (x) & = x \\ F_{6} (x, y) & = F_{0} (x) + F_{7} (x, y) \\ F_{7} (x, y) & = F_{8} (x, y) \\ F_{8} (x, y) & = F_{10} (x, y) + F_{12} (x, y) + F_{9} (x) \\ F_{9} (x) & = 0 \\ F_{10} (x, y) & = F_{11} (x, y) F_{5} (x) \\ F_{11} (x, y) & = - \frac{y (F_{8} (x, 1) - F_{8} (x, y))}{- 1 + y} \\ F_{12} (x, y) & = F_{13} (x, y) F_{14} (x, y) \\ F_{13} (x, y) & = y x \\ F_{14} (x, y) & = F_{15} (x, y) + F_{6} (x, y) \\ F_{15} (x, y) & = F_{8} (x, y) \end{aligned}

This specification was found using the strategy pack "Point And Row And Col Placements Tracked Fusion Req Corrob" and has 16 rules.

Found on April 25, 2021.

Finding the specification took 112 seconds.

Copy to clipboard:

View tree on standalone page.

+ Expand

Copy 16 equations to clipboard:

\begin{aligned} F_{0} (x) & = F_{1} (x) + F_{2} (x) \\ F_{1} (x) & = 1 \\ F_{2} (x) & = F_{3} (x) \\ F_{3} (x) & = F_{4} (x) F_{5} (x) \\ F_{4} (x) & = x \\ F_{5} (x) & = F_{6} (x, 1) \\ F_{6} (x, y) & = F_{0} (x) + F_{7} (x, y) \\ F_{7} (x, y) & = F_{8} (x, y) \\ F_{8} (x, y) & = F_{10} (x, y) + F_{12} (x, y) + F_{9} (x) \\ F_{9} (x) & = 0 \\ F_{10} (x, y) & = F_{11} (x, y) F_{4} (x) \\ F_{11} (x, y) & = - \frac{y (F_{8} (x, 1) - F_{8} (x, y))}{- 1 + y} \\ F_{12} (x, y) & = F_{13} (x, y) F_{14} (x, y) \\ F_{13} (x, y) & = y x \\ F_{14} (x, y) & = F_{15} (x, y) + F_{6} (x, y) \\ F_{15} (x, y) & = F_{8} (x, y) \end{aligned}

Av(1243, 1324)

This specification was found using the strategy pack "Point And Col Placements Tracked Fusion" and has 14 rules.

Proof Tree

System of Equations

This specification was found using the strategy pack "Point And Row Placements Tracked Fusion" and has 14 rules.

Proof Tree

System of Equations

This specification was found using the strategy pack "All The Strategies Tracked Fusion Req Corrob" and has 16 rules.

Proof Tree

System of Equations

This specification was found using the strategy pack "Point And Row And Col Placements Tracked Fusion Req Corrob" and has 16 rules.

Proof Tree

System of Equations