English
Related papers

Related papers: Covering segments with unit squares

200 papers

We formalize symmetry breaking as a set-covering problem. For the case of breaking symmetries on graphs, a permutation covers a graph if applying it to the graph yields a smaller graph in a given order. Canonical graphs are those that…

Logic in Computer Science · Computer Science 2026-03-31 Michael Codish , Mikoláš Janota

Many problems in machine learning can be solved by rounding the solution of an appropriate linear program (LP). This paper shows that we can recover solutions of comparable quality by rounding an approximate LP solution instead of the ex-…

Numerical Analysis · Computer Science 2013-11-19 Srikrishna Sridhar , Victor Bittorf , Ji Liu , Ce Zhang , Christopher Ré , Stephen J. Wright

Finding nonoverlapping balls with given centers in any metric space, maximizing the sum of radii of the balls, can be expressed as a linear program. Its dual linear program expresses the problem of finding a minimum-weight set of cycles…

Computational Geometry · Computer Science 2017-10-09 David Eppstein

Assembly planning is a fundamental problem in robotics and automation, which involves designing a sequence of motions to bring the separate constituent parts of a product into their final placement in the product. Assembly planning is…

Computational Geometry · Computer Science 2023-03-23 Pankaj K. Agarwal , Boris Aronov , Tzvika Geft , Dan Halperin

We study the Minimum Sum Vertex Cover problem, which asks for an ordering of vertices in a graph that minimizes the total cover time of edges. In particular, n vertices of the graph are visited according to an ordering, and for each edge…

Computational Complexity · Computer Science 2022-12-23 Aleksa Stanković

We consider a setting in which it is desired to find an optimal complex vector $\mathbf{x}\in\mathbb{C}^N$ that satisfies $\mathcal{A}(\mathbf{x}) \approx \mathbf{b}$ in a least-squares sense, where $\mathbf{b} \in \mathbb{C}^M$ is a data…

Numerical Analysis · Mathematics 2020-07-21 Tae Hyung Kim , Justin P. Haldar

The paper addresses the problem of defining families of ordered sequences $\{x_i\}_{i\in N}$ of elements of a compact subset $X$ of $R^d$ whose prefixes $X_n=\{x_i\}_{i=1}^{n}$, for all orders $n$, have good space-filling properties as…

Data Structures and Algorithms · Computer Science 2021-06-11 Amaya Nogales Gómez , Luc Pronzato , Maria-João Rendas

The Covering Salesman Problem (CSP) is a generalization of the Traveling Salesman Problem in which the tour is not required to visit all vertices, as long as all vertices are covered by the tour. The objective of CSP is to find a minimum…

Data Structures and Algorithms · Computer Science 2021-04-05 Lucas Porto Maziero , Fábio Luiz Usberti , Celso Cavellucci

A (multi)set of segments in the plane may form a TSP tour, a matching, a tree, or any multigraph. If two segments cross, then we can reduce the total length with the following flip operation. We remove a pair of crossing segments, and…

Computational Geometry · Computer Science 2023-07-26 Guilherme D. da Fonseca , Yan Gerard , Bastien Rivier

The Minimum Vertex Cover problem, a classical NP-complete problem, presents significant challenges for exact solution on large graphs. Fixed-Parameter Tractability (FPT) offers a powerful paradigm to address such problems by exploiting a…

Data Structures and Algorithms · Computer Science 2025-07-15 Mumuksh Tayal

The paper presents an algorithm for minimum vertex cover problem, which is an NP-Complete problem. The algorithm computes a minimum vertex cover of each input simple graph. Tested by the attached MATLAB programs, Stage 1 of the algorithm is…

Discrete Mathematics · Computer Science 2016-10-30 Gang Hu

Let $H$ be a fixed undirected graph on $k$ vertices. The $H$-hitting set problem asks for deleting a minimum number of vertices from a given graph $G$ in such a way that the resulting graph has no copies of $H$ as a subgraph. This problem…

Data Structures and Algorithms · Computer Science 2020-12-01 Noah Brüstle , Tal Elbaz , Hamed Hatami , Onur Kocer , Bingchan Ma

Consider a set $P$ of $n$ points in $\mathbb{R}^d$. In the discrete median line segment problem, the objective is to find a line segment bounded by a pair of points in $P$ such that the sum of the Euclidean distances from $P$ to the line…

Computational Geometry · Computer Science 2022-02-16 Ovidiu Daescu , Ka Yaw Teo

Covering all edges of a graph by a small number of vertices, this is the NP-complete Vertex Cover problem. It is among the most fundamental graph-algorithmic problems. Following a recent trend in studying temporal graphs (a sequence of…

Computational Complexity · Computer Science 2020-07-02 Till Fluschnik , Rolf Niedermeier , Valentin Rohm , Philipp Zschoche

We investigate the problem of computing a minimum set of solutions that approximates within a specified accuracy $\epsilon$ the Pareto curve of a multiobjective optimization problem. We show that for a broad class of bi-objective problems…

Data Structures and Algorithms · Computer Science 2008-05-20 Ilias Diakonikolas , Mihalis Yannakakis

The (non-uniform) sparsest cut problem is the following graph-partitioning problem: given a "supply" graph, and demands on pairs of vertices, delete some subset of supply edges to minimize the ratio of the supply edges cut to the total…

Data Structures and Algorithms · Computer Science 2021-06-01 Vincent Cohen-Addad , Anupam Gupta , Philip N. Klein , Jason Li

In this paper, we study a class of approximation problems, appearing in data approximation and signal processing. The approximations are constructed as combinations of polynomial splines (piecewise polynomials), whose parameters are subject…

Optimization and Control · Mathematics 2015-03-05 Zahra Roshan Zamir , Nadezda Sukhorukova

In this paper we show that the problem of identifying an edge $(i,j)$ in a graph $G$ such that there exists an optimal vertex cover $S$ of $G$ containing exactly one of the nodes $i$ and $j$ is NP-hard. Such an edge is called a weak edge.…

Data Structures and Algorithms · Computer Science 2007-12-21 Qiaoming Han , Abraham P. Punnen

Successive quadratic approximations, or second-order proximal methods, are useful for minimizing functions that are a sum of a smooth part and a convex, possibly nonsmooth part that promotes regularization. Most analyses of iteration…

Optimization and Control · Mathematics 2019-01-25 Ching-pei Lee , Stephen J. Wright

Our goal is to finally settle the persistent problem in Diophantine Approximation of finding best linear approximates. Classical results from the theory of continued fractions provide the solution for the special homogeneous case in the…

Number Theory · Mathematics 2023-01-19 Avraham Bourla