English
Related papers

Related papers: New hook length formulas for binary trees

200 papers

A characterization is provided for each natural number except one (1) by means of an ordered pair of elements. The first element is a natural number called the type of the natural number characterized, and the second is a natural number…

Artificial Intelligence · Computer Science 2020-02-24 Osvaldo Skliar , Sherry Gapper , Ricardo E. Monge

This paper proposes some simple propagation rules which give rise to new binary constant-weight codes.

Information Theory · Computer Science 2010-08-11 Yeow Meng Chee , Chaoping Xing , Sze Ling Yeo

Developing an efficient non-linear Horn clause solver is a challenging task since the solver has to reason about the tree structures rather than the linear ones as in a linear solver. In this paper we propose an incremental approach to…

Logic in Computer Science · Computer Science 2015-11-23 Bishoksan Kafle

We prove limit theorems for sums of functions of subtrees of binary search trees and random recursive trees. In particular, we give simple new proofs of the fact that the number of fringe trees of size $ k=k_n $ in the binary search tree…

Probability · Mathematics 2014-06-27 Cecilia Holmgren , Svante Janson

We introduce tree dimension and its leveled variant in order to measure the complexity of leaf sets in binary trees. We then provide a tight upper bound on the size of such sets using leveled tree dimension. This, in turn, implies both the…

Combinatorics · Mathematics 2022-05-24 Roland Walker

Two kinds of evolving trees are considered here: the exponential trees, where subsequent nodes are linked to old nodes without any preference, and the Barab\'asi--Albert scale-free networks, where the probability of linking to a node is…

Statistical Mechanics · Physics 2007-05-23 K. Malarz , J. Czaplicki , B. Kawecka-Magiera , K. Kulakowski

Within the field of phylogenetics there is great interest in distance measures to quantify the dissimilarity of two trees. Recently, a new distance measure has been proposed: the Maximum Parsimony (MP) distance. This is based on the…

Populations and Evolution · Quantitative Biology 2015-01-20 Steven Kelk , Mareike Fischer

In Graph Minor III, Robertson and Seymour conjecture that the tree-width of a planar graph and that of its dual differ by at most one. We prove that given a hypergraph H on a surface of Euler genus k, the tree-width of H^* is at most the…

Discrete Mathematics · Computer Science 2008-12-17 Frédéric Mazoit

We provide an expository account of some of the Hopf algebras that can be defined using trees, labeled trees, ordered trees and heap ordered trees. We also describe some actions of these Hopf algebras on algebra of functions.

Rings and Algebras · Mathematics 2007-11-27 Robert L. Grossman , Richard G. Larson

We discuss a notion of convergence for binary trees that is based on subtree sizes. In analogy to recent developments in the theory of graphs, posets and permutations we investigate some general aspects of the topology, such as a…

Combinatorics · Mathematics 2024-02-14 Rudolf Grübel

Inspired by [4] we present a new algorithm for uniformly random generation of ordered trees in which all occuring outdegrees can be specified by a given sequence of numbers. The method can be used for random generation of binary or n-ary…

Discrete Mathematics · Computer Science 2021-12-30 Aleksander Kiryk

The classical hook length formula of enumerative combinatorics expresses the number of standard Young tableaux of a given partition shape as a single fraction. In recent years, two generalizations of this formula have emerged: one by Pak…

Combinatorics · Mathematics 2023-10-30 Darij Grinberg , Nazar Korniichuk , Kostiantyn Molokanov , Severyn Khomych

We look at a family of meta-Fibonacci sequences which arise in studying the number of leaves at the largest level in certain infinite sequences of binary trees, restricted compositions of an integer, and binary compact codes. For this…

Combinatorics · Mathematics 2007-05-23 Brad Jackson , Frank Ruskey

A compacted binary tree is a directed acyclic graph encoding a binary tree in which common subtrees are factored and shared, such that they are represented only once. We show that the number of compacted binary trees of size $n$ grows…

Combinatorics · Mathematics 2020-09-04 Andrew Elvey Price , Wenjie Fang , Michael Wallner

Huffman coding is a widely used method for lossless data compression because it optimally stores data based on how often the characters occur in Huffman trees. An $n$-ary Huffman tree is a connected, cycle-lacking graph where each vertex…

Information Theory · Computer Science 2013-03-22 Angeline Rao , Ying Liu , Yezhou Feng , Jian Shen

We obtain a new upper bound for binary sums with multiplicative characters over variables belong to some sets, having small additive doubling.

Number Theory · Mathematics 2017-12-29 Aleksei S. Volostnov

We provide an $O(n \log n)$ algorithm computing the linear maximum induced matching width of a tree and an optimal layout.

Data Structures and Algorithms · Computer Science 2019-07-10 Svein Høgemo , Jan Arne Telle , Erlend Raa Vågset

Shrock and Wu have given numerical values for the exponential growth rate of the number of spanning trees in Euclidean lattices. We give a new technique for numerical evaluation that gives much more precise values, together with rigorous…

Mathematical Physics · Physics 2009-11-10 Jessica L. Felker , Russell Lyons

We improve the lower bound on the extremal version of the Maximum Agreement Subtree problem. Namely we prove that two binary trees on the same $n$ leaves have subtrees with the same $\geq c\log\log n$ leaves which are homeomorphic, such…

Populations and Evolution · Quantitative Biology 2009-03-20 Laszlo Szekely , Mike Steel

In this paper, we show how the notion of tree dimension can be used in the verification of constrained Horn clauses (CHCs). The dimension of a tree is a numerical measure of its branching complexity and the concept here applies to Horn…

Logic in Computer Science · Computer Science 2018-03-07 Bishoksan Kafle , John P. Gallagher , Pierre Ganty