中文
相关论文

相关论文: Reachability in arborescence packings

200 篇论文

A classical problem in Distance Geometry, with multiple practical applications (in molecular structure determination, sensor network localization etc.) is to find the possible placements of the vertices of a graph with given edge lengths.…

组合数学 · 数学 2021-11-30 Goran Malić , Ileana Streinu

More than 30 years after their inception, the decidability proofs for reachability in vector addition systems (VAS) still retain much of their mystery. These proofs rely crucially on a decomposition of runs successively refined by Mayr,…

计算机科学中的逻辑 · 计算机科学 2015-08-11 Jérôme Leroux , Sylvain Schmitz

We consider the problem of finding a maximum popular matching in a many-to-many matching setting with two-sided preferences and matroid constraints. This problem was proposed by Kamiyama (2020) and solved in the special case where matroids…

计算机科学与博弈论 · 计算机科学 2023-06-22 Gergely Csáji , Tamás Király , Yu Yokoi

We revisit the problem max-min degree arborescence, which was introduced by Bateni et al. [STOC'09] as a central special case of the general Santa Claus problem, which constitutes a notorious open question in approximation algorithms. In…

数据结构与算法 · 计算机科学 2022-11-28 Étienne Bamas , Lars Rohwedder

As an extension of a classical tree-partition problem, we consider decompositions of graphs into edge-disjoint (rooted-)trees with an additional matroid constraint. Specifically, suppose we are given a graph $G=(V,E)$, a multiset…

组合数学 · 数学 2011-09-06 Naoki Katoh , Shin-ichi Tanigawa

We prove a refinement of the tree packing theorem by Tutte/Nash-Williams for finite graphs. This result is used to obtain a similar result for end faithful spanning tree packings in certain infinite graphs and consequently to establish a…

组合数学 · 数学 2013-09-19 Florian Lehner

We introduce the notion of an online matroid embedding, which is an algorithm for mapping an unknown matroid that is revealed in an online fashion to a larger-but-known matroid. We establish the existence of such an embedding for binary…

数据结构与算法 · 计算机科学 2025-10-20 Andrés Cristi , Paul Dütting , Robert Kleinberg , Renato Paes Leme , Neel Patel

This paper deals with a modifed iterative projection method for approximating a solution of hierarchical fixed point problems for nearly nonexpansive mappings. Some strong convergence theorems for the proposed method are presented under…

泛函分析 · 数学 2014-03-17 Ibrahim Karahan , Murat Ozdemir

In this paper the robust recoverable spanning tree problem with interval edge costs is considered. The complexity of this problem has remained open to date. It is shown that the problem is polynomially solvable, by using an iterative…

数据结构与算法 · 计算机科学 2016-03-08 Mikita Hradovich , Adam Kasperski , Pawel Zielinski

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…

最优化与控制 · 数学 2013-04-23 Eranda Cela , Rostislav Stanek

This paper studies optimal matroid partitioning problems for various objective functions. In the problem, we are given a finite set $E$ and $k$ weighted matroids $(E, \mathcal{I}_i, w_i)$, $i = 1, \dots, k$, and our task is to find a…

数据结构与算法 · 计算机科学 2017-10-04 Yasushi Kawase , Kei Kimura , Kazuhisa Makino , Hanna Sumita

We consider the minimum spanning tree problem in a setting where the edge weights are stochastic from unknown distributions, and the only available information is a single sample of each edge's weight distribution. In this setting, we…

数据结构与算法 · 计算机科学 2024-09-25 Ruben Hoeksma , Gavin Speek , Marc Uetz

We investigate the complexity of finding a transformation from a given spanning tree in a graph to another given spanning tree in the same graph via a sequence of edge flips. The exchange property of the matroid bases immediately yields…

数据结构与算法 · 计算机科学 2022-01-13 Nicolas Bousquet , Takehiro Ito , Yusuke Kobayashi , Haruka Mizuta , Paul Ouvrard , Akira Suzuki , Kunihiro Wasa

We reduce the problem of finding an augmenting path in a general graph to a reachability problem in a directed bipartite graph. A slight modification of depth-first search leads to an algorithm for finding such paths. Although this setting…

数据结构与算法 · 计算机科学 2015-09-17 Norbert Blum

Graph isomorphism, subgraph isomorphism, and maximum common subgraphs are classical well-investigated objects. Their (parameterized) complexity and efficiently tractable cases have been studied. In the present paper, for a given set of…

数据结构与算法 · 计算机科学 2024-03-22 Dieter Rautenbach , Florian Werner

This paper describes a numerical method for finding good packings in Grassmannian manifolds equipped with various metrics. This investigation also encompasses packing in projective spaces. In each case, producing a good packing is…

度量几何 · 数学 2014-04-29 I. S. Dhillon , R. W. Heath , T. Strohmer , J. A. Tropp

In real world applications, uncertain parameters are the rule rather than the exception. We present a reachability algorithm for linear systems with uncertain parameters and inputs using set propagation of polynomial zonotopes. In contrast…

系统与控制 · 电气工程与系统科学 2024-06-18 Yushen Huang , Ertai Luo , Stanley Bak , Yifan Sun

We study an extensive class of movement minimization problems which arise from many practical scenarios but so far have little theoretical study. In general, these problems involve planning the coordinated motion of a collection of agents…

数据结构与算法 · 计算机科学 2015-03-20 Erik D. Demaine , MohammadTaghi Hajiaghayi , Dániel Marx

Many packing, scheduling and covering problems that were previously considered by computer science literature in the context of various transportation and production problems, appear also suitable for describing and modeling various…

计算机科学与博弈论 · 计算机科学 2015-03-19 Elena Kleiman

Motivated by applications in machine learning, such as subset selection and data summarization, we consider the problem of maximizing a monotone submodular function subject to mixed packing and covering constraints. We present a tight…

数据结构与算法 · 计算机科学 2018-12-20 Eyal Mizrachi , Roy Schwartz , Joachim Spoerhase , Sumedha Uniyal