English
Related papers

Related papers: No small nondeterministic read-once branching prog…

200 papers

The Survivable Network Design problem (SNDP) is a well-studied problem, motivated by the design of networks that are robust to faults under the assumption that any subset of edges up to a specific number can fail. We consider non-uniform…

Data Structures and Algorithms · Computer Science 2024-03-26 Chandra Chekuri , Rhea Jain

The recently introduced graph parameter tree-cut width plays a similar role with respect to immersions as the graph parameter treewidth plays with respect to minors. In this paper, we provide the first algorithmic applications of tree-cut…

Data Structures and Algorithms · Computer Science 2022-06-03 Robert Ganian , Eun Jung Kim , Stefan Szeider

We investigate the closure properties of read-once oblivious Algebraic Branching Programs (roABPs) under various natural algebraic operations and prove the following. - Non-closure under factoring: There is a sequence of explicit…

Computational Complexity · Computer Science 2025-09-16 Jules Armand , Prateek Dwivedi , Magnus Rahbek Dalgaard Hansen , Nutan Limaye , Srikanth Srinivasan , Sébastien Tavenas

We prove that the combinatorial Weisfeiler-Leman algorithm of dimension $(3k+4)$ is a complete isomorphism test for the class of all graphs of rank width at most $k$. Rank width is a graph invariant that, similarly to tree width, measures…

Data Structures and Algorithms · Computer Science 2023-05-30 Martin Grohe , Daniel Neuen

We study the minimal spanning arborescence which is the directed analogue of the minimal spanning tree, with a particular focus on its infinite volume limit and its geometric properties. We prove that in a certain large class of transient…

Probability · Mathematics 2024-01-26 Gourab Ray , Arnab Sen

We study the well-established problem of finding an optimal routing of unsplittable flows in a graph. While by now there is an extensive body of work targeting the problem on graph classes such as paths and trees, we aim at using the…

Data Structures and Algorithms · Computer Science 2024-10-23 Robert Ganian , Mathis Rocton , Daniel Unterberger

A branchwise-real tree is a partial order which is a tree and in which every branch is isomorphic to a real interval. I give constructions of such trees which are both rigid (i.e. without non-trivial order-automorphisms) and uniform (in two…

Logic · Mathematics 2023-03-10 Sam Adam-Day

It is well known that, given \(b\ge 0\), finding an $(a,b)$-trapping set with the minimum \(a\) in a binary linear code is NP-hard. In this paper, we demonstrate that this problem can be solved with linear complexity with respect to the…

Information Theory · Computer Science 2026-02-02 Qingqing Peng , Ke Liu , Guiying Yan , Guanghui Wang

We prove that for any fixed r>=2, the tree-width of graphs not containing K_r as a topological minor (resp. as a subgraph) is bounded by a linear (resp. polynomial) function of their rank-width. We also present refinements of our bounds for…

Combinatorics · Mathematics 2014-03-26 Fedor V. Fomin , Sang-il Oum , Dimitrios M. Thilikos

Treewidth is an important structural graph parameter that quantifies how closely a graph resembles a tree-like structure. It has applications in many algorithmic and combinatorial problems. In this paper, we study the treewidth of outer…

Discrete Mathematics · Computer Science 2025-12-01 Rafał Pyzik

We determine if the width of a graph class ${\cal G}$ changes from unbounded to bounded if we consider only those graphs from ${\cal G}$ whose diameter is bounded. As parameters we consider treedepth, pathwidth, treewidth and clique-width,…

Discrete Mathematics · Computer Science 2025-05-27 Konrad K. Dabrowski , Tala Eagling-Vose , Noleen Köhler , Sebastian Ordyniak , Daniël Paulusma

For a given graph G and integers b,f >= 0, let S be a subset of vertices of G of size b+1 such that the subgraph of G induced by S is connected and S can be separated from other vertices of G by removing f vertices. We prove that every…

Data Structures and Algorithms · Computer Science 2008-05-05 Fedor V. Fomin , Yngve Villanger

The notion of treewidth plays an important role in theoretical and practical studies of graph problems. It has been recognized that, especially in practical environments, when computing the treewidth of a graph it is invaluable to first…

Data Structures and Algorithms · Computer Science 2015-03-19 Hans L. Bodlaender , Bart M. P. Jansen , Stefan Kratsch

In this paper we study a natural generalization of both {\sc $k$-Path} and {\sc $k$-Tree} problems, namely, the {\sc Subgraph Isomorphism} problem. In the {\sc Subgraph Isomorphism} problem we are given two graphs $F$ and $G$ on $k$ and $n$…

Data Structures and Algorithms · Computer Science 2009-12-15 Fedor V. Fomin , Daniel Lokshtanov , Venkatesh Raman , B. V. Raghavendra Rao , Saket Saurabh

We study the parameterized complexity of maximum temporal connected components (tccs) in temporal graphs, i.e., graphs that deterministically change over time. In a tcc, any pair of vertices must be able to reach each other via a…

Data Structures and Algorithms · Computer Science 2025-10-08 Argyrios Deligkas , Michelle Döring , Eduard Eiben , Tiger-Lily Goldsmith , George Skretas , Georg Tennigkeit

In Part I of this series we described three algorithms that construct canonical tree-decompositions of graphs which distinguish all their k-blocks and tangles of order k. We now establish bounds on the number of parts in these…

Combinatorics · Mathematics 2014-04-25 Johannes Carmesin , Reinhard Diestel , Matthias Hamann , Fabian Hundertmark

An out-branching of a directed graph is a rooted spanning tree with all arcs directed outwards from the root. We consider the problem of deciding whether a given directed graph D has an out-branching with at least k leaves (Directed…

Data Structures and Algorithms · Computer Science 2007-11-27 Paul Bonsma , Frederic Dorn

In this paper we study algebraic branching programs (ABPs) with restrictions on the order and the number of reads of variables in the program. Given a permutation $\pi$ of $n$ variables, for a $\pi$-ordered ABP ($\pi$-OABP), for any…

Computational Complexity · Computer Science 2010-02-09 Maurice Jansen , Youming Qiao , Jayalal Sarma

We give new decomposition theorems for classes of graphs that can be transduced in first-order logic from classes of sparse graphs -- more precisely, from classes of bounded expansion and from nowhere dense classes. In both cases, the…

Logic in Computer Science · Computer Science 2022-01-27 Jan Dreier , Jakub Gajarský , Sandra Kiefer , Michał Pilipczuk , Szymon Toruńczyk

The scramble number of a graph, a natural generalization of bramble number, is an invariant recently developed to study chip-firing games and graph gonality. We introduce the carton number of a graph, defined to be the minimum size of a…

Combinatorics · Mathematics 2026-03-12 Seamus Connor , Steven DiSilvio , Sasha Kononova , Ralph Morrison , Krish Singal