中文
相关论文

相关论文: Reachability in arborescence packings

200 篇论文

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…

数据结构与算法 · 计算机科学 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…

计算机科学中的逻辑 · 计算机科学 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…

组合数学 · 数学 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…

计算复杂性 · 计算机科学 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:…

离散数学 · 计算机科学 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…

最优化与控制 · 数学 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…

计算机科学中的逻辑 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

组合数学 · 数学 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…

数据结构与算法 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

最优化与控制 · 数学 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…

计算几何 · 计算机科学 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…

网络与互联网体系结构 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

组合数学 · 数学 2025-11-17 Nils Hausbrandt , Levin Nemesch , Stefan Ruzika