English
Related papers

Related papers: Semantic Tree-Width and Path-Width of Conjunctive …

200 papers

The rooted tree is an important data structure, and the subtree size, height, and depth are naturally defined attributes of every node. We consider the problem of the existence of a k-ary tree given a list of attribute sequences. We give…

Data Structures and Algorithms · Computer Science 2016-07-19 Akshar Varma

In this paper we consider the directed path-width and directed tree-width of recursively defined digraphs. As an important combinatorial tool, we show how the directed path-width and the directed tree-width can be computed for the disjoint…

Data Structures and Algorithms · Computer Science 2018-06-13 Frank Gurski , Carolin Rehs

It is proven that the connected pathwidth of any graph $G$ is at most $2\cdot\pw(G)+1$, where $\pw(G)$ is the pathwidth of $G$. The method is constructive, i.e. it yields an efficient algorithm that for a given path decomposition of width…

Discrete Mathematics · Computer Science 2021-03-05 Dariusz Dereniowski

Let $G=(V,E)$ be a simple, unweighted, connected graph. Let $d(u,v)$ denote the distance between vertices $u,v$. A resolving set of $G$ is a subset $S$ of $V$ such that knowing the distance from a vertex $v$ to every vertex in $S$ uniquely…

Data Structures and Algorithms · Computer Science 2023-02-14 Paul Gutkovich , Zi Song Yeoh

We give a fixed-parameter tractable algorithm that, given a parameter $k$ and two graphs $G_1,G_2$, either concludes that one of these graphs has treewidth at least $k$, or determines whether $G_1$ and $G_2$ are isomorphic. The running time…

Data Structures and Algorithms · Computer Science 2014-12-11 Daniel Lokshtanov , Marcin Pilipczuk , Michał Pilipczuk , Saket Saurabh

We initiate a study of a query-driven approach to designing partition trees for range-searching problems. Our model assumes that a data structure is to be built for an unknown query distribution that we can access through a sampling oracle,…

Data Structures and Algorithms · Computer Science 2025-02-20 Dimitris Fotakis , Andreas Kalavas , Ioannis Psarros

The {\sc Directed Maximum Leaf Out-Branching} problem is to find an out-branching (i.e. a rooted oriented spanning tree) in a given digraph with the maximum number of leaves. In this paper, we improve known parameterized algorithms and…

Data Structures and Algorithms · Computer Science 2007-07-10 Noga Alon , Fedor V. Fomin , Gregory Gutin , Michael Krivelevich , Saket Saurabh

While the quantum query complexity of $k$-distinctness is known to be $O\left(n^{3/4-1/4(2^k-1)}\right)$ for any constant $k \geq 4$, the best previous upper bound on the time complexity was $\widetilde{O}\left(n^{1-1/k}\right)$. We give a…

Quantum Physics · Physics 2025-03-05 Stacey Jeffery , Sebastian Zur

Decision trees are one of the most useful and popular methods in the machine learning toolbox. In this paper, we consider the problem of learning optimal decision trees, a combinatorial optimization problem that is challenging to solve at…

Machine Learning · Computer Science 2022-07-01 Rahul Mazumder , Xiang Meng , Haoyue Wang

A linear forest is a collection of vertex-disjoint paths. The Linear Arboricity Conjecture states that every graph of maximum degree $\Delta$ can be decomposed into at most $\lceil(\Delta+1)/2\rceil$ linear forests. We prove that $\Delta/2…

Combinatorics · Mathematics 2025-07-29 Micha Christoph , Nemanja Draganić , António Girão , Eoin Hurley , Lukas Michel , Alp Müyesser

We study the computational problem of checking whether a quantified conjunctive query (a first-order sentence built using only conjunction as Boolean connective) is true in a finite poset (a reflexive, antisymmetric, and transitive directed…

Logic in Computer Science · Computer Science 2014-08-20 Simone Bova , Robert Ganian , Stefan Szeider

We show that any quantum circuit of treewidth $t$, built from $r$-qubit gates, requires at least $\Omega(\frac{n^{2}}{2^{O(r\cdot t)}\cdot \log^4 n})$ gates to compute the element distinctness function. Our result generalizes a…

Computational Complexity · Computer Science 2016-10-03 Mateus de Oliveira Oliveira

The treewidth is a structural parameter that measures the tree-likeness of a graph. Many algorithmic and combinatorial results are expressed in terms of the treewidth. In this paper, we study the treewidth of outer $k$-planar graphs, that…

Discrete Mathematics · Computer Science 2025-04-24 Oksana Firman , Grzegorz Gutowski , Myroslav Kryven , Yuto Okada , Alexander Wolff

Two-way regular path queries (2RPQs) have received increased attention recently due to their ability to relate pairs of objects by flexibly navigating graph-structured data. They are present in property paths in SPARQL 1.1, the new standard…

Logic in Computer Science · Computer Science 2014-03-05 Meghyn Bienvenu , Diego Calvanese , Magdalena Ortiz , Mantas Simkus

We study upward planar straight-line embeddings (UPSE) of directed trees on given point sets. The given point set $S$ has size at least the number of vertices in the tree. For the special case where the tree is a path $P$ we show that: (a)…

Computational Geometry · Computer Science 2020-12-22 Elena Arseneva , Pilar Cano , Linda Kleist , Tamara Mchedlidze , Saeed Mehrabi , Irene Parada , Pavel Valtr

Random forests construct each tree with a different, randomised representation of the feature space. Their uniform voting cannot correct errors in regions where trees with incorrect representations probabilistically outnumber correct ones,…

Machine Learning · Computer Science 2026-05-28 Youngjoon Park

Assume that we embed the path $P_n$ as a subgraph of a $2$-dimensional grid, namely, $P_k \times P_l$. Given such an embedding, we consider the ordered set of subpaths $L_1, L_2, \ldots , L_m$ which are maximal straight segments in the…

Combinatorics · Mathematics 2018-03-23 Susana-Clara López , Francesc-Antoni Muntaner-Batle

This paper tightens the best known analysis of Hein's 1989 algorithm to infer the topology of a weighted tree based on the lengths of paths between its leaves. It shows that the number of length queries required for a degree-$k$ tree of $n$…

Data Structures and Algorithms · Computer Science 2024-12-05 Jack Gardiner , Lachlan L. H. Andrew , Junhao Gan , Jean Honorio , Seeun William Umboh

We study the complexity of approximating the number of answers to a small query $\varphi$ in a large database $\mathcal{D}$. We establish an exhaustive classification into tractable and intractable cases if $\varphi$ is a conjunctive query…

Discrete Mathematics · Computer Science 2025-03-04 Jacob Focke , Leslie Ann Goldberg , Marc Roth , Stanislav Živný

The aim of this paper is to provide an affirmative answer to a recent question by Bubeck and Linial on the local profile of trees. For a tree $T$, let $p^{(k)}_1(T)$ be the proportion of paths among all $k$-vertex subtrees (induced…

Combinatorics · Mathematics 2016-02-16 Éva Czabarka , László A. Székely , Stephan Wagner