English
Related papers

Related papers: An Efficient Branch-and-Bound Solver for Hitting S…

200 papers

In the stochastic set cover problem (Grandoni et al., FOCS '08), we are given a collection $\mathcal{S}$ of $m$ sets over a universe $\mathcal{U}$ of size $N$, and a distribution $D$ over elements of $\mathcal{U}$. The algorithm draws $n$…

Data Structures and Algorithms · Computer Science 2023-04-06 Anupam Gupta , Gregory Kehne , Roie Levin

Given access to the hypergraph through a subset query oracle in the query model, we give sublinear time algorithms for Hitting-Set with almost tight parameterized query complexity. In parameterized query complexity, we estimate the number…

Data Structures and Algorithms · Computer Science 2023-05-09 Arijit Bishnu , Arijit Ghosh , Sudeshna Kolay , Gopinath Mishra , Saket Saurabh

Cut problems form one of the most fundamental classes of problems in algorithmic graph theory. For instance, the minimum cut, the minimum $s$-$t$ cut, the minimum multiway cut, and the minimum $k$-way cut are some of the commonly…

Data Structures and Algorithms · Computer Science 2021-08-24 Ulrich Bauer , Abhishek Rathod , Meirav Zehavi

In the SetDisjointness problem, a collection of $m$ sets $S_1,S_2,...,S_m$ from some universe $U$ is preprocessed in order to answer queries on the emptiness of the intersection of some two query sets from the collection. In the…

Data Structures and Algorithms · Computer Science 2019-10-03 Isaac Goldstein , Moshe Lewenstein , Ely Porat

The submodular knapsack problem (SKP), which seeks to maximize a submodular set function by selecting a subset of elements within a given budget, is an important discrete optimization problem. The majority of existing approaches to solving…

Data Structures and Algorithms · Computer Science 2025-07-16 Yimin Hao , Yi Zhou , Chao Xu , Zhang-Hua Fu

Given a dataset $S$ of points in $\mathbb{R}^2$, the range closest-pair (RCP) problem aims to preprocess $S$ into a data structure such that when a query range $X$ is specified, the closest-pair in $S \cap X$ can be reported efficiently.…

Computational Geometry · Computer Science 2018-04-03 Jie Xue , Yuan Li , Saladi Rahul , Ravi Janardan

Many industrial applications require finding solutions to challenging combinatorial problems. Efficient elimination of symmetric solution candidates is one of the key enablers for high-performance solving. However, existing model-based…

Artificial Intelligence · Computer Science 2022-05-17 Alice Tarzariol , Martin Gebser , Mark Law , Konstantin Schekotihin

Modern Mixed Integer Linear Programming (MILP) solvers use the Branch-and-Bound algorithm together with a plethora of auxiliary components that speed up the search. In recent years, there has been an explosive development in the use of…

Optimization and Control · Mathematics 2024-11-28 Lara Scavuzzo , Karen Aardal , Neil Yorke-Smith

An NP-hard problem is considered of intersecting a given set of $n$ straight line segments on the plane with the smallest cardinality set of disks of fixed radii $r>0,$ where the set of segments forms a straight line drawing $G=(V,E)$ of a…

Computational Geometry · Computer Science 2020-10-05 Konstantin Kobylkin

The problem of P vs. NP is very serious, and solutions to the problem can help save lives. This article is an attempt at solving the problem using a computer algorithm. It is presented in a fashion that will hopefully allow for easy…

Data Structures and Algorithms · Computer Science 2015-03-19 Matt Groff

We study several variations of line segment covering problem with axis-parallel unit squares in $I\!\!R^2$. A set $S$ of $n$ line segments is given. The objective is to find the minimum number of axis-parallel unit squares which cover at…

Computational Geometry · Computer Science 2016-09-28 Ankush Acharyya , Subhas C. Nandy , Supantha Pandit , Sasanka Roy

This paper introduces a problem in which the state of a system needs to be determined through costly tests of its components by a limited number of testing units and before a given deadline. We also consider a closely related search problem…

Discrete Mathematics · Computer Science 2021-01-15 Alessandro Agnetis , Ben Hermans , Roel Leus , Salim Rostami

A highly recurrent traditional bottleneck in applied mathematics, for which the most popular codes (Mathematica and Matlab) do not offer a solution, is to find all the real solutions of a system of N nonlinear equations in a certain finite…

Systems and Control · Electrical Eng. & Systems 2023-12-12 Fernando Chueca-Diez , Alfonso M. Ganan-Calvo

The split common fixed-point problem is an inverse problem that consists in finding an element in a fixed-point set such that its image under a bounded linear operator belongs to another fixed-point set. Recently Censor and Segal proposed…

Optimization and Control · Mathematics 2014-11-03 Huanhuan Cui , Fenghui Wang

In this paper we present a heuristic for the non-unicost set covering problem using local branching. Local branching eliminates the need to define a problem specific search neighbourhood for any particular (zero-one) optimisation problem.…

Optimization and Control · Mathematics 2023-11-07 John E Beasley

The independent set problem is NP-hard and particularly difficult to solve in large sparse graphs. In this work, we develop an advanced evolutionary algorithm, which incorporates kernelization techniques to compute large independent sets in…

Data Structures and Algorithms · Computer Science 2015-09-03 Sebastian Lamm , Peter Sanders , Christian Schulz , Darren Strash , Renato F. Werneck

Floor planning is an important and difficult task in architecture. When planning office buildings, rooms that belong to the same organisational unit should be placed close to each other. This leads to the following NP-hard mathematical…

Computational Geometry · Computer Science 2021-07-13 Jonathan Klawitter , Felix Klesen , Alexander Wolff

Given a set of $n$ points in the plane, the Unit Disk Cover (UDC) problem asks to compute the minimum number of unit disks required to cover the points, along with a placement of the disks. The problem is NP-hard and several approximation…

Computational Geometry · Computer Science 2022-05-05 Rachel Friederich , Matthew Graham , Anirban Ghosh , Brian Hicks , Ronald Shevchenko

In the Vertex Triangle 2-Club problem, we are given an undirected graph $G$ and aim to find a maximum-vertex subgraph of $G$ that has diameter at most 2 and in which every vertex is contained in at least $\ell$ triangles in the subgraph. So…

Data Structures and Algorithms · Computer Science 2022-11-09 Niels Grüttemeier , Philipp Heinrich Keßler , Christian Komusiewicz , Frank Sommer

Until now, Computer Scientists have concerned themselves with identifying efficient algorithms for solving the general case of some problem -- that is finding one which performs well when the size of the input tends to infinity. In this…

Computational Complexity · Computer Science 2026-04-21 Mircea-Adrian Digulescu