English
Related papers

Related papers: Subquadratic Weighted Matroid Intersection Under R…

200 papers

Let G=(V,E) be a graph with f:V\to Z_+ a function assigning degree bounds to vertices. We present the first efficient algebraic algorithm to find an f-factor. The time is \tilde{O}(f(V)^{\omega}). More generally for graphs with integral…

Data Structures and Algorithms · Computer Science 2013-04-26 Harold N. Gabow , Piotr Sankowski

We study the weighted token swapping problem, in which we are given a graph on $n$ vertices, $n$ weighted tokens, an initial assignment of one token to each vertex, and a final assignment of one token to each vertex. The goal is to find a…

Data Structures and Algorithms · Computer Science 2025-08-01 Nicole Wein , Guanyu Tony Zhang

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

Let G be a bipartite graph with positive integer weights on the edges and without isolated nodes. Let n, N and W be the node count, the largest edge weight and the total weight of G. Let k(x,y) be log(x)/log(x^2/y). We present a new…

Data Structures and Algorithms · Computer Science 2007-05-23 Ming-Yang Kao , Tak-Wah Lam , Wing-Kin Sung , Hing-Fung Ting

Let $V$ be a set of $n$ vertices, ${\cal M}$ a set of $m$ labels, and let $\mathbf{R}$ be an $m \times n$ matrix of independent Bernoulli random variables with success probability $p$. A random instance $G(V,E,\mathbf{R}^T\mathbf{R})$ of…

Discrete Mathematics · Computer Science 2021-09-15 Sotiris Nikoletseas , Christoforos Raptopoulos , Paul Spirakis

The need to compute the intersections between a line and a high-order curve or surface arises in a large number of finite element applications. Such intersection problems are easy to formulate but hard to solve robustly. We introduce a…

Numerical Analysis · Mathematics 2020-11-09 Xiao Xiao , Laurent Buse , Fehmi Cirak

For given a pair of nodes in a graph, the minimum non-separating path problem looks for a minimum weight path between the two nodes such that the remaining graph after removing the path is still connected. The balanced connected bipartition…

Data Structures and Algorithms · Computer Science 2014-02-11 Bang Ye Wu

Research in explorable uncertainty addresses combinatorial optimization problems where there is partial information about the values of numeric input parameters, and exact values of these parameters can be determined by performing costly…

Data Structures and Algorithms · Computer Science 2026-04-09 Haya Diwan , Lisa Hellerstein , Nicole Megow , Jens Schlöter

We describe approximation algorithms in Linial's classic LOCAL model of distributed computing to find maximum-weight matchings in a hypergraph of rank $r$. Our main result is a deterministic algorithm to generate a matching which is an…

Data Structures and Algorithms · Computer Science 2023-10-13 David G. Harris

We address a specific case of the matroid intersection problem: given a set of graphs sharing the same set of vertices, select a minimum cycle basis for each graph to maximize the size of their intersection. We provide a comprehensive…

Computational Complexity · Computer Science 2024-04-29 Dimitri Watel , Marc-Antoine Weisser , Dominique Barth , Ylène Aboulfath , Thierry Mautor

We provide an algorithm requiring only $O(N^2)$ time to compute the maximum weight independent set of interval filament graphs. This also implies an $O(N^4)$ algorithm to compute the maximum weight induced matching of interval filament…

Data Structures and Algorithms · Computer Science 2021-10-19 Darcy Best , Max Ward

Let $M$ to be a matroid defined on a finite set $E$ and $L\subset E$. $L$ is locked in $M$ if $M|L$ and $M^*|(E\backslash L)$ are 2-connected, and $min\{r(L), r^*(E\backslash L)\} \geq 2$. In this paper, we prove that the nontrivial facets…

Computational Complexity · Computer Science 2017-02-24 Brahim Chaourar

Intersection graphs of planar geometric objects such as intervals, disks, rectangles and pseudo-disks are well studied. Motivated by various applications, Butman et al. in SODA 2007 considered algorithmic questions in intersection graphs of…

Computational Geometry · Computer Science 2019-11-05 Chandra Chekuri , Tanmay Inamdar

Determinant maximization provides an elegant generalization of problems in many areas, including convex geometry, statistics, machine learning, fair allocation of goods, and network design. In an instance of the determinant maximization…

Data Structures and Algorithms · Computer Science 2022-11-22 Adam Brown , Aditi Laddha , Madhusudhan Pittu , Mohit Singh

We consider fast algorithms for monotone submodular maximization with a general matroid constraint. We present a randomized $(1 - 1/e - \epsilon)$-approximation algorithm that requires $\tilde{O}_{\epsilon}(\sqrt{r} n)$ independence oracle…

Data Structures and Algorithms · Computer Science 2024-05-02 Yusuke Kobayashi , Tatsuya Terao

For a tree decomposition $\mathcal{T}$ of a graph $G$, by $\mu(\mathcal{T})$ we denote the size of a largest induced matching in $G$ all of whose edges intersect one bag of $\mathcal{T}$. Induced matching treewidth of a graph $G$ is the…

Data Structures and Algorithms · Computer Science 2024-02-27 Paloma T. Lima , Martin Milanič , Peter Muršič , Karolina Okrasa , Paweł Rzążewski , Kenny Štorgel

We present a weighted approach to compute a maximum cardinality matching in an arbitrary bipartite graph. Our main result is a new algorithm that takes as input a weighted bipartite graph $G(A\cup B,E)$ with edge weights of $0$ or $1$. Let…

Computational Geometry · Computer Science 2019-03-26 Nathaniel Lahn , Sharath Raghvendra

We give an algorithmic and lower-bound framework that facilitates the construction of subexponential algorithms and matching conditional complexity bounds. It can be applied to intersection graphs of similarly-sized fat objects, yielding…

Computational Geometry · Computer Science 2020-12-18 Mark de Berg , Hans L. Bodlaender , Sándor Kisfaludi-Bak , Dániel Marx , Tom C. van der Zanden

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

In the ordinal Matroid Secretary Problem (MSP), elements from a weighted matroid are presented in random order to an algorithm that must incrementally select a large weight independent set. However, the algorithm can only compare pairs of…

Data Structures and Algorithms · Computer Science 2018-02-07 José A. Soto , Abner Turkieltaub , Victor Verdugo