English
Related papers

Related papers: Parameterized Complexity of Factorization Problems

200 papers

In this article, we study the complexity of weighted team definability for logics with team semantics. This problem is a natural analogue of one of the most studied problems in parameterized complexity, the notion of weighted…

Logic in Computer Science · Computer Science 2023-02-02 Juha Kontinen , Yasir Mahmood , Arne Meier , Heribert Vollmer

We study the optimization version of constraint satisfaction problems (Max-CSPs) in the framework of parameterized complexity; the goal is to compute the maximum fraction of constraints that can be satisfied simultaneously. In standard…

Computational Complexity · Computer Science 2018-04-24 Holger Dell , Eun Jung Kim , Michael Lampis , Valia Mitsou , Tobias Mömke

We consider the product knapsack problem, which is the variant of the classical 0-1 knapsack problem where the objective consists of maximizing the product of the profits of the selected items. These profits are allowed to be positive or…

Optimization and Control · Mathematics 2021-06-29 Ulrich Pferschy , Joachim Schauer , Clemens Thielen

Parametric path problems arise independently in diverse domains, ranging from transportation to finance, where they are studied under various assumptions. We formulate a general path problem with relaxed assumptions, and describe how this…

Data Structures and Algorithms · Computer Science 2021-06-08 Prerona Chatterjee , Kshitij Gajjar , Jaikumar Radhakrishnan , Girish Varma

We study fundamental clustering problems for incomplete data. Specifically, given a set of incomplete d-dimensional vectors (representing rows of a matrix), the goal is to complete the missing vector entries in a way that admits a…

Data Structures and Algorithms · Computer Science 2021-04-08 Eduard Eiben , Robert Ganian , Iyad Kanj , Sebastian Ordyniak , Stefan Szeider

Computational Social Choice is an interdisciplinary research area involving Economics, Political Science, and Social Science on the one side, and Mathematics and Computer Science (including Artificial Intelligence and Multiagent Systems) on…

Multiagent Systems · Computer Science 2014-07-09 Robert Bredereck , Jiehua Chen , Piotr Faliszewski , Jiong Guo , Rolf Niedermeier , Gerhard J. Woeginger

We demonstrate some lower bounds for parameterized problems via parameterized classes corresponding to the classical ${\rm AC}^0$. Among others, we derive such a lower bound for all fpt-approximations of the parameterized clique problem and…

Computational Complexity · Computer Science 2016-06-28 Yijia Chen , Joerg Flum

Certifying feasibility in decision-making, critical in many industries, can be framed as a constraint satisfaction problem. This paper focuses on characterising a subset of parameter values from an a priori set that satisfy constraints on a…

Systems and Control · Electrical Eng. & Systems 2025-11-14 Max Mowbray , Nilay Shah , Benoît Chachuat

Most parameterized complexity classes are defined in terms of a parameterized version of the Boolean satisfiability problem (the so-called weighted satisfiability problem). For example, Downey and Fellow's W-hierarchy is of this form. But…

Computational Complexity · Computer Science 2017-01-11 Joerg Flum , Martin Grohe

Parameterized complexity enables the practical solution of generally intractable NP-hard problems when certain parameters are small, making it particularly useful in real-world applications. The study of string problems in this framework…

Quantum Physics · Physics 2025-10-20 Josh Cudby , Sergii Strelchuk

The sum of radii problem ($k$-MSR) asks, given a metric space on $n$ points, to place $k$ balls covering all points so as to minimize the sum of their radii. Despite extensive study from the perspectives of approximation and parameterized…

Data Structures and Algorithms · Computer Science 2026-05-08 Ameet Gadekar

In the knapsack problems with neighborhood constraints that were studied before, the input is a graph $\mathcal{G}$ on a set $\mathcal{V}$ of items, each item $v \in \mathcal{V}$ has a weight $w_v$ and profit $p_v$, the size $s$ of the…

Data Structures and Algorithms · Computer Science 2025-04-25 Palash Dey , Ashlesha Hota , Sudeshna Kolay

The aim of this paper is sketch a theory of divisibility and factorisation in topological monoids, where finite products are replaced by convergent products. The algebraic case can then be viewed as the special case of discretely…

General Topology · Mathematics 2007-05-23 Jan Snellman

The early classifications of the computational complexity of planning under various restrictions in STRIPS (Bylander) and SAS+ (Baeckstroem and Nebel) have influenced following research in planning in many ways. We go back and reanalyse…

Artificial Intelligence · Computer Science 2012-08-14 Christer Baeckstroem , Yue Chen , Peter Jonsson , Sebastian Ordyniak , Stefan Szeider

In prior work, we showed that subsets of $\mathbb{F}_{p}^{n}$ of $\mathrm{VC_{2}}$-dimension at most $k$ are well approximated by a union of atoms of a quadratic factor of complexity $(\ell,q)$, where the complexity $\ell$ of the linear…

Combinatorics · Mathematics 2025-10-17 C. Terry , J. Wolf

Symmetry is a common feature of many combinatorial problems. Unfortunately eliminating all symmetry from a problem is often computationally intractable. This paper argues that recent parameterized complexity results provide insight into…

Artificial Intelligence · Computer Science 2015-05-19 Toby Walsh

We present a parameterized dichotomy for the \textsc{$k$-Sparsest Cut} problem in weighted and unweighted versions. In particular, we show that the weighted \textsc{$k$-Sparsest Cut} problem is NP-hard for every $k\geq 3$ even on graphs…

Computational Complexity · Computer Science 2023-04-04 Ramin Javadi , Amir Nikabadi

We consider the problem of finding a 1-planar drawing for a general graph, where a 1-planar drawing is a drawing in which each edge participates in at most one crossing. Since this problem is known to be NP-hard we investigate the…

Data Structures and Algorithms · Computer Science 2018-12-18 Michael J. Bannister , Sergio Cabello , David Eppstein

We study {\sc Cluster Edge Modification} problems with constraints on the size of the clusters. A graph $G$ is a cluster graph if every connected component of $G$ is a clique. In a typical {\sc Cluster Edge Modification} problem such as the…

Data Structures and Algorithms · Computer Science 2024-09-05 Jayakrishnan Madathil , Kitty Meeks

We study the problem of constructing explicit families of matrices which cannot be expressed as a product of a few sparse matrices. In addition to being a natural mathematical question on its own, this problem appears in various…

Computational Complexity · Computer Science 2019-04-03 Mrinal Kumar , Ben Lee Volk