English
Related papers

Related papers: Heaviest Induced Ancestors and Longest Common Subs…

200 papers

We present a method for constructing taxonomic trees (e.g., WordNet) using pretrained language models. Our approach is composed of two modules, one that predicts parenthood relations and another that reconciles those predictions into trees.…

Computation and Language · Computer Science 2021-11-03 Catherine Chen , Kevin Lin , Dan Klein

We study learning-augmented binary search trees (BSTs) via Treaps with carefully designed priorities. The result is a simple search tree in which the depth of each item $x$ is determined by its predicted weight $w_x$. Specifically, each…

Data Structures and Algorithms · Computer Science 2025-05-16 Jingbang Chen , Xinyuan Cao , Alicia Stepin , Li Chen

Given a rooted, binary phylogenetic network and a rooted, binary phylogenetic tree, can the tree be embedded into the network? This problem, called \textsc{Tree Containment}, arises when validating networks constructed by phylogenetic…

Populations and Evolution · Quantitative Biology 2024-02-14 Leo van Iersel , Mark Jones , Mathias Weller

We introduce a new compression scheme for labeled trees based on top trees. Our compression scheme is the first to simultaneously take advantage of internal repeats in the tree (as opposed to the classical DAG compression that only exploits…

Data Structures and Algorithms · Computer Science 2014-05-13 Philip Bille , Inge Li Goertz , Gad M. Landau , Oren Weimann

An evolutionary tree is a rooted tree where each internal vertex has at least two children and where the leaves are labeled with distinct symbols representing species. Evolutionary trees are useful for modeling the evolutionary history of…

Computational Engineering, Finance, and Science · Computer Science 2007-05-23 Ming-Yang Kao

The Maximum (Minimum) Leaf Spanning Tree problem asks for a spanning tree with the largest (smallest) number of leaves. As spanning trees are often computed using graph search algorithms, it is natural to restrict this problem to the set of…

Data Structures and Algorithms · Computer Science 2026-04-02 Jesse Beisegel , Ekkehard Köhler , Robert Scheffler , Martin Strehler

Imitating a recently introduced invariant of trees, we initiate the study of the inducibility of $d$-ary trees (rooted trees whose vertex outdegrees are bounded from above by $d\geq 2$) with a given number of leaves. We determine the exact…

Combinatorics · Mathematics 2018-02-13 Éva Czabarka , Audace A. V. Dossou-Olory , László A. Székely , Stephan Wagner

Relative Lempel-Ziv (RLZ) parsing is a dictionary compression method in which a string $S$ is compressed relative to a second string $R$ (called the reference) by parsing $S$ into a sequence of substrings that occur in $R$. RLZ is…

Data Structures and Algorithms · Computer Science 2022-08-25 Philip Bille , Inge Li Gørtz , Simon J. Puglisi , Simon R. Tarnow

Latent tree learning(LTL) methods learn to parse sentences using only indirect supervision from a downstream task. Recent advances in latent tree learning have made it possible to recover moderately high quality tree structures by training…

Computation and Language · Computer Science 2019-09-24 Phu Mon Htut , Kyunghyun Cho , Samuel R. Bowman

It has been shown in the indexing literature that there is an essential difference between prefix/range searches on the one hand, and predecessor/rank searches on the other hand, in that the former provably allows faster query resolution.…

Data Structures and Algorithms · Computer Science 2018-04-16 Djamal Belazzougui , Paolo Boldi , Rasmus Pagh , Sebastiano Vigna

The inducibility of a graph represents its maximum density as an induced subgraph over all possible sequences of graphs of size growing to infinity. This invariant of graphs has been extensively studied since its introduction in $1975$ by…

Optimization and Control · Mathematics 2025-12-19 Daniel Brosch , Diane Puges

Frequent tree mining asks us to enumerate tree patterns that occur frequently in a database of rooted trees. This problem is motivated by tree-structured data in bioinformatics, such as glycans and pseudoknot-free RNA secondary structures.…

Data Structures and Algorithms · Computer Science 2026-05-21 Kenta Komoto , Kazuhiro Kurita , Hirotaka Ono

This paper, dating from May 1991, contains preliminary (and unpublishable) notes on investigations about iteration trees. They will be of interest only to the specialist. In the first two sections I define notions of support and embeddings…

Logic · Mathematics 2016-09-06 William Mitchell

Let T be a weighted tree with n leaves. Let D_{i,j} be the distance between the leaves i and j. Let D_{i,j,k}= (D_{i,j} + D_{j,k} +D_{i,k})/2. We will call such numbers "triple weights" of the tree. In this paper, we give a…

Algebraic Geometry · Mathematics 2011-04-25 Elena Rubei

Counting the number of spanning trees in specific classes of graphs has attracted increasing attention in recent years. In this note, we present unified proofs and generalizations of several results obtained in the 2020s. The main method is…

Combinatorics · Mathematics 2025-06-04 Danila Cherkashin , Pavel Prozorov

We develop a powerful tool for embedding any tree poset $P$ of height $k$ in the Boolean lattice which allows us to solve several open problems in the area. We show that: * If $H$ is a family in $B_n$ with $|H|\ge (q-1+\varepsilon){n\choose…

Combinatorics · Mathematics 2025-10-15 Tao Jiang , Sean Longbrake , Sam Spiro , Liana Yepremyan

Tree-based phylogenetic networks, which may be roughly defined as leaf-labeled networks built by adding arcs only between the original tree edges, have elegant properties for modeling evolutionary histories. We answer an open question of…

The Gyarfas-Sumner conjecture asserts that if H is a tree then every graph with bounded clique number and very large chromatic number contains H as an induced subgraph. This is still open, although it has been proved for a few simple…

Combinatorics · Mathematics 2018-12-06 Maria Chudnovsky , Alex Scott , Paul Seymour

Semi-labeled trees are phylogenies whose internal nodes may be labeled by higher-order taxa. Thus, a leaf labeled Mus musculus could nest within a subtree whose root node is labeled Rodentia, which itself could nest within a subtree whose…

Data Structures and Algorithms · Computer Science 2016-05-09 Yun Deng , David Fernández-Baca

The conventional general syntax of indexed families in dependent type theories follow the style of "constructors returning a special case", as in Agda, Lean, Idris, Coq, and probably many other systems. Fording is a method to encode indexed…

Logic in Computer Science · Computer Science 2023-10-31 Tesla Zhang