English
Related papers

Related papers: Linear Matroid Intersection is in Catalytic Logspa…

200 papers

We introduce a new iterative rounding technique to round a point in a matroid polytope subject to further matroid constraints. This technique returns an independent set in one matroid with limited violations of the other ones. On top of the…

Data Structures and Algorithms · Computer Science 2018-11-26 André Linhares , Neil Olver , Chaitanya Swamy , Rico Zenklusen

We consider the problem of finding an independent set of maximum weight simultaneously contained in $k$ matroids over a common ground set. This $k$-matroid intersection problem appears naturally in many contexts, for example in generalizing…

Data Structures and Algorithms · Computer Science 2024-12-10 Neta Singer , Theophile Thiery

Matroid intersection is one of the most powerful frameworks of matroid theory that generalizes various problems in combinatorial optimization. Edmonds' fundamental theorem provides a min-max characterization for the unweighted setting,…

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

In this paper, we provide polynomial-time algorithms for different extensions of the matching counting problem, namely maximal matchings, path matchings (linear forest) and paths, on graph classes of bounded clique-width. For maximal…

Discrete Mathematics · Computer Science 2018-06-05 Benjamin Hellouin de Menibus , Takeaki Uno

This paper shows a polynomial-time algorithm, that given a general matroid $M_1 = (X, \mathcal{I}_1)$ and $k-1$ partition matroids $ M_2, \ldots, M_k$, produces a coloring of the intersection $M = \cap_{i=1}^k M_i$ using at most…

Data Structures and Algorithms · Computer Science 2025-08-28 Stephen Arndt , Benjamin Moseley , Kirk Pruhs , Michael Zlatin

We illustrate how computer-aided methods can be used to investigate the fundamental limits of the caching systems, which are significantly different from the conventional analytical approach usually seen in the information theory…

Information Theory · Computer Science 2018-08-28 Chao Tian

Matroid intersection is a classical optimization problem where, given two matroids over the same ground set, the goal is to find the largest common independent set. In this paper, we show that there exists a certain "sparsifer": a subset of…

Data Structures and Algorithms · Computer Science 2023-10-26 Chien-Chung Huang , François Sellier

We study the budgeted versions of the well known matching and matroid intersection problems. While both problems admit a polynomial-time approximation scheme (PTAS) [Berger et al. (Math. Programming, 2011), Chekuri, Vondrak and Zenklusen…

Data Structures and Algorithms · Computer Science 2023-02-14 Ilan Doron-Arad , Ariel Kulik , Hadas Shachnai

In this paper, we consider the tractability of the matroid intersection problem under the minimum rank oracle. In this model, we are given an oracle that takes as its input a set of elements and returns as its output the minimum of the…

Data Structures and Algorithms · Computer Science 2025-12-29 Mihály Bárász , Kristóf Bérczi , Tamás Király , Taihei Oki , Yutaro Yamaguchi , Yu Yokoi

Given two matroids $\mathcal{M}_1 = (V, \mathcal{I}_1)$ and $\mathcal{M}_2 = (V, \mathcal{I}_2)$ over an $n$-element integer-weighted ground set $V$, the weighted matroid intersection problem aims to find a common independent set $S^{*} \in…

Data Structures and Algorithms · Computer Science 2023-03-20 Ta-Wei Tu

We study algorithmic matroid intersection coloring. Given $k$ matroids on a common ground set $U$ of $n$ elements, the goal is to partition $U$ into the fewest number of color classes, where each color class is independent in all matroids.…

Data Structures and Algorithms · Computer Science 2026-04-07 Stephen Arndt , Benjamin Moseley , Kirk Pruhs , Chaitanya Swamy , Michael Zlatin

Multi-Robot Path Planning (MRPP) on graphs, equivalently known as Multi-Agent Path Finding (MAPF), is a well-established NP-hard problem with critically important applications. As serial computation in (near)-optimally solving MRPP…

Robotics · Computer Science 2024-03-19 Teng Guo , Jingjin Yu

Basic path-matchings, introduced by Cunningham and Geelen (FOCS 1996), are a common generalization of matroid intersection and non-bipartite matching. The main results of this paper are a new algebraic characterization of basic…

Data Structures and Algorithms · Computer Science 2007-05-23 Nicholas J. A. Harvey

Given two finite matroids on the same ground set, a celebrated result of Edmonds says that the ground set can be partitioned into two disjoint subsets in a manner that there is a common independent set in both matroids whose intersection…

Combinatorics · Mathematics 2025-01-27 Irfan Alam

We study the complexity of testing if two given matroids are isomorphic. The problem is easily seen to be in $\Sigma_2^p$. In the case of linear matroids, which are represented over polynomially growing fields, we note that the problem is…

Computational Complexity · Computer Science 2008-11-25 Raghavendra Rao B. V. , Jayalal M. N. Sarma

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

It has been shown that the parallel Lattice Linear Predicate (LLP) algorithm solves many combinatorial optimization problems such as the shortest path problem, the stable marriage problem and the market clearing price problem. In this…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-03-11 Vijay K. Garg

The Adwords and Online Bipartite Matching problems have enjoyed a renewed attention over the past decade due to their connection to Internet advertising. Our community has contributed, among other things, new models (notably stochastic) and…

Data Structures and Algorithms · Computer Science 2016-06-28 Yajun Wang , Sam Chiu-wai Wong

We investigate the space complexity of certain perfect matching problems over bipartite graphs embedded on surfaces of constant genus (orientable or non-orientable). We show that the problems of deciding whether such graphs have (1) a…

Computational Complexity · Computer Science 2010-04-29 Samir Datta , Raghav Kulkarni , Raghunath Tewari , N. V. Vinodchandran

This work considers the path planning problem for a team of identical robots evolving in a known environment. The robots should satisfy a global specification given as a Linear Temporal Logic (LTL) formula over a set of regions of interest.…

Robotics · Computer Science 2022-11-09 Sofia Hustiu , Cristian Mahulea , Marius Kloetzer , Jean-Jacques Lesage