English
Related papers

Related papers: Blocking optimal $k$-arborescences

200 papers

Matroid is a generalization of many fundamental objects in combinatorial mathematics , and matroid intersection problem is a classical subject in combinatorial optimization . However , only the intersection of two matroids are well…

Combinatorics · Mathematics 2023-01-10 Tianyu Liu

An arborescence, which is a directed analogue of a spanning tree in an undirected graph, is one of the most fundamental combinatorial objects in a digraph. In this paper, we study arborescences in digraphs from the viewpoint of…

Data Structures and Algorithms · Computer Science 2023-06-29 Takehiro Ito , Yuni Iwamasa , Naoyuki Kamiyama , Yasuaki Kobayashi , Yusuke Kobayashi , Shun-ichi Maezawa , Akira Suzuki

We generalize the polynomial-time solvability of $k$-\textsc{Diverse Minimum s-t Cuts} (De Berg et al., ISAAC'23) to a wider class of combinatorial problems whose solution sets have a distributive lattice structure. We identify three…

Data Structures and Algorithms · Computer Science 2025-04-04 Mark de Berg , Andrés López Martínez , Frits Spieksma

The independence number of a tree decomposition is the size of a largest independent set contained in a single bag. The tree-independence number of a graph $G$ is the minimum independence number of a tree decomposition of $G$. As shown…

Data Structures and Algorithms · Computer Science 2026-01-23 Daniel Lokshtanov , Michał Pilipczuk , Paweł Rzążewski

In this paper we study a natural generalization of both {\sc $k$-Path} and {\sc $k$-Tree} problems, namely, the {\sc Subgraph Isomorphism} problem. In the {\sc Subgraph Isomorphism} problem we are given two graphs $F$ and $G$ on $k$ and $n$…

Data Structures and Algorithms · Computer Science 2009-12-15 Fedor V. Fomin , Daniel Lokshtanov , Venkatesh Raman , B. V. Raghavendra Rao , Saket Saurabh

Consider the problem of determining whether there exists a spanning hypertree in a given k-uniform hypergraph. This problem is trivially in P for k=2, and is NP-complete for k>= 4, whereas for k=3, there exists a polynomial-time algorithm…

Computational Complexity · Computer Science 2008-12-19 Sergio Caracciolo , Gregor Masbaum , Alan D. Sokal , Andrea Sportiello

Given two matroids $\mathcal{M}_{1} = (E, \mathcal{B}_{1})$ and $\mathcal{M}_{2} = (E, \mathcal{B}_{2})$ on a common ground set $E$ with base sets $\mathcal{B}_{1}$ and $\mathcal{B}_{2}$, some integer $k \in \mathbb{N}$, and two cost…

Optimization and Control · Mathematics 2019-12-09 Stefan Lendl , Britta Peis , Veerle Timmermans

The quadratic shortest path problem is the problem of finding a path in a directed graph such that the sum of interaction costs over all pairs of arcs on the path is minimized. We derive several semidefinite programming relaxations for the…

Optimization and Control · Mathematics 2017-08-23 Hao Hu , Renata Sotirov

We present a method for reducing the treewidth of a graph while preserving all of its minimal $s-t$ separators up to a certain fixed size $k$. This technique allows us to solve $s-t$ Cut and Multicut problems with various additional…

Data Structures and Algorithms · Computer Science 2015-03-19 Dániel Marx , Barry O'Sullivan , Igor Razgon

Given an ordering of the vertices of a graph, the cost of covering an edge is the smaller number of its two ends. The minimum sum vertex cover problem asks for an ordering that minimizes the total cost of covering all edges. We consider…

Data Structures and Algorithms · Computer Science 2024-04-16 Yixin Cao , Ling Gai , Jingyi Liu , Jianxin Wang

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

In the buyback problem, an algorithm observes a sequence of bids and must decide whether to accept each bid at the moment it arrives, subject to some constraints on the set of accepted bids. Decisions to reject bids are irrevocable, whereas…

Computer Science and Game Theory · Computer Science 2011-10-26 B. V. Ashwinkumar

The arc-routing problems are known to be notoriously hard. We study here a natural arc-routing problem on trees and more generally on bounded tree-width graphs and surprisingly show that it can be solved in a polynomial time. This implies a…

Data Structures and Algorithms · Computer Science 2020-11-17 Jiří Fink , Martin Loebl

Kimelfeld and Sagiv [Kimelfeld and Sagiv, PODS 2006], [Kimelfeld and Sagiv, Inf. Syst. 2008] pointed out the problem of enumerating $K$-fragments is of great importance in a keyword search on data graphs. In a graph-theoretic term, the…

Data Structures and Algorithms · Computer Science 2022-05-13 Yasuaki Kobayashi , Kazuhiro Kurita , Kunihiro Wasa

We study the problem of finding a small sparse cut in an undirected graph. Given an undirected graph G=(V,E) and a parameter k <= |E|, the small sparsest cut problem is to find a subset of vertices S with minimum conductance among all sets…

Data Structures and Algorithms · Computer Science 2012-04-23 Tsz Chiu Kwok , Lap Chi Lau

Symmetries occur naturally in CSP or SAT problems and are not very difficult to discover, but using them to prune the search space tends to be very challenging. Indeed, this usually requires finding specific elements in a group of…

Artificial Intelligence · Computer Science 2011-07-25 Thierry Boy de la Tour , Mnacho Echenim

We give algorithms with running time $2^{O({\sqrt{k}\log{k}})} \cdot n^{O(1)}$ for the following problems. Given an $n$-vertex unit disk graph $G$ and an integer $k$, decide whether $G$ contains (1) a path on exactly/at least $k$ vertices,…

Data Structures and Algorithms · Computer Science 2017-04-25 Fedor V. Fomin , Daniel Lokshtanov , Fahad Panolan , Saket Saurabh , Meirav Zehavi

We revisit the classic Maximum $k$-Coverage problem: Determine the largest number $t$ of elements that can be covered by choosing $k$ sets from a given family $\mathcal{F} = \{S_1,\dots, S_n\}$ of a size-$u$ universe. A notable special case…

Data Structures and Algorithms · Computer Science 2026-01-26 Nick Fischer , Marvin Künnemann , Mirza Redzic

We provide the directed counterpart of a slight extension of Katoh and Tanigawa's result on rooted-tree decompositions with matroid constraints. Our result characterises digraphs having a packing of arborescences with matroid constraints.…

Combinatorics · Mathematics 2012-07-10 Olivier Durand de Gevigney , Viet-Hang Nguyen , Zoltán Szigeti

Given a directed graph $D$ on $n$ vertices and a positive integer $k$, the Arc-Disjoint Cycle Packing problem is to determine whether $D$ has $k$ arc-disjoint cycles. This problem is known to be W[1]-hard in general directed graphs. In this…

Data Structures and Algorithms · Computer Science 2018-02-21 R. Krithika , Abhishek Sahu , Saket Saurabh , Meirav Zehavi