English
Related papers

Related papers: Matroids that classify forests

200 papers

We study tree languages that can be defined in \Delta_2 . These are tree languages definable by a first-order formula whose quantifier prefix is forall exists, and simultaneously by a first-order formula whose quantifier prefix is . For the…

Formal Languages and Automata Theory · Computer Science 2019-03-14 Mikolaj Bojanczyk , Luc Segoufin

Algorithms for binary classification based on adaptive tree partitioning are formulated and analyzed for both their risk performance and their friendliness to numerical implementation. The algorithms can be viewed as generating a set…

Statistics Theory · Mathematics 2014-11-05 Peter Binev , Albert Cohen , Wolfgang Dahmen , Ronald DeVore

We present efficient algorithms for computing a maximum agreement forest (MAF) of a pair of multifurcating (nonbinary) rooted trees. Our algorithms match the running times of the currently best algorithms for the binary case. The size of an…

Data Structures and Algorithms · Computer Science 2013-05-03 Chris Whidden , Robert G. Beiko , Norbert Zeh

We identify the complexity of the classification problem for automorphisms of a given countable regularly branching tree up to conjugacy. We consider both the rooted and unrooted cases. Additionally, we calculate the complexity of the…

Logic · Mathematics 2020-01-09 Kyle Beserra , Samuel Coskey

In this article we consider a class of state-dependent delay differential equations which is modelling the dynamics of the number of adult trees in forests. We prove the boundedness of solutions for a single species model as well as a…

Analysis of PDEs · Mathematics 2017-05-25 Pierre Magal , Zhengyang Zhang

Over some types of trees with a given number of vertices, which trees minimize or maximize the total number of subtrees or leaf containing subtrees are studied. Here are some of the main results:\ (1)\, Sharp upper bound on the total number…

Combinatorics · Mathematics 2012-06-15 Shuchao Li , Shujing Wang

We prove that the Hopf algebra of parking functions and the Hopf algebra of ordered forests are isomorphic, using a rigidity theorem for a particular type of bialgebras.

Rings and Algebras · Mathematics 2011-03-02 Loïc Foissy

A binary phylogenetic network may or may not be obtainable from a tree by the addition of directed edges (arcs) between tree arcs. Here, we establish a precise and easily tested criterion (based on `2-SAT') that efficiently determines…

Populations and Evolution · Quantitative Biology 2015-05-25 Andrew R. Francis , Mike Steel

One of the main virtues of trees is to represent formal solutions of various functional equations which can be cast in the form of fixed point problems. Basic examples include differential equations and functional (Lagrange) inversion in…

Combinatorics · Mathematics 2013-02-12 Florent Hivert , Jean-Christophe Novelli , Jean-Yves Thibon

In this paper we consider the original and different generalizations of Postnikov-Shapiro algebra which enumerate forests and trees of graphs, see~\cite{PSh}. Our main result is that the algebra counting forests depends only on graphical…

Combinatorics · Mathematics 2017-03-07 Gleb Nenashev

A flag matroid can be viewed as a chain of matroids linked by quotients. Flag matroids, of which relatively few interesting families have previously been known, are a particular class of Coxeter matroids. In this paper we give a family of…

Combinatorics · Mathematics 2007-05-23 Anna de Mier

The family of trees with palindromic characteristic polynomials is characterized. Large families of graphs with this property are found as well.

Combinatorics · Mathematics 2022-12-09 Tadashi Akagi , Eduardo A. Canale

We explore the relationship between polynomial functors and (rooted) trees. In the first part we use polynomial functors to derive a new convenient formalism for trees, and obtain a natural and conceptual construction of the category…

Category Theory · Mathematics 2014-07-15 Joachim Kock

We study links between first-order formulas and arbitrary properties for families of theories, classes of structures and their isomorphism types. Possibilities for ranks and degrees for formulas and theories with respect to given properties…

Logic · Mathematics 2021-04-02 Sergey V. Sudoplatov

Following Poupard's study of strictly ordered binary trees with respect to two parameters, namely, "end of minimal chain" and "parent of maximum leaf" a true Tree Calculus is being developed to solve a partial difference equation system and…

Combinatorics · Mathematics 2013-04-10 Dominique Foata , Guo-Niu Han

Given a rooted tree $T$ with leaves $v_1,v_2,\ldots,v_n$, we define the ancestral matrix $C(T)$ of $T$ to be the $n \times n$ matrix for which the entry in the $i$-th row, $j$-th column is the level (distance from the root) of the first…

Combinatorics · Mathematics 2018-09-11 Eric O. D. Andriantiana , Kenneth Dadedzi , Stephan Wagner

Random forests are classical ensemble algorithms that construct multiple randomized decision trees and aggregate their predictions using naive averaging. \citet{zhou2019deep} further propose a deep forest algorithm with multi-layer forests,…

Machine Learning · Computer Science 2025-02-04 Shen-Huan Lyu , Jin-Hui Wu , Qin-Cheng Zheng , Baoliu Ye

We study the influence of the seed in random trees grown according to the uniform attachment model, also known as uniform random recursive trees. We show that different seeds lead to different distributions of limiting trees from a total…

Probability · Mathematics 2014-10-22 Sébastien Bubeck , Ronen Eldan , Elchanan Mossel , Miklós Z. Rácz

We consider stochastic processes indexed by the vertices of an infinite binary tree having a simple recursive structure. The value at any vertex is some fixed function of the values at the two daughter vertices together with some…

Probability · Mathematics 2007-05-23 Jon Warren

To a definable subset of Z_p^n (or to a scheme of finite type over Z_p) one can associate a tree in a natural way. It is known that the corresponding Poincare series P(X) = \sum_i N_i X^i is rational, where N_i is the number of nodes of the…

Algebraic Geometry · Mathematics 2010-09-20 Immanuel Halupczok