English
Related papers

Related papers: On the Congruency-Constrained Matroid Base

200 papers

We study the parallel (adaptive) complexity of the classic problem of finding a basis in an $n$-element matroid, given access via an \emph{independence oracle}. In this model, the algorithm may submit polynomially many independence queries…

Data Structures and Algorithms · Computer Science 2026-05-06 Sanjeev Khanna , Aaron Putterman , Junkai Song

In the Bin Packing problem one is given $n$ items with weights $w_1,\ldots,w_n$ and $m$ bins with capacities $c_1,\ldots,c_m$. The goal is to find a partition of the items into sets $S_1,\ldots,S_m$ such that $w(S_j) \leq c_j$ for every bin…

Data Structures and Algorithms · Computer Science 2023-09-11 Jesper Nederlof , Jakub Pawlewicz , Céline M. F. Swennenhuis , Karol Węgrzycki

A matroid $M$ is an ordered pair $(E,I)$, where $E$ is a finite set called the ground set and a collection $I\subset 2^{E}$ called the independent sets which satisfy the conditions: (i) $\emptyset \in I$, (ii) $I'\subset I \in I$ implies…

Computational Complexity · Computer Science 2024-08-21 Eun Jung Kim , Arnaud de Mesmay , Tillmann Miltzow

We consider the following Stochastic Boolean Function Evaluation problem, which is closely related to several problems from the literature. A matroid $\mathcal{M}$ (in compact representation) on ground set $E$ is given, and each element…

Data Structures and Algorithms · Computer Science 2026-01-13 Lisa Hellerstein , Benedikt M. Plank , Kevin Schewior

In recent work, G. E. Andrews and G. Simay prove a surprising relation involving parity palindromic compositions, and ask whether a combinatorial proof can be found. We extend their results to a more general class of compositions that are…

Combinatorics · Mathematics 2021-09-29 Matthew Just

In this work, we consider robust submodular maximization with matroid constraints. We give an efficient bi-criteria approximation algorithm that outputs a small family of feasible sets whose union has (nearly) optimal objective value. This…

Data Structures and Algorithms · Computer Science 2018-07-26 Sebastian Pokutta , Mohit Singh , Alfredo Torrico

The problem of covering the ground set of two matroids by a minimum number of common independent sets is notoriously hard even in very restricted settings, i.e.\ when the goal is to decide if two common independent sets suffice or not.…

Combinatorics · Mathematics 2023-02-06 Kristóf Bérczi , Tamás Schwarcz

The modular subset sum problem consists of deciding, given a modulus $m$, a multiset $S$ of $n$ integers in $0..m-1$, and a target integer $t$, whether there exists a subset of $S$ with elements summing to $t \mod m $, and to report such a…

Data Structures and Algorithms · Computer Science 2023-10-27 Jean Cardinal , John Iacono

We establish a connection between problems studied in rigidity theory and matroids arising from linear algebraic constructions like tensor products and symmetric products. A special case of this correspondence identifies the problem of…

Combinatorics · Mathematics 2026-03-04 Joshua Brakensiek , Manik Dhar , Jiyang Gao , Sivakanth Gopi , Matt Larson

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

When we deal with a matroid ${\mathcal M}=(U,{\mathcal I})$, we usually assume that it is implicitly given by means of the independence (IND) oracle. Time complexity of many existing algorithms is polynomially bounded with respect to $|U|$…

Data Structures and Algorithms · Computer Science 2025-09-15 Yuki Nishimura , Kazuya Haraguchi

Homogeneous matroids are characterized by the property that strength equals fractional arboricity, and arise in the study of base modulus [22]. For graphic matroids, Cunningham [9] provided efficient algorithms for calculating graph…

Combinatorics · Mathematics 2024-08-02 Huy Truong , Pietro Poggi-Corradini

We give a deterministic algorithm that, given a composite number $N$ and a target order $D \ge N^{1/6}$, runs in time $D^{1/2+o(1)}$ and finds either an element $a \in \mathbb{Z}_N^*$ of multiplicative order at least $D$, or a nontrivial…

Data Structures and Algorithms · Computer Science 2025-10-14 Ziv Oznovich , Ben Lee Volk

The matroid-based valuation conjecture of Ostrovsky and Paes Leme states that all gross substitutes valuations on $n$ items can be produced from merging and endowments of weighted ranks of matroids defined on at most $m(n)$ items. We show…

Combinatorics · Mathematics 2020-05-15 Ngoc Mai Tran

The classical comparison-based sorting problem asks us to find the underlying total order of a given set of elements, where we can only access the elements via comparisons. In this paper, we study a restricted version, where, as a hint, a…

Data Structures and Algorithms · Computer Science 2025-07-21 Benjamin Aram Berendsohn

Let $F$ be a non-negatively graded free module over a polynomial ring $\mathbb{K}[x_1,\dots,x_n]$ generated by $m$ basis elements. Let $M$ be a submodule of $F$ generated by elements in $F$ with degrees bounded by $D$ and dim $F/M$=$r$. We…

Commutative Algebra · Mathematics 2022-04-22 Yihui Liang

This paper introduces a framework to study discrete optimization problems which are parametric in the following sense: their constraint matrices correspond to matrices over the ring $\mathbb{Z}[x]$ of polynomials in one variable. We…

Optimization and Control · Mathematics 2024-03-08 Marcel Celaya , Stefan Kuhlmann , Robert Weismantel

In $1980$ White conjectured that every element of the toric ideal of a matroid is generated by quadratic binomials corresponding to symmetric exchanges. We prove White's conjecture for high degrees with respect to the rank. This extends our…

Combinatorics · Mathematics 2021-12-01 Michał Lasoń

A diagram $\mathcal{D} = (G, l)$ over a monoid $M$ is an oriented graph $G = (V, E)$ endowed with a labeling $l\colon E \to M$. A diagram is commutative if and only if for any two oriented paths with the same endpoints, the products in $M$…

Combinatorics · Mathematics 2025-09-16 Artem Malko , Igor Spiridonov

In this article, we introduce the parametric matroid $\ell$-interdiction problem, where $\ell\in\mathbb{N}_{>0}$ is a fixed number of elements allowed to be interdicted. Each element of the matroid's ground set is assigned a weight that…

Combinatorics · Mathematics 2024-08-15 Nils Hausbrandt , Stefan Ruzika