-
A simple layered-wheel-like construction
Authors:
Maria Chudnovsky,
David Fischer,
Sepehr Hajebi,
Sophie Spirkl,
Bartosz Walczak
Abstract:
In recent years, there has been significant interest in characterizing the induced subgraph obstructions to bounded treewidth and pathwidth. While this has recently been resolved for pathwidth, the case of treewidth remains open, and prior work has reduced the problem to understanding the layered-wheel-like obstructions -- graphs that contain large complete minor models with each branching set ind…
▽ More
In recent years, there has been significant interest in characterizing the induced subgraph obstructions to bounded treewidth and pathwidth. While this has recently been resolved for pathwidth, the case of treewidth remains open, and prior work has reduced the problem to understanding the layered-wheel-like obstructions -- graphs that contain large complete minor models with each branching set inducing a path; exclude large walls as induced minors; exclude large complete bipartite graphs as induced minors; and exclude large complete subgraphs.
There are various constructions of such graphs, but they are all rather involved. In this paper, we present a simple construction of layered-wheel-like graphs with arbitrarily large treewidth. Three notable features of our construction are: (a) the vertices of degree at least four can be made to be arbitrarily far apart; (b) the girth can be made to be arbitrarily large; and (c) every outerstring induced subgraph of the graphs from our construction has treewidth bounded by an absolute constant. In contrast, among several previously known constructions of layered wheels, none achieves (a); at most one satisfies either (b) or (c); and none satisfies both (b) and (c) simultaneously.
In particular, this is related to a former conjecture of Trotignon, that every graph with large enough treewidth, excluding large walls and large complete bipartite graphs as induced minors, and large complete subgraphs, must contain an outerstring induced subgraph of large treewidth. Our construction provides the first counterexample to this conjecture that can also be made to have arbitrarily large girth.
△ Less
Submitted 8 July, 2025;
originally announced July 2025.
-
Approximation algorithms for coupled task scheduling minimizing the sum of completion times
Authors:
David Fischer,
Péter Györgyi
Abstract:
In this paper we consider the coupled task scheduling problem with exact delay times on a single machine with the objective of minimizing the total completion time of the jobs. We provide constant-factor approximation algorithms for several variants of this problem that are known to be NP-hard, while also proving NP-hardness for two variants whose complexity was unknown before. Using these results…
▽ More
In this paper we consider the coupled task scheduling problem with exact delay times on a single machine with the objective of minimizing the total completion time of the jobs. We provide constant-factor approximation algorithms for several variants of this problem that are known to be NP-hard, while also proving NP-hardness for two variants whose complexity was unknown before. Using these results, together with constant-factor approximations for the makespan objective from the literature, we also introduce the first results on bi-objective approximation in the coupled task setting.
△ Less
Submitted 29 September, 2022; v1 submitted 1 July, 2022;
originally announced July 2022.
-
An Investigation of the Recoverable Robust Assignment Problem
Authors:
Dennis Fischer,
Tim A. Hartmann,
Stefan Lendl,
Gerhard J. Woeginger
Abstract:
We investigate the so-called recoverable robust assignment problem on balanced bipartite graphs with $2n$ vertices, a mainstream problem in robust optimization: For two given linear cost functions $c_1$ and $c_2$ on the edges and a given integer $k$, the goal is to find two perfect matchings $M_1$ and $M_2$ that minimize the objective value $c_1(M_1)+c_2(M_2)$, subject to the constraint that…
▽ More
We investigate the so-called recoverable robust assignment problem on balanced bipartite graphs with $2n$ vertices, a mainstream problem in robust optimization: For two given linear cost functions $c_1$ and $c_2$ on the edges and a given integer $k$, the goal is to find two perfect matchings $M_1$ and $M_2$ that minimize the objective value $c_1(M_1)+c_2(M_2)$, subject to the constraint that $M_1$ and $M_2$ have at least $k$ edges in common.
We derive a variety of results on this problem. First, we show that the problem is W[1]-hard with respect to the parameter $k$, and also with respect to the recoverability parameter $k'=n-k$. This hardness result holds even in the highly restricted special case where both cost functions $c_1$ and $c_2$ only take the values $0$ and $1$. (On the other hand, containment of the problem in XP is straightforward to see.) Next, as a positive result we construct a polynomial time algorithm for the special case where one cost function is Monge, whereas the other one is Anti-Monge. Finally, we study the variant where matching $M_1$ is frozen, and where the optimization goal is to compute the best corresponding matching $M_2$, the second stage recoverable assignment problem. We show that this problem variant is contained in the randomized parallel complexity class $\text{RNC}_2$, and that it is at least as hard as the infamous problem \probl{Exact Matching in Red-Blue Bipartite Graphs} whose computational complexity is a long-standing open problem
△ Less
Submitted 22 October, 2020;
originally announced October 2020.
