pattern avoidance on k ary heaps
play

Pattern Avoidance on k -ary Heaps Derek Levin, Lara Pudwell, Manda - PowerPoint PPT Presentation

Pattern Avoidance on k -ary Heaps Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin - Eau Claire, Valparaiso University AMS Section meeting - Georgetown University - March 8, 2015 Derek Levin, Lara Pudwell,


  1. Pattern Avoidance on k -ary Heaps Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg University of Wisconsin - Eau Claire, Valparaiso University AMS Section meeting - Georgetown University - March 8, 2015 Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k -ary Heaps

  2. Motivation Sophia Yakoubov, PP2013, Pattern Avoidance on Combs 8 10 7 4 9 6 3 5 2 1 Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k -ary Heaps

  3. Something like combs, but not combs Definition A heap is a complete k -ary tree labeled with { 1 , . . . , n } such that every child has a larger label than its parent. 10 7 9 6 8 3 5 4 2 1 Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k -ary Heaps

  4. Where’s the pattern? 10 7 9 6 8 3 5 h = 4 2 1 π h = 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

  5. Where’s the pattern? 10 7 9 6 8 3 5 h = 4 2 1 π h = 1 4 2 6 8 3 5 7 9 10 h avoids 321. Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k -ary Heaps

  6. k -ary Heaps 12 11 10 5 7 8 6 9 h = 2 4 3 1 π h = 1 2 4 3 12 5 7 8 11 6 10 9 h avoids 231. Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k -ary Heaps

  7. Notation H k n ( P ) is the set of k -ary heaps on n nodes avoiding P . Goal � � � H k Determine n ( P ) � . � � Start with k = 2, P ⊂ S 3 . Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k -ary Heaps

  8. Crunch the numbers, cross your fingers � H 2 �� � �� P n ( P ) OEIS# n ≥ 1 ∅ 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 } 1 , 1 , 2 , 3 , 7 , 14 , 37 , 80 , 222 , . . . { 312 } { 321 } 1 , 1 , 2 , 3 , 7 , 16 , 45 , 111 , 318 , . . . { 213 , 231 } 1 , 1 , 2 , 2 , 4 , 4 , 8 , 8 , 16 , . . . { 213 , 312 } { 213 , 321 } 1 , 1 , 2 , 2 , 4 , 4 , 7 , 7 , 11 , . . . { 231 , 312 } { 231 , 321 } 1 , 1 , 2 , 3 , 6 , 11 , 22 , 42 , 84 , . . . { 312 , 321 } Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k -ary Heaps

  9. Crunch the numbers, cross your fingers � H 2 �� � �� P n ( P ) OEIS# n ≥ 1 ∅ 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 } 1 , 1 , 2 , 3 , 7 , 14 , 37 , 80 , 222 , . . . A246747 { 312 } { 321 } 1 , 1 , 2 , 3 , 7 , 16 , 45 , 111 , 318 , . . . A246829 { 213 , 231 } 1 , 1 , 2 , 2 , 4 , 4 , 8 , 8 , 16 , . . . A016116 { 213 , 312 } A000124( ⌈ n { 213 , 321 } 1 , 1 , 2 , 2 , 4 , 4 , 7 , 7 , 11 , . . . 2 ⌉ ) { 231 , 312 } { 231 , 321 } 1 , 1 , 2 , 3 , 6 , 11 , 22 , 42 , 84 , . . . A002083 { 312 , 321 } Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k -ary Heaps

  10. Crunch the numbers, cross your fingers � H 2 �� � �� P n ( P ) OEIS# n ≥ 1 ∅ 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 } 1 , 1 , 2 , 3 , 7 , 14 , 37 , 80 , 222 , . . . A246747 { 312 } { 321 } 1 , 1 , 2 , 3 , 7 , 16 , 45 , 111 , 318 , . . . A246829 { 213 , 231 } 1 , 1 , 2 , 2 , 4 , 4 , 8 , 8 , 16 , . . . A016116 { 213 , 312 } A000124( ⌈ n { 213 , 321 } 1 , 1 , 2 , 2 , 4 , 4 , 7 , 7 , 11 , . . . 2 ⌉ ) { 231 , 312 } { 231 , 321 } 1 , 1 , 2 , 3 , 6 , 11 , 22 , 42 , 84 , . . . A002083 { 312 , 321 } Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k -ary Heaps

  11. The friendly cases � � � � � � = � n − 1 � H 2 � � � H 2 � H 2 All heaps: � � � � n − 1 − n ℓ n n ℓ n ℓ � � ( n ℓ = number of vertices left of root.) Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k -ary Heaps

  12. The friendly cases � � � � � � = � n − 1 � H 2 � � � H 2 � H 2 All heaps: � � � � n − 1 − n ℓ n n ℓ n ℓ � � ( n ℓ = number of vertices left of root.) 123-avoiders: 2 3 2 1 1 1 Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k -ary Heaps

  13. The friendly cases � � � � � � = � n − 1 � � H 2 � � H 2 � H 2 All heaps: � � � � n − 1 − n ℓ n n ℓ n ℓ � � ( n ℓ = number of vertices left of root.) d 123-avoiders: c 2 3 2 b a 1 1 1 Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k -ary Heaps

  14. The friendly cases � � � � � � = � n − 1 � � H 2 � � H 2 � H 2 All heaps: � � � � n − 1 − n ℓ n n ℓ n ℓ � � ( n ℓ = number of vertices left of root.) d 123-avoiders: c 2 3 2 b a 1 1 1 4 5 6 132-avoiders: 2 3 1 Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k -ary Heaps

  15. Onward... � H 2 �� � �� P n ( P ) OEIS# n ≥ 1 ∅ 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 } 1 , 1 , 2 , 3 , 7 , 14 , 37 , 80 , 222 , . . . A246747 { 312 } { 321 } 1 , 1 , 2 , 3 , 7 , 16 , 45 , 111 , 318 , . . . A246829 { 213 , 231 } 1 , 1 , 2 , 2 , 4 , 4 , 8 , 8 , 16 , . . . A016116 { 213 , 312 } A000124( ⌈ n { 213 , 321 } 1 , 1 , 2 , 2 , 4 , 4 , 7 , 7 , 11 , . . . 2 ⌉ ) { 231 , 312 } { 231 , 321 } 1 , 1 , 2 , 3 , 6 , 11 , 22 , 42 , 84 , . . . A002083 { 312 , 321 } Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k -ary Heaps

  16. Heaps Avoiding 213 4 5 6 3 5 6 6 4 5 3 2 2 4 2 3 1 1 1 132456 124356 123645 Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k -ary Heaps

  17. Heaps Avoiding 213 4 5 6 3 5 6 6 4 5 3 2 2 4 2 3 1 1 1 132456 124356 123645 � � � H 2 n (213) � = C ⌈ n � � 2 ⌉ Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k -ary Heaps

  18. Progress... � H 2 �� � �� P n ( P ) OEIS# n ≥ 1 ∅ 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 } 1 , 1 , 2 , 3 , 7 , 14 , 37 , 80 , 222 , . . . A246747 { 312 } { 321 } 1 , 1 , 2 , 3 , 7 , 16 , 45 , 111 , 318 , . . . A 246829 { 213 , 231 } 1 , 1 , 2 , 2 , 4 , 4 , 8 , 8 , 16 , . . . A016116 { 213 , 312 } A000124( ⌈ n { 213 , 321 } 1 , 1 , 2 , 2 , 4 , 4 , 7 , 7 , 11 , . . . 2 ⌉ ) { 231 , 312 } { 231 , 321 } 1 , 1 , 2 , 3 , 6 , 11 , 22 , 42 , 84 , . . . A002083 { 312 , 321 } Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k -ary Heaps

  19. Heaps Avoiding 231 10 7 9 8 n appears on a leaf. All labels before n are less than all 3 5 11 6 labels after n . Labels before n are a heap avoiding 2 4 231. Labels after n are a permutation avoiding 231. 1 Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k -ary Heaps

  20. Heaps Avoiding 231 10 7 9 8 n appears on a leaf. All labels before n are less than all 3 5 11 6 labels after n . Labels before n are a heap avoiding 2 4 231. Labels after n are a permutation avoiding 231. 1 ⌊ n − 1 2 ⌋ � � � � � H 2 � � H 2 n (231) � = C i · n − i − 1 (231) � � � � � i =0 Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k -ary Heaps

  21. Heaps Avoiding 321 � H 2 � H 2 � H 2 � n (321) � � n (321) � � n (321) � n n n � � � 1 1 11 2686 21 395303480 2 1 12 8033 22 1379160685 3 2 13 25470 23 4859274472 4 3 14 80480 24 17195407935 5 7 15 263977 25 61310096228 6 16 16 862865 26 219520467207 7 45 17 2891344 27 790749207801 8 111 18 9706757 28 2859542098634 9 318 19 33178076 29 10391610220375 10 881 20 113784968 30 37897965144166 31 138779392289785 Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k -ary Heaps

  22. Heaps Avoiding 321 � H 2 � H 2 � H 2 � n (321) � � n (321) � � n (321) � n n n � � � 1 1 11 2686 21 395303480 2 1 12 8033 22 1379160685 3 2 13 25470 23 4859274472 4 3 14 80480 24 17195407935 5 7 15 263977 25 61310096228 6 16 16 862865 26 219520467207 7 45 17 2891344 27 790749207801 8 111 18 9706757 28 2859542098634 9 318 19 33178076 29 10391610220375 10 881 20 113784968 30 37897965144166 31 138779392289785 2 n − 1 < � � � H 2 � < 4 n . For n ≥ 9 , n (321) � � Derek Levin, Lara Pudwell, Manda Riehl, and Andrew Sandberg Pattern Avoidance on k -ary Heaps

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend


More recommend