English
Related papers

Related papers: Improved FPT Approximation Scheme and Approximate …

200 papers

In the Rectangle Stabbing problem, input is a set ${\cal R}$ of axis-parallel rectangles and a set ${\cal L}$ of axis parallel lines in the plane. The task is to find a minimum size set ${\cal L}^* \subseteq {\cal L}$ such that for every…

Computational Geometry · Computer Science 2026-04-07 Huairui Chu , Ajaykrishnan E S , Daniel Lokshtanov , Anikait Mundhra , Thomas Schibler , Xiaoyang Xu , Jie Xue

We consider constraint satisfaction problems parameterized above or below tight bounds. One example is MaxSat parameterized above $m/2$: given a CNF formula $F$ with $m$ clauses, decide whether there is a truth assignment that satisfies at…

Data Structures and Algorithms · Computer Science 2011-08-25 G. Gutin , A. Yeo

Consider a random $k$-CNF formula $F_{k}(n, rn)$ with $n$ variables and $rn$ clauses. For every truth assignment $\sigma\in \{0, 1\}^{n}$ and every clause $c=\ell_{1}\vee\cdots\vee\ell_{k}$, let $d=d(\sigma, c)$ be the number of satisfied…

Discrete Mathematics · Computer Science 2013-10-17 Zongsheng Gao , Jun Liu , Ke Xu

We present a general technique for approximating bicriteria minimization problems with positive-valued, polynomially computable objective functions. Given $0<\epsilon\leq1$ and a polynomial-time $\alpha$-approximation algorithm for the…

Optimization and Control · Mathematics 2017-11-16 Pascal Halffmann , Stefan Ruzika , Clemens Thielen , David Willems

In this paper we consider the problem of finding a maximum weight set subject to a $k$-extendible constraint in the data stream model. The only non-trivial algorithm known for this problem to date---to the best of our knowledge---is a…

Data Structures and Algorithms · Computer Science 2019-06-12 Moran Feldman , Ran Haba

First, we study geometric variants of the standard set cover motivated by assignment of directional antenna and shipping with deadlines, providing the first known polynomial-time exact solutions. Next, we consider the following general…

Computational Complexity · Computer Science 2009-09-30 Piotr Berman , Marek Karpinski , Andrzej Lingas

Given a fixed arity $k \geq 2$, Min-$k$-CSP on complete instances involves a set of $n$ variables $V$ and one nontrivial constraint for every $k$-subset of variables (so there are $\binom{n}{k}$ constraints). The goal is to find an…

Data Structures and Algorithms · Computer Science 2024-10-28 Aditya Anand , Euiwoong Lee , Amatya Sharma

We study the CONNECTED \eta-TREEDEPTH DELETION problem where the input instance is an undireted graph G = (V, E) and an integer k. The objective is to decide if G has a set S \subseteq V(G) of at most k vertices such that G - S has…

Data Structures and Algorithms · Computer Science 2022-12-02 Eduard Eiben , Diptapriyo Majumdar , M. S. Ramanujan

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

In this paper we study a maximization version of the classical Feedback Vertex Set (FVS) problem, namely, the Max Min FVS problem, in the realm of parameterized complexity. In this problem, given an undirected graph $G$, a positive integer…

Data Structures and Algorithms · Computer Science 2022-08-04 Ajinkya Gaikwad , Hitendra Kumar , Soumen Maity , Saket Saurabh , Shuvam Kant Tripathi

In supervised learning using kernel methods, we often encounter a large-scale finite-sum minimization over a reproducing kernel Hilbert space (RKHS). Large-scale finite-sum problems can be solved using efficient variants of Newton method,…

Machine Learning · Computer Science 2022-06-07 Ting-Jui Chang , Shahin Shahrampour

We show that the Satisfiability (SAT) problem for CNF formulas with {\beta}-acyclic hypergraphs can be solved in polynomial time by using a special type of Davis-Putnam resolution in which each resolvent is a subset of a parent clause. We…

Data Structures and Algorithms · Computer Science 2013-04-04 Sebastian Ordyniak , Daniel Paulusma , Stefan Szeider

We study techniques for solving the Maximum Satisfiability problem (MaxSAT). Our focus is on variables of degree 4. We identify cases for degree-4 variables and show how the resolution principle and the kernelization techniques can be…

Data Structures and Algorithms · Computer Science 2015-03-11 Jianer Chen , Chao Xu

We study several questions related to diversifying search results. We give improved approximation algorithms in each of the following problems, together with some lower bounds. - We give a polynomial-time approximation scheme (PTAS) for a…

Data Structures and Algorithms · Computer Science 2022-03-04 Amir Abboud , Vincent Cohen-Addad , Euiwoong Lee , Pasin Manurangsi

As a natural variant of the $k$-SAT problem, NAE-$k$-SAT additionally requires the literals in each clause to take not-all-equal (NAE) truth values. In this paper, we study the worst-case time complexities of solving NAE-$k$-SAT and…

Computational Complexity · Computer Science 2019-06-27 S. Cliff Liu

We consider two optimization problems in planar graphs. In Maximum Weight Independent Set of Objects we are given a graph $G$ and a family $\mathcal{D}$ of objects, each being a connected subgraph of $G$ with a prescribed weight, and the…

Data Structures and Algorithms · Computer Science 2018-07-23 Michał Pilipczuk , Erik Jan van Leeuwen , Andreas Wiese

We show that the CNF satisfiability problem (SAT) can be solved in time $O^*(1.1199^{(d-2)n})$, where $d$ is either the maximum number of occurrences of any variable or the average number of occurrences of all variables if no variable…

Data Structures and Algorithms · Computer Science 2024-11-13 Sanjay Jain , Tzeh Yuan Neoh , Frank Stephan

We consider the graph $k$-partitioning problem under the min-max objective, termed as Minmax $k$-cut. The input here is a graph $G=(V,E)$ with non-negative edge weights $w:E\rightarrow \mathbb{R}_+$ and an integer $k\geq 2$ and the goal is…

Data Structures and Algorithms · Computer Science 2020-11-09 Karthekeyan Chandrasekaran , Weihang Wang

We study the \textsc{$\alpha$-Fixed Cardinality Graph Partitioning ($\alpha$-FCGP)} problem, the generic local graph partitioning problem introduced by Bonnet et al. [Algorithmica 2015]. In this problem, we are given a graph $G$, two…

Data Structures and Algorithms · Computer Science 2023-08-31 Fedor V. Fomin , Petr A. Golovach , Tanmay Inamdar , Tomohiro Koana

We consider the $k$-Median problem on planar graphs: given an edge-weighted planar graph $G$, a set of clients $C \subseteq V(G)$, a set of facilities $F \subseteq V(G)$, and an integer parameter $k$, the task is to find a set of at most…

Data Structures and Algorithms · Computer Science 2019-05-03 Vincent Cohen-Addad , Marcin Pilipczuk , Michał Pilipczuk