English
Related papers

Related papers: Pebbles and Branching Programs for Tree Evaluation

200 papers

We consider a variant of treewidth that we call clique-partitioned treewidth in which each bag is partitioned into cliques. This is motivated by the recent development of FPT-algorithms based on similar parameters for various problems. With…

Data Structures and Algorithms · Computer Science 2023-02-20 Thomas Bläsius , Maximilian Katzmann , Marcus Wilhelm

We study the following growth model on a regular d-ary tree. Points at distance n adjacent to the existing subtree are added with probabilities proportional to alpha^{-n}, where alpha<1 is a positive real parameter. The heights of these…

Probability · Mathematics 2007-05-23 MArtin T. Barlow , Robin Pemantle , Edwin A. Perkins

The data arrangement problem on regular trees (DAPT) consists in assigning the vertices of a given graph G to the leaves of a d-regular tree T such that the sum of the pairwise distances of all pairs of leaves in T which correspond to edges…

Optimization and Control · Mathematics 2013-04-23 Eranda Cela , Rostislav Stanek

We show that the deterministic decision tree complexity of a (partial) function or relation $f$ lifts to the deterministic parity decision tree (PDT) size complexity of the composed function/relation $f \circ g$ as long as the gadget $g$…

Computational Complexity · Computer Science 2023-10-19 Arkadev Chattopadhyay , Nikhil S. Mande , Swagato Sanyal , Suhail Sherif

The k-d tree was one of the first spatial data structures proposed for nearest neighbor search. Its efficacy is diminished in high-dimensional spaces, but several variants, with randomization and overlapping cells, have proved to be…

Data Structures and Algorithms · Computer Science 2013-02-11 Sanjoy Dasgupta , Kaushik Sinha

Consider balls $\Lambda_n$ of growing volumes in the $d$-dimensional hierarchical lattice, and place edges independently between each pair of vertices $x\neq y\in\Lambda_n$ with probability $1-\exp(-\beta J(x, y) )$ where $J(x, y) \asymp \|…

Probability · Mathematics 2025-09-12 Sanchayan Sen

We investigate the space of consistent tree-level extensions of the maximal supergravities in ten dimensions. We parametrize theory space by the first few EFT coefficients and by the on-shell coupling of the lightest massive state, and…

High Energy Physics - Theory · Physics 2025-03-07 Jan Albert , Waltraut Knop , Leonardo Rastelli

We consider a probability distribution on the set of Boolean functions in n variables which is induced by random Boolean expressions. Such an expression is a random rooted plane tree where the internal vertices are labelled with connectives…

Combinatorics · Mathematics 2015-09-28 Antoine Genitrini , Bernhard Gittenberger , Veronika Kraus , Cécile Mailler

Decision Tree (DT) Learning is a fundamental problem in Interpretable Machine Learning, yet it poses a formidable optimisation challenge. Practical algorithms have recently emerged, primarily leveraging Dynamic Programming and Branch &…

Machine Learning · Computer Science 2025-05-13 Ayman Chaouki , Jesse Read , Albert Bifet

Phylogenetic trees are leaf-labelled trees used to model the evolution of species. Here we explore the practical impact of kernelization (i.e. data reduction) on the NP-hard problem of computing the TBR distance between two unrooted binary…

Data Structures and Algorithms · Computer Science 2023-08-21 Rim van Wersch , Steven Kelk , Simone Linz , Georgios Stamoulis

We present a general method for converting any family of unsatisfiable CNF formulas that is hard for one of the simplest proof systems, tree resolution, into formulas that require large rank in any proof system that manipulates polynomials…

Computational Complexity · Computer Science 2009-12-04 Paul Beame , Trinh Huynh , Toniann Pitassi

Compatibility of unrooted phylogenetic trees is a well studied problem in phylogenetics. It asks to determine whether for a set of k input trees there exists a larger tree (called a supertree) that contains the topologies of all k input…

Discrete Mathematics · Computer Science 2014-03-03 Alexander Grigoriev , Steven Kelk , Nela Lekic

We present a general framework for balancing expressions (terms) in form of so called tree straight-line programs. The latter can be seen as circuits over the free term algebra extended by contexts (terms with a hole) and the operations…

Computational Complexity · Computer Science 2017-10-18 Moses Ganardi , Markus Lohrey

Although advancements in deep learning have significantly enhanced the recommendation accuracy of deep recommendation models, these methods still suffer from low recommendation efficiency. Recently proposed tree-based deep recommendation…

Information Retrieval · Computer Science 2026-01-29 Ze Liu , Jin Zhang , Chao Feng , Defu Lian , Jie Wang , Enhong Chen

The register function (or Horton-Strahler number) of a binary tree is a well-known combinatorial parameter. We study a reduction procedure for binary trees which offers a new interpretation for the register function as the maximal number of…

Combinatorics · Mathematics 2016-05-12 Benjamin Hackl , Clemens Heuberger , Helmut Prodinger

We present an algorithm for the numerical solution of systems of fully nonlinear PDEs using stochastic coded branching trees. This approach covers functional nonlinearities involving gradient terms of arbitrary orders, and it requires only…

Numerical Analysis · Mathematics 2022-12-27 Jiang Yu Nguwi , Guillaume Penent , Nicolas Privault

We investigate the satisfiability and finite satisfiability problem for probabilistic computation-tree logic (PCTL) where operators are not restricted by any step bounds. We establish decidability for several fragments containing…

Logic in Computer Science · Computer Science 2018-07-02 Jan Křetínský , Alexej Rotar

In collective tree exploration, a team of $k$ mobile agents is tasked to go through all edges of an unknown tree as fast as possible. An edge of the tree is revealed to the team when one agent becomes adjacent to that edge. The agents start…

Data Structures and Algorithms · Computer Science 2023-11-01 Romain Cosson

We prove that for any decision tree calculating a boolean function $f:\{-1,1\}^n\to\{-1,1\}$, \[ \Var[f] \le \sum_{i=1}^n \delta_i \Inf_i(f), \] where $\delta_i$ is the probability that the $i$th input variable is read and $\Inf_i(f)$ is…

Computational Complexity · Computer Science 2007-05-23 Ryan O'Donnell , Michael Saks , Oded Schramm , Rocco A. Servedio

Label tree-based algorithms are widely used to tackle multi-class and multi-label problems with a large number of labels. We focus on a particular subclass of these algorithms that use probabilistic classifiers in the tree nodes. Examples…