English
Related papers

Related papers: Reachability in arborescence packings

200 papers

Higher-dimensional orthogonal packing problems have a wide range of practical applications, including packing, cutting, and scheduling. Combining the use of our data structure for characterizing feasible packings with our new classes of…

Data Structures and Algorithms · Computer Science 2007-05-23 Sandor P. Fekete , Joerg Schepers , Jan C. van der Veen

This paper studies parametric Markov decision processes (pMDPs), an extension to Markov decision processes (MDPs) where transitions probabilities are described by polynomials over a finite set of parameters. Fixing values for all parameters…

Logic in Computer Science · Computer Science 2019-04-03 Tobias Winkler , Sebastian Junges , Guillermo A. Pérez , Joost-Pieter Katoen

We consider the class of graphs for which the edge connectivity is equal to the maximum number of edge-disjoint spanning trees, and the natural generalization to matroids, where the cogirth is equal to the number of disjoint bases. We…

Combinatorics · Mathematics 2014-02-10 Robert F. Bailey , Mike Newman , Brett Stevens

We study the problem of connecting the parts of a multipartite graph using a minimum number of edges under a matching constraint. We introduce interconnection trees, defined as matchings whose projections onto the quotient graph form a…

Computational Complexity · Computer Science 2026-05-19 Noé Demange , Yann Strozecki

An arborescence in a digraph is an acyclic arc subset in which every vertex execpt a root has exactly one incoming arc. In this paper, we reveal the reconfigurability of the union of $k$ arborescences for fixed $k$ in the following sense:…

Discrete Mathematics · Computer Science 2023-11-16 Yusuke Kobayashi , Ryoga Mahara , Tamás Schwarcz

Generally, multi-objective optimisation problems are solved exactly or approximated by solving a series of scalarisations, for example by dichotomic search. In this paper, we take a different approach and attempt to compute the set of all…

Optimization and Control · Mathematics 2026-01-28 Oliver Bachtler , Felix Fritz , Stefan Ruzika

We present a formal analysis, in Isabelle/HOL, of optimisation algorithms for matroids, which are useful generalisations of combinatorial structures that occur in optimisation, and greedoids, which are a generalisation of matroids. Although…

Logic in Computer Science · Computer Science 2025-07-01 Mohammad Abdulaziz , Thomas Ammer , Shriya Meenakshisundaram , Adem Rimpapa

We investigate the tractability of a simple fusion of two fundamental structures on graphs, a spanning tree and a perfect matching. Specifically, we consider the following problem: given an edge-weighted graph, find a minimum-weight…

Data Structures and Algorithms · Computer Science 2024-07-12 Kristóf Bérczi , Tamás Király , Yusuke Kobayashi , Yutaro Yamaguchi , Yu Yokoi

In this paper, we solve a conjecture by Szigeti in [Matroid-rooted packing of arborescences, submitted], which characterizes a mixed hypergraph $\mathcal{F}=(V, \mathcal{E} \cup \mathcal{A})$ having an orientation…

Combinatorics · Mathematics 2024-02-09 Hui Gao

While the basic greedy algorithm gives a semi-streaming algorithm with an approximation guarantee of $2$ for the \emph{unweighted} matching problem, it was only recently that Paz and Schwartzman obtained an analogous result for weighted…

Data Structures and Algorithms · Computer Science 2021-02-09 Paritosh Garg , Linus Jordan , Ola Svensson

Many popular algorithms for searching the space of leaf-labelled trees are based on tree rearrangement operations. Under any such operation, the problem is reduced to searching a graph where vertices are trees and (undirected) edges are…

Data Structures and Algorithms · Computer Science 2020-07-27 Lena Collienne , Alex Gavryushkin

In this paper, we study the convergence of Alternating Projection (AP) algorithm for the matrix completion and compressed sensing problems. We also present computational evidence for the excellent performance of the algorithm. Also, in the…

Optimization and Control · Mathematics 2017-11-08 Ming Jun Lai , Abraham Varghese

Packing graphs is a combinatorial problem where several given graphs are being mapped into a common host graph such that every edge is used at most once. In the planar tree packing problem we are given two trees T1 and T2 on n vertices and…

Computational Geometry · Computer Science 2016-03-28 Markus Geyer , Michael Hoffmann , Michael Kaufmann , Vincent Kusters , Csaba D. Tóth

We introduce the problem of finding a spanning tree along with a partition of the tree edges into fewest number of feasible sets, where constraints on the edges define feasibility. The motivation comes from wireless networking, where we…

Networking and Internet Architecture · Computer Science 2018-03-14 Magnus M. Halldorsson , Guy Kortsarz , Pradipta Mitra , Tigran Tonoyan

This paper deals with the recoverable robust spanning tree problem under interval uncertainty representations. A polynomial time, combinatorial algorithm for the recoverable spanning tree problem is first constructed. This problem…

Data Structures and Algorithms · Computer Science 2016-08-30 Mikita Hradovich , Adam Kasperski , Pawel Zielinski

The maximum intersection problem for a matroid and a greedoid, given by polynomial-time oracles, is shown $NP$-hard by expressing the satisfiability of boolean formulas in 3-conjunctive normal form as such an intersection. The corresponding…

Data Structures and Algorithms · Computer Science 2007-05-23 Taneli Mielikäinen , Esko Ukkonen

Higher-dimensional orthogonal packing problems have a wide range of practical applications, including packing, cutting, and scheduling. Previous efforts for exact algorithms have been unable to avoid structural problems that appear for…

Data Structures and Algorithms · Computer Science 2007-05-23 Sandor P. Fekete , Joerg Schepers

We consider combinatorial problems that can be solved in polynomial time for graphs of bounded treewidth but where the order of the polynomial that bounds the running time is expected to depend on the treewidth bound. First we review some…

Data Structures and Algorithms · Computer Science 2015-03-19 Stefan Szeider

Enumeration algorithms have been one of recent hot topics in theoretical computer science. Different from other problems, enumeration has many interesting aspects, such as the computation time can be shorter than the total output size, by…

Data Structures and Algorithms · Computer Science 2014-07-16 Takeaki Uno

Matroid interdiction problems are well-researched in the field of combinatorial optimization. In the matroid $\ell$-interdiction problem, an interdiction strategy removes a subset of cardinality $\ell$ from the matroid's ground set. The…

Combinatorics · Mathematics 2025-11-17 Nils Hausbrandt , Levin Nemesch , Stefan Ruzika