Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where Lehilton L. C. Pedrosa is active.

Publication


Featured researches published by Lehilton L. C. Pedrosa.


european symposium on algorithms | 2014

Polynomial-Time Approximation Schemes for Circle Packing Problems

Flávio Keidi Miyazawa; Lehilton L. C. Pedrosa; Rafael Crivellari Saliba Schouery; Maxim Sviridenko; Yoshiko Wakabayashi

We consider the problem of packing a set of circles into a minimum number of unit square bins. We give an asymptotic approximation scheme (APTAS) when we have resource augmentation in one dimension, that is, we may use bins of height 1 + γ, for some small γ > 0. As a corollary, we also obtain an APTAS for the circle strip packing problem, whose objective is to pack a set of circles into a strip of unit width and minimum height. These are the first approximation schemes for these problems. Our algorithm is based on novel ideas of iteratively separating small and large items, and may be extended to more general packing problems. For example, we also obtain APTAS’s for the corresponding problems of packing d-dimensional spheres under the L p -norm.


Algorithmica | 2016

Polynomial-Time Approximation Schemes for Circle and Other Packing Problems

Flávio Keidi Miyazawa; Lehilton L. C. Pedrosa; Rafael Crivellari Saliba Schouery; Maxim Sviridenko; Yoshiko Wakabayashi

We consider the problem of packing a set of circles into a minimum number of unit square bins. To obtain rational solutions, we use augmented bins of height


Software Testing, Verification & Reliability | 2013

Incremental testing of finite state machines

Lehilton L. C. Pedrosa; Arnaldo Vieira Moura


latin american symposium on theoretical informatics | 2016

Improved Approximation Algorithms for Capacitated Fault-Tolerant k-Center

Cristina G. Fernandes; Samuel P. de Paula; Lehilton L. C. Pedrosa

1+\gamma


secure software integration and reliability improvement | 2010

Generalized Partial Test Case Generation Method

Lehilton L. C. Pedrosa; Arnaldo Vieira Moura


Informs Journal on Computing | 2018

Integrated Supply Chain Management via Randomized Rounding

Lehilton L. C. Pedrosa; Maxim Sviridenko

1+γ, for some arbitrarily small number


Theory of Computing Systems \/ Mathematical Systems Theory | 2017

A PTAS for the Geometric Connected Facility Location Problem

Flávio Keidi Miyazawa; Lehilton L. C. Pedrosa; Rafael Crivellari Saliba Schouery; Renata G. D. de Souza


Mathematical Programming | 2015

A systematic approach to bound factor-revealing LPs and its application to the metric and squared metric facility location problems

Cristina G. Fernandes; Luis A. A. Meira; Flávio Keidi Miyazawa; Lehilton L. C. Pedrosa

\gamma > 0


Journal of Combinatorial Optimization | 2017

Approximation algorithms for k-level stochastic facility location problems

Lucas Pereira de Melo; Flávio Keidi Miyazawa; Lehilton L. C. Pedrosa; Rafael Crivellari Saliba Schouery


international workshop and international workshop on approximation, randomization, and combinatorial optimization. algorithms and techniques | 2012

A Systematic Approach to Bound Factor Revealing LPs and Its Application to the Metric and Squared Metric Facility Location Problems.

Cristina G. Fernandes; Luis A. A. Meira; Flávio Keidi Miyazawa; Lehilton L. C. Pedrosa

γ>0. For this problem, we obtain an asymptotic approximation scheme (APTAS) that is polynomial on

Collaboration


Dive into the Lehilton L. C. Pedrosa's collaboration.

Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar

Arnaldo Vieira Moura

State University of Campinas

View shared research outputs
Top Co-Authors

Avatar

Luis A. A. Meira

State University of Campinas

View shared research outputs
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Researchain Logo
Decentralizing Knowledge