pattern avoidance on k-ary heapspattern avoidance on k-ary heaps (work in progress - aren’t they...
TRANSCRIPT
![Page 1: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/1.jpg)
Pattern Avoidance on k-ary Heaps
(Work in Progress - aren’t they all)
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg
University of Wisconsin - Eau Claire, Valparaiso University
Permutation Patterns - July 10, 2014
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 2: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/2.jpg)
Once upon a time. . .
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 3: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/3.jpg)
Motivation
Sophia Yakoubov: Paris 2013
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 4: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/4.jpg)
Motivation
Sophia Yakoubov: Paris 2013 Pattern Avoidance on Combs
[1]
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 5: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/5.jpg)
Motivation
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 6: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/6.jpg)
Something like combs, but not combs
Heaps!
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 7: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/7.jpg)
Something like combs, but not combs
Heaps!
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 8: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/8.jpg)
Heaps
Definition
A complete binary tree is a tree where each node has 2 or fewerchildren, all levels except possibly the last are completely full, andthe last level has all its nodes to the left side.
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 9: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/9.jpg)
Heaps
Definition
A heap is a complete binary tree labelled with {1, . . . , n} such thatevery child has a larger label than its parent.
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 10: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/10.jpg)
Heaps
Definition
A heap is a complete binary tree labelled with {1, . . . , n} such thatevery child has a larger label than its parent.
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 11: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/11.jpg)
Where’s the pattern?
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 12: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/12.jpg)
Where’s the pattern?
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 13: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/13.jpg)
Where’s the pattern?
1 4 2 6 8 3 5 7 9 10
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 14: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/14.jpg)
Where’s the pattern?
1 4 2 6 8 3 5 7 9 10
Notice this heap contains 123, 132, 213, 231, 312.
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 15: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/15.jpg)
Where’s the pattern?
1 4 2 6 8 3 5 7 9 10
Notice this heap contains 123, 132, 213, 231, 312.But it avoids 321.
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 16: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/16.jpg)
k-ary Heaps
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 17: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/17.jpg)
k-ary Heaps
1 2 4 3 12 5 7 6 11 8 10 9
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 18: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/18.jpg)
k-ary Heaps
1 2 4 3 12 5 7 6 11 8 10 9This heap avoids 231.
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 19: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/19.jpg)
Forests of Heaps
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 20: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/20.jpg)
Forests of Heaps
5 10 9 2 11 6 1 3 7 4 12 8
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 21: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/21.jpg)
Forests of Heaps
5 10 9 2 11 6 1 3 7 4 12 8
Notice each tree avoids 213, 231, 312, 321, but the forest contains213, 231, 312, 321.
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 22: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/22.jpg)
Crunch the numbers, cross your fingers
Heaps Avoid-ing:
Sequence OEIS#
∅ 1, 1, 2, 3, 8, 20, 80, 210, 896 . . .
123 1, 1, 1, 0, 0, 0, 0, 0 . . .
132 1, 1, 1, 1, 1, 1, 1, 1 . . .
213 1, 1, 2, 2, 5, 5, 14, 14, 42 . . .
231 = 312 1, 1, 2, 3, 7, 14, 37, 80, 222, . . .
321 1, 1, 2, 3, 7, 16, 45, 111, 318 . . .
{213, 231} ={213, 312}
1, 1, 2, 2, 4, 4, 8, 8, 16 . . .
{213, 321} 1, 1, 2, 2, 4, 4, 7, 7, 11 . . .
{231, 312} ={231, 321}
1, 1, 2, 3, 6, 11, 22, 42, 84 . . .
{231, 312, 321} 1, 1, 2, 3, 5, 8, 13 . . .
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 23: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/23.jpg)
Crunch the numbers, cross your fingers
Heaps Avoid-ing:
Sequence OEIS#
∅ 1, 1, 2, 3, 8, 20, 80, 210, 896 . . . A056971
123 1, 1, 1, 0, 0, 0, 0, 0 . . .
132 1, 1, 1, 1, 1, 1, 1, 1 . . .
213 1, 1, 2, 2, 5, 5, 14, 14, 42 . . .
231 = 312 1, 1, 2, 3, 7, 14, 37, 80, 222, . . .
321 1, 1, 2, 3, 7, 16, 45, 111, 318 . . .
{213, 231} ={213, 312}
1, 1, 2, 2, 4, 4, 8, 8, 16 . . .
{213, 321} 1, 1, 2, 2, 4, 4, 7, 7, 11 . . .
{231, 312} ={231, 321}
1, 1, 2, 3, 6, 11, 22, 42, 84 . . .
{231, 312, 321} 1, 1, 2, 3, 5, 8, 13 . . .
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 24: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/24.jpg)
Crunch the numbers, cross your fingers
Heaps Avoid-ing:
Sequence OEIS#
∅ 1, 1, 2, 3, 8, 20, 80, 210, 896 . . . A056971
123 1, 1, 1, 0, 0, 0, 0, 0 . . . A000004
132 1, 1, 1, 1, 1, 1, 1, 1 . . . A000012
213 1, 1, 2, 2, 5, 5, 14, 14, 42 . . .
231 = 312 1, 1, 2, 3, 7, 14, 37, 80, 222, . . .
321 1, 1, 2, 3, 7, 16, 45, 111, 318 . . .
{213, 231} ={213, 312}
1, 1, 2, 2, 4, 4, 8, 8, 16 . . .
{213, 321} 1, 1, 2, 2, 4, 4, 7, 7, 11 . . .
{231, 312} ={231, 321}
1, 1, 2, 3, 6, 11, 22, 42, 84 . . .
{231, 312, 321} 1, 1, 2, 3, 5, 8, 13 . . .
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 25: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/25.jpg)
Crunch the numbers, cross your fingers
Heaps Avoid-ing:
Sequence OEIS#
∅ 1, 1, 2, 3, 8, 20, 80, 210, 896 . . . A056971
123 1, 1, 1, 0, 0, 0, 0, 0 . . . A000004
132 1, 1, 1, 1, 1, 1, 1, 1 . . . A000012
213 1, 1, 2, 2, 5, 5, 14, 14, 42 . . . A208355
231 = 312 1, 1, 2, 3, 7, 14, 37, 80, 222, . . .
321 1, 1, 2, 3, 7, 16, 45, 111, 318 . . .
{213, 231} ={213, 312}
1, 1, 2, 2, 4, 4, 8, 8, 16 . . .
{213, 321} 1, 1, 2, 2, 4, 4, 7, 7, 11 . . .
{231, 312} ={231, 321}
1, 1, 2, 3, 6, 11, 22, 42, 84 . . .
{231, 312, 321} 1, 1, 2, 3, 5, 8, 13 . . .
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 26: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/26.jpg)
Crunch the numbers, cross your fingers
Heaps Avoid-ing:
Sequence OEIS#
∅ 1, 1, 2, 3, 8, 20, 80, 210, 896 . . . A056971
123 1, 1, 1, 0, 0, 0, 0, 0 . . . A000004
132 1, 1, 1, 1, 1, 1, 1, 1 . . . A000012
213 1, 1, 2, 2, 5, 5, 14, 14, 42 . . . A208355
231 = 312 1, 1, 2, 3, 7, 14, 37, 80, 222, . . .
321 1, 1, 2, 3, 7, 16, 45, 111, 318 . . .
{213, 231} ={213, 312}
1, 1, 2, 2, 4, 4, 8, 8, 16 . . . A016116
{213, 321} 1, 1, 2, 2, 4, 4, 7, 7, 11 . . .
{231, 312} ={231, 321}
1, 1, 2, 3, 6, 11, 22, 42, 84 . . .
{231, 312, 321} 1, 1, 2, 3, 5, 8, 13 . . .
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 27: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/27.jpg)
Crunch the numbers, cross your fingers
Heaps Avoid-ing:
Sequence OEIS#
∅ 1, 1, 2, 3, 8, 20, 80, 210, 896 . . . A056971
123 1, 1, 1, 0, 0, 0, 0, 0 . . . A000004
132 1, 1, 1, 1, 1, 1, 1, 1 . . . A000012
213 1, 1, 2, 2, 5, 5, 14, 14, 42 . . . A208355
231 = 312 1, 1, 2, 3, 7, 14, 37, 80, 222, . . .
321 1, 1, 2, 3, 7, 16, 45, 111, 318 . . .
{213, 231} ={213, 312}
1, 1, 2, 2, 4, 4, 8, 8, 16 . . . A016116
{213, 321} 1, 1, 2, 2, 4, 4, 7, 7, 11 . . .
{231, 312} ={231, 321}
1, 1, 2, 3, 6, 11, 22, 42, 84 . . .
{231, 312, 321} 1, 1, 2, 3, 5, 8, 13 . . . A000045
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 28: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/28.jpg)
Heaps Avoiding (231, 312)
Narayana-Zidek-Capell Numbers:1, 1, 2, 3, 6, 11, 22, 42, 84, 165, 330, . . .
Given by relation:an = 2an−1 if n evenan = 2an−1 − a n−1
2if n odd
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 29: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/29.jpg)
Heaps Avoiding (231, 312)
Narayana-Zidek-Capell Numbers:1, 1, 2, 3, 6, 11, 22, 42, 84, 165, 330, . . .
Insertion argument:
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 30: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/30.jpg)
Heaps Avoiding (231, 312)
Narayana-Zidek-Capell Numbers:1, 1, 2, 3, 6, 11, 22, 42, 84, 165, 330, . . .
Insertion argument:Insert n + 1, but leave it an increasing tree
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 31: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/31.jpg)
Heaps Avoiding (231, 312)
Narayana-Zidek-Capell Numbers:1, 1, 2, 3, 6, 11, 22, 42, 84, 165, 330, . . .
Insertion argument:Insert n + 1, but leave it an increasing tree
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 32: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/32.jpg)
Heaps Avoiding (231, 312)
Narayana-Zidek-Capell Numbers:1, 1, 2, 3, 6, 11, 22, 42, 84, 165, 330, . . .
Insertion argument:Insert n + 1, but leave it an increasing tree
→
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 33: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/33.jpg)
Heaps Avoiding (231, 312)
Narayana-Zidek-Capell Numbers:1, 1, 2, 3, 6, 11, 22, 42, 84, 165, 330, . . .
Insertion argument:Insert n + 1, but leave it an increasing tree
→
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 34: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/34.jpg)
Heaps Avoiding (231, 312)
Narayana-Zidek-Capell Numbers:1, 1, 2, 3, 6, 11, 22, 42, 84, 165, 330, . . .
Insertion argument:Insert n + 1, but leave it an increasing tree
→
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 35: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/35.jpg)
Heaps Avoiding (231, 312)
Lemma
The vertex labelled n is always a leaf. After insertion, the vertexlabelled n + 1 is always a leaf.
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 36: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/36.jpg)
Heaps Avoiding (231, 312)
Lemma
In order to avoid 231 and 312, n + 1 must be inserted directlybefore n or at the end.
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 37: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/37.jpg)
Heaps Avoiding (231, 312): n + 1 must be right before n,
or at end
Proof of Lemma:
n + 1 at last leaf: OK
n + 1 right before n: OK
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 38: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/38.jpg)
Heaps Avoiding (231, 312): n + 1 must be right before n,
or at end
Proof of Lemma:
If n + 1 is inserted more before n, we create a 312.
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 39: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/39.jpg)
Heaps Avoiding (231, 312): n + 1 must be right before n,
or at end
Proof of Lemma:
If n + 1 is inserted more before n, we create a 312.
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 40: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/40.jpg)
Heaps Avoiding (231, 312): n + 1 must be right before n,
or at end
Proof of Lemma:
If n + 1 is inserted more before n, we create a 312.
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 41: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/41.jpg)
Heaps Avoiding (231, 312): n + 1 must be right before n,
or at end
Proof of Lemma:
If n + 1 is inserted more before n, we create a 312.
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 42: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/42.jpg)
Heaps Avoiding (231, 312): n + 1 must be right before n,
or at end
Proof of Lemma:
If n+ 1 is inserted after n, but not at the end, we create a 231.
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 43: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/43.jpg)
Heaps Avoiding (231, 312): n + 1 must be right before n,
or at end
Proof of Lemma:
If n+ 1 is inserted after n, but not at the end, we create a 231.
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 44: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/44.jpg)
Heaps Avoiding (231, 312): n + 1 must be right before n,
or at end
Proof of Lemma:
If n+ 1 is inserted after n, but not at the end, we create a 231.
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 45: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/45.jpg)
Heaps Avoiding (231, 312): n + 1 must be right before n,
or at end
Proof of Lemma:
If n+ 1 is inserted after n, but not at the end, we create a 231.
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 46: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/46.jpg)
Heaps Avoiding (231, 312)
Easy Case: n is even. So the new leaf is the sibling of a currentleaf. Internal nodes stay internal, leaves stay leaves.
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 47: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/47.jpg)
Heaps Avoiding (231, 312)
Easy Case: n is even. So the new leaf is the sibling of a currentleaf. Internal nodes stay internal, leaves stay leaves.
We can put n + 1 at the (new) last leaf, or we can insert it rightbefore n and push everything along.
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 48: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/48.jpg)
Heaps Avoiding (231, 312)
Easy Case: n is even. So the new leaf is the sibling of a currentleaf. Internal nodes stay internal, leaves stay leaves.
We can put n + 1 at the (new) last leaf, or we can insert it rightbefore n and push everything along.
an = 2an−1.
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 49: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/49.jpg)
Heaps Avoiding (231, 312)
Second Case: n is odd. So the new leaf is child of a former leaf.Is it possible that we push a small label to be a child over a largerlabel that was a leaf?
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 50: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/50.jpg)
Heaps Avoiding (231, 312)
Inserting n + 1 at the last leaf:Still OK!
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 51: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/51.jpg)
Heaps Avoiding (231, 312)
Inserting n + 1 anywhere except the first or last leaf:
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 52: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/52.jpg)
Heaps Avoiding (231, 312)
Inserting n + 1 anywhere except the first or last leaf:
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 53: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/53.jpg)
Heaps Avoiding (231, 312)
Inserting n + 1 anywhere except the first or last leaf:
We must already have had a 231, namely b n a.
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 54: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/54.jpg)
Heaps Avoiding (231, 312)
Inserting n + 1 at the first leaf:
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 55: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/55.jpg)
Heaps Avoiding (231, 312)
Inserting n + 1 at the first leaf:
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 56: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/56.jpg)
Heaps Avoiding (231, 312)
Inserting n + 1 at the first leaf:
We don’t want to count this,even though it may still avoid 231, 312.
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 57: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/57.jpg)
Heaps Avoiding (231, 312)
How many shouldn’t we count?Since n was on the first leaf, all other leaf labels are in decreasingorder.
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 58: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/58.jpg)
Heaps Avoiding (231, 312)
How many shouldn’t we count?Since n was on the first leaf, all other leaf labels are in decreasingorder.The subtree obtained by removing all leaves needs to avoid231,312.
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 59: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/59.jpg)
Heaps Avoiding (231, 312)
How many shouldn’t we count?Since n was on the first leaf, all other leaf labels are in decreasingorder.The subtree obtained by removing all leaves needs to avoid231,312.There are n−1
2nodes on that subtree.
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 60: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/60.jpg)
Heaps Avoiding (231, 312)
How many shouldn’t we count?Since n was on the first leaf, all other leaf labels are in decreasingorder.The subtree obtained by removing all leaves needs to avoid231,312.There are n−1
2nodes on that subtree.
Thus an = 2an−1 − a n−12
when n is odd.
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 61: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/61.jpg)
Heaps Avoiding (231, 312)
How many shouldn’t we count?Since n was on the first leaf, all other leaf labels are in decreasingorder.The subtree obtained by removing all leaves needs to avoid231,312.There are n−1
2nodes on that subtree.
Thus an = 2an−1 − a n−12
when n is odd.
So we have the same recurrence relation as theNarayana-Zidek-Capell numbers.
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 62: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/62.jpg)
Heaps Avoiding 231
Test yourself!
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 63: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/63.jpg)
Heaps Avoiding 231
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 64: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/64.jpg)
Heaps Avoiding 231
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 65: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/65.jpg)
Heaps Avoiding 231
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 66: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/66.jpg)
Heaps Avoiding 231
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 67: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/67.jpg)
Heaps Avoiding 231
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 68: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/68.jpg)
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 69: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/69.jpg)
Let’s look at where the n appears. (Definitely on a leaf)
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 70: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/70.jpg)
Let’s look at where the n appears. (Definitely on a leaf)
All the labels before n are less than all labels after n.
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 71: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/71.jpg)
Let’s look at where the n appears. (Definitely on a leaf)
All the labels before n are less than all labels after n.
The labels on the leaves after n can be arranged in Catalan manyways.
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 72: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/72.jpg)
Let’s look at where the n appears. (Definitely on a leaf)
All the labels before n are less than all labels after n.
The labels on the leaves after n can be arranged in Catalan manyways.
The subheap before n is a smaller case of a heap avoiding 231.
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 73: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/73.jpg)
Let bn be the number of heaps with n nodes avoiding 231.
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 74: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/74.jpg)
Let bn be the number of heaps with n nodes avoiding 231.
Let i be the number of leaves after n. 0 ≤ i ≤ ⌊n−12
⌋.
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 75: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/75.jpg)
Let bn be the number of heaps with n nodes avoiding 231.
Let i be the number of leaves after n. 0 ≤ i ≤ ⌊n−12
⌋.
bn =∑⌊ n−1
2⌋
i=0 Cibn−i−1
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 76: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/76.jpg)
k-ary forests avoiding 132
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 77: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/77.jpg)
k-ary forests avoiding 132
Obvious statements: Each tree avoids 132.
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 78: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/78.jpg)
k-ary forests avoiding 132
Obvious statements: Each tree avoids 132.The roots of each tree avoid 132.
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 79: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/79.jpg)
k-ary forests avoiding 132
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 80: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/80.jpg)
k-ary forests avoiding 132
Lemma
Knowing the roots is enough!
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 81: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/81.jpg)
k-ary forests avoiding 132
Theorem
The number of forests of t heaps each with v vertices that avoid132 is given by 1
vt+1
((v+1)tt
)
.
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 82: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/82.jpg)
k-ary forests avoiding 132
Theorem
The number of forests of t heaps each with v vertices that avoid132 is given by 1
vt+1
((v+1)tt
)
.
Proof method: Bijection to the number of paths under the liney = vx from (0, 0) to (t, vt) using steps (0, 1) and (1, 0).
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 83: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/83.jpg)
Examples of bijection
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 84: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/84.jpg)
Examples of bijection
Make a string of the level step heights in reverse order: 4 1 1 0
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 85: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/85.jpg)
Examples of bijection
Make a string of the level step heights in reverse order: 4 1 1 0Add one to each element of the string. 5 2 2 1
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 86: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/86.jpg)
Examples of bijection
Make a string of the level step heights in reverse order: 4 1 1 0Add one to each element of the string. 5 2 2 1The smallest number currently unused in the forest that is greaterthan or equal to the next element of the string gives the next root.
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 87: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/87.jpg)
Examples of bijection
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 88: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/88.jpg)
Examples of bijection
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 89: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/89.jpg)
Examples of bijection
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 90: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/90.jpg)
Examples of bijection
Make a string, starting with the root of the first heap.
3
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 91: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/91.jpg)
Examples of bijection
Make a string, starting with the root of the first heap.Repeat the same number in the string for each root as long as thepermutation is increasing.
3→ 3 3
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 92: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/92.jpg)
Examples of bijection
Make a string, starting with the root of the first heap.Repeat the same number in the string for each root as long as thepermutation is increasing.If the permutation has a descent, the next root is the next entry inthe string.
3→ 3 3→ 3 3 1
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 93: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/93.jpg)
Examples of bijection
Make a string, starting with the root of the first heap.Repeat the same number in the string for each root as long as thepermutation is increasing.If the permutation has a descent, the next root is the next entry inthe string.Subtract 1 from each element of the string. These are yoursequence of level steps. 3→ 3 3→ 3 3 1→ 2 2 0
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 94: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/94.jpg)
Examples of bijection
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 95: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/95.jpg)
Examples of bijection
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 96: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/96.jpg)
Corollary
Let σ be a permutation of length nm composed of a concatenationof m increasing sequences of length n. The number of such σ thatavoid 132 is 1
nm+1
((n+1)mnm+1
)
.
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 97: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/97.jpg)
Summary
Heaps Avoid-ing:
Sequence OEIS#
∅ 1, 1, 2, 3, 8, 20, 80, 210, 896 . . . A056971
123 1, 1, 1, 0, 0, 0, 0, 0 . . . A000004
132 1, 1, 1, 1, 1, 1, 1, 1 . . . A000012
213 1, 1, 2, 2, 5, 5, 14, 14, 42 . . . A208355
231 = 312 1, 1, 2, 3, 7, 14, 37, 80, 222, . . . Soon in OEIS!
321 1, 1, 2, 3, 7, 16, 45, 111, 318 . . . OPEN
{213, 231} ={213, 312}
1, 1, 2, 2, 4, 4, 8, 8, 16 . . . A016116
{213, 321} 1, 1, 2, 2, 4, 4, 7, 7, 11 . . . A000124
{231, 312} ={231, 321}
1, 1, 2, 3, 6, 11, 22, 42, 84 . . . A002083
{231, 312, 321} 1, 1, 2, 3, 5, 8, 13 . . . A000045
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 98: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/98.jpg)
What about k-ary?
Heaps Avoid-ing:
Sequence OEIS#
∅ 1, 1, 2, 3, 8, 20, 80, 210, 896 . . . A056971
123 1, 1, 1, 0, 0, 0, 0, 0 . . . A000004
132 1, 1, 1, 1, 1, 1, 1, 1 . . . A000012
213 1, 1, 2, 2, 5, 5, 14, 14, 42 . . . A208355
231 = 312 1, 1, 2, 3, 7, 14, 37, 80, 222, . . . Soon to be inOEIS!
321 1, 1, 2, 3, 7, 16, 45, 111, 318 . . . OPEN
{213, 231} ={213, 312}
1, 1, 2, 2, 4, 4, 8, 8, 16 . . . A016116
{213, 321} 1, 1, 2, 2, 4, 4, 7, 7, 11 . . . A000124
{231, 312} ={231, 321}
1, 1, 2, 3, 6, 11, 22, 42, 84 . . . A002083
{231, 312, 321} 1, 1, 2, 3, 5, 8, 13 . . . A000045
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 99: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/99.jpg)
What next?
Trees that aren’t heaps
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 100: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/100.jpg)
What next?
Trees that aren’t heaps
Unary-binary, binary, k-ary
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 101: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/101.jpg)
What next?
Trees that aren’t heaps
Unary-binary, binary, k-ary
Slightly different question: How many permutations avoid σ
can be realized as trees?
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 102: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/102.jpg)
Thank You!
Anant Godbole
Permutation Patterns 2014 Organizers
UWEC Department of Mathematics
UWEC Office of Research and Sponsored Programs
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps
![Page 103: Pattern Avoidance on k-ary HeapsPattern Avoidance on k-ary Heaps (Work in Progress - aren’t they all) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin](https://reader033.vdocument.in/reader033/viewer/2022051921/600dfbbb756d8a21ac4ad0f5/html5/thumbnails/103.jpg)
References
[1] Yakoubov, Sophia. Pattern Avoidance in in Extensions ofComb-Like Posets. arXiv:1310.2979v2 [math.CO]
[2] Lewis, Joel. Pattern Avoidance for Alternating Permutations andReading Words of Tableaux. Department of Mathematics MIT(2012): 1-69. June 2012. Web. 22 Aug. 2013
[3] R. Simion and F.W. Schmidt, Restricted Permutations, Europ. J.Comb., 6, 1985, 383-406.
Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k-ary Heaps