12 problems
First signed path conjecture. For every pair of finite, binary trees with the same number of leaves, there is a sign assignment of and a word of rotation symbols va…
Pinned-spine conjecture. Every FBT on vertices admits a graceful labeling such that, for some longest root-to-leaf path , the restriction of to…
Equality conjecture. For all relevant , , and , one has
Ballot-property conjecture. In a stable configuration, the whole tree and every subtree satisfy the ballot property.
Most likely terminal configuration conjecture. For all , the most likely terminal configuration is the unique binary search tree on the complete binary tree with nodes.
Let be a Dyck path and let be the corresponding planar rooted binary tree under the bijection from Dyck paths to planar rooted binary trees. A correspond…
Let denote the rooted binary tree with leaves, and let be the number of copies of a rooted binary tree in a rooted binary tree . For intege…
Let , and let and be -leaf path trees such that leaf is on level in and leaf is on level in . A pair is mutually crooked if it c…
Let and be -leaf binary trees. Let , and let and be the -leaf trees obtained from and by duplicating leaf .…
Eliahou–Kryuchkov conjecture. For any pair of vertices on there exists a path connecting them that can be lifted to a path on the graph .
Replacement-bijection conjecture. If and are equivalent, then there is a sequence of top-down replacements, bottom-up replacements, and left--right reflections that produce…
Avoiding-enumerating equivalence conjecture. If and are avoiding-equivalent, then they are also enumerating-equivalent.