English
Related papers

Related papers: On Partial Covering For Geometric Set Systems

200 papers

Vertex Cover parameterized by the solution size k is the quintessential fixed-parameter tractable problem. FPT algorithms are most interesting when the parameter is small. Several lower bounds on k are well-known, such as the maximum size…

Data Structures and Algorithms · Computer Science 2022-08-22 Leon Kellerhals , Tomohiro Koana , Pascal Kunz

We give an overview of the 2023 Computational Geometry Challenge targeting the problem Minimum Coverage by Convex Polygons, which consists of covering a given polygonal region (possibly with holes) by a minimum number of convex subsets, a…

Computational Geometry · Computer Science 2023-03-14 Sándor P. Fekete , Phillip Keldenich , Dominik Krupke , Stefan Schirra

The notion of graph covers (also referred to as locally bijective homomorphisms) plays an important role in topological graph theory and has found its computer science applications in models of local computation. For a fixed target graph…

Discrete Mathematics · Computer Science 2025-02-28 Jan Bok , Jiří Fiala , Nikola Jedličková , Jan Kratochvíl , Micheala Seifrtová

This paper presents the following results on sets that are complete for NP. 1. If there is a problem in NP that requires exponential time at almost all lengths, then every many-one NP-complete set is complete under length-increasing…

Computational Complexity · Computer Science 2010-02-03 Xiaoyang Gu , John M. Hitchcock , A. Pavan

One of the most important problems in hybrid systems is the {\em reachability problem}. The reachability problem has been shown to be undecidable even for a subclass of {\em linear} hybrid systems. In view of this, the main focus in the…

Logic in Computer Science · Computer Science 2009-09-29 D. Ravi , R. K. Shyamasundar

In the Maximum Minimal Vertex Cover (MMVC) problem, we are given a graph $G$ and a positive integer $k$, and the objective is to decide whether $G$ contains a minimal vertex cover of size at least $k$. Motivated by the kernelization of MMVC…

Data Structures and Algorithms · Computer Science 2021-12-20 Júlio Araújo , Marin Bougeret , Victor A. Campos , Ignasi Sau

When matching parts of a surface to its whole, a fundamental question arises: Which points should be included in the matching process? The issue is intensified when using isometry to measure similarity, as it requires the validation of…

Computer Vision and Pattern Recognition · Computer Science 2024-10-31 Amit Bracha , Thomas Dagès , Ron Kimmel

We announce two breakthrough results concerning important questions in the Theory of Computational Complexity. In this expository paper, a systematic and comprehensive geometric characterization of the Subset Sum Problem is presented. We…

Computational Complexity · Computer Science 2025-11-21 Srinivas Balaji Bollepalli

The Finite Element Method (FEM) is widely used to solve discrete Partial Differential Equations (PDEs) in engineering and graphics applications. The popularity of FEM led to the development of a large family of variants, most of which…

Numerical Analysis · Computer Science 2022-03-10 Teseo Schneider , Yixin Hu , Xifeng Gao , Jeremie Dumas , Denis Zorin , Daniele Panozzo

We give a review of results on the minimum convex cover and maximum hidden set problems. In addition, we give some new results. First we show that it is NP-hard to determine whether a polygon has the same convex cover number as its hidden…

Computational Geometry · Computer Science 2026-04-30 Reilly Browne

Column-sparse packing problems arise in several contexts in both deterministic and stochastic discrete optimization. We present two unifying ideas, (non-uniform) attenuation and multiple-chance algorithms, to obtain improved approximation…

Data Structures and Algorithms · Computer Science 2019-08-07 Brian Brubach , Karthik Abinav Sankararaman , Aravind Srinivasan , Pan Xu

This work investigates finite element approximations for a general class of elliptic hemivariational inequalities arising in semipermeable media. The proposed model incorporates non-isotropic and heterogeneous diffusion coefficients,…

Numerical Analysis · Mathematics 2026-05-05 Ban Li , Bangmin Wu

In this paper, we study a generalized finite element method for solving second-order elliptic partial differential equations with rough coefficients. The method uses local approximation spaces computed by solving eigenvalue problems on…

Numerical Analysis · Mathematics 2025-07-17 Christian Alber , Peter Bastian , Moritz Hauck , Robert Scheichl

The minimum dominating set problem asks for a dominating set with minimum size. First, we determine some vertices contained in the minimum dominating set of a graph. By applying a particular scheme, we ensure that the resulting graph is…

Combinatorics · Mathematics 2025-12-15 Misa Nakanishi

This paper introduces almost partitionable sets to generalize the known concept of partitionable sets. These notions provide a unified frame to construct $\mathbb{Z}$-cyclic patterned starter whist tournaments and cyclic balanced sampling…

Combinatorics · Mathematics 2023-11-27 Yanxun Chang , Simone Costa , Tao Feng , Xiaomiao Wang

This paper deals with the existence of solutions for an elliptic system of partial differential equations. The solution method is based on the sub- and super-solutions approach. An application to a stochastic control problem is presented.…

Analysis of PDEs · Mathematics 2020-01-01 Dragos-Patru Covei , Traian A. Pirvu

We investigate the parameterized complexity of GENERALIZED RED BLUE SET COVER (Gen-RBSC), a generalization of the classic SET COVER problem and the more recently studied RED BLUE SET COVER problem. Given a universe $U$ containing $b$ blue…

Data Structures and Algorithms · Computer Science 2015-11-26 Pradeesha Ashok , Sudeshna Kolay , Saket Saurabh

Optimization problems consist of either maximizing or minimizing an objective function. Instead of looking for a maximum solution (resp. minimum solution), one can find a minimum maximal solution (resp. maximum minimal solution). Such…

Data Structures and Algorithms · Computer Science 2018-11-08 Kaveh Khoshkhah , Mehdi Khosravian Ghadikolaei , Jerome Monnot , Florian Sikora

$\newcommand{\Arr}{\mathcal{A}} \newcommand{\numS}{k} \newcommand{\ArrX}[1]{\Arr(#1)} \newcommand{\eps}{\varepsilon} \newcommand{\opt}{\mathsf{o}}$ For point sets $P_1, \ldots, P_\numS$, a set of lines $L$ is halving if any face of the…

Computational Geometry · Computer Science 2022-08-25 Sariel Har-Peled , Da Wei Zheng

Given a compact semialgebraic set S of R^n and a polynomial map f from R^n to R^m, we consider the problem of approximating the image set F = f(S) in R^m. This includes in particular the projection of S on R^m for n greater than m. Assuming…

Optimization and Control · Mathematics 2015-07-23 Victor Magron , Didier Henrion , Jean-Bernard Lasserre