Searcharxiv⌕ Search

arXiv subjects

Lehilton Lelis Chaves Pedrosa

Publications and source records attributed to Lehilton Lelis Chaves Pedrosa.

3 recordsLinked to original sources

Vertex Cover Problem with Advice

We study the minimum Vertex Cover problem under two non-adaptive offline advice models, where predictions about a fixed optimum solution are provided once as part of the input. These forms of prediction were introduced independently by Cohen-Addad, d'Orsi, Gupta, Lee, and Panigrahi (2024) and by Ghoshal, Makarychev, and Makarychev (2025). In Partial Predictions, independently revealed vertices come with correct membership labels. For every sufficiently small fixed $\varepsilon>0$, we give a randomized polynomial-time algorithm that has expected approximation ratio at most $2-(2-o(1))\frac{\log\log(1/\varepsilon)}{\log(1/\varepsilon)}$. In Noisy Predictions, every vertex instead receives a mutually independent noisy membership label of bias $\varepsilon$. For every sufficiently small fixed $\varepsilon>0$, we give a randomized polynomial-time algorithm that has expected approximation ratio at most $2-(1-o(1))\frac{\log\log(1/\varepsilon)}{\log(1/\varepsilon)}$. Our Noisy Predictions bound matches the leading asymptotic improvement below $2$ obtained by Aamand, Chen, Gollapudi, Silwal, and Wu (2025), despite using only one noisy label per vertex rather than a separate independent label for each endpoint of each incident edge. Both our bounds hold as $\varepsilon$ goes to $0$ and are strictly below $2$, the optimal approximation threshold for minimum Vertex Cover without advice under the Unique Games Conjecture, as shown by Khot and Regev (2008).

cs.DS↗

Freeze-Tag is Strongly NP-hard in 2D with $L_p$ Distances

The Freeze-Tag Problem (FTP) asks for the minimum time needed to activate a swarm of robots, starting from a single active robot. When an active robot reaches a frozen robot, the latter becomes active; both robots may then move independently and activate further robots. We prove that FTP is strongly NP-hard in the plane under every fixed rational $L_p$ distance, $1 \le p < \infty$, and under $L_\infty$. The geometric argument also applies to every fixed real $p > 1$ for which the metric admits an effective specification. For $L_1$ and $L_\infty$, the integer-coordinate decision problems are strongly NP-complete. The reduction starts from Numerical 3-Dimensional Matching with distinct integers and also yields NP-completeness for unweighted planar grid graphs.

cs.CG↗

A 2-approximation for the $k$-prize-collecting Steiner tree problem

We consider the $k$-prize-collecting Steiner tree problem. An instance is composed of an integer $k$ and a graph $G$ with costs on edges and penalties on vertices. The objective is to find a tree spanning at least $k$ vertices which minimizes the cost of the edges in the tree plus the penalties of vertices not in the tree. This is one of the most fundamental network design problems and is a common generalization of the prize-collecting Steiner tree and the $k$-minimum spanning tree problems. Our main result is a 2-approximation algorithm, which improves on the currently best known approximation factor of 3.96 and has a faster running time. The algorithm builds on a modification of the primal-dual framework of Goemans and Williamson, and reveals interesting properties that can be applied to other similar problems.

cs.CC↗