1,553,730 research outputs found
On mutually avoiding sets
Two finite sets of points in the plane are called mutually avoiding if any
straight line passing through two points of anyone of these two sets does not
intersect the convex hull of the other set. For any integer n, we construct a
set of n points in general position in the plane which contains no pair of
mutually avoiding sets of size more than O (n). The given bound is tight up to
a constant factor, since Aronov et al. [AEGKKPS] showed a polynomial time
algorithm for finding two mutually avoiding sets of size (n) in any set of n
points in general position in the plane
Low-Thrust Lyapunov to Lyapunov and Halo to Halo with -Minimization
In this work, we develop a new method to design energy minimum low-thrust
missions (L2-minimization). In the Circular Restricted Three Body Problem, the
knowledge of invariant manifolds helps us initialize an indirect method solving
a transfer mission between periodic Lyapunov orbits. Indeed, using the PMP, the
optimal control problem is solved using Newton-like algorithms finding the zero
of a shooting function. To compute a Lyapunov to Lyapunov mission, we first
compute an admissible trajectory using a heteroclinic orbit between the two
periodic orbits. It is then used to initialize a multiple shooting method in
order to release the constraint. We finally optimize the terminal points on the
periodic orbits. Moreover, we use continuation methods on position and on
thrust, in order to gain robustness. A more general Halo to Halo mission, with
different energies, is computed in the last section without heteroclinic orbits
but using invariant manifolds to initialize shooting methods with a similar
approach
Continuous surveillance of points by rotating floodlights
Let P and F be sets of n ≥ 2 and m ≥ 2 points in the plane, respectively, so that P∪F is in general position. We study the problem of finding the minimum angle α ∈ [2π/m, 2π] such that one can install at each point of F a stationary rotating floodlight with illumination angle α, initially oriented in a suitable direction, in such a way that, at all times, every target point of P is
illuminated by at least one light. All floodlights rotate at unit speed and clockwise. We give an upper bound for the 1-dimensional problem and present results for some instances of the general problem. Specifically,
we solve the problem for the case in which we have two floodlights and many points, and give an upper bound for the case in which there are many floodlights and only two target points.Ministerio de Educación y CienciaEuropean Science FoundationMinisterio de Ciencia e InnovaciónComisión Nacional de Investigación CientÃfica y Tecnológica (Chile)Fondo Nacional de Desarrollo CientÃfico y Tecnológico (Chile
Ramsey-type theorems for lines in 3-space
We prove geometric Ramsey-type statements on collections of lines in 3-space.
These statements give guarantees on the size of a clique or an independent set
in (hyper)graphs induced by incidence relations between lines, points, and
reguli in 3-space. Among other things, we prove that: (1) The intersection
graph of n lines in R^3 has a clique or independent set of size Omega(n^{1/3}).
(2) Every set of n lines in R^3 has a subset of n^{1/2} lines that are all
stabbed by one line, or a subset of Omega((n/log n)^{1/5}) such that no
6-subset is stabbed by one line. (3) Every set of n lines in general position
in R^3 has a subset of Omega(n^{2/3}) lines that all lie on a regulus, or a
subset of Omega(n^{1/3}) lines such that no 4-subset is contained in a regulus.
The proofs of these statements all follow from geometric incidence bounds --
such as the Guth-Katz bound on point-line incidences in R^3 -- combined with
Tur\'an-type results on independent sets in sparse graphs and hypergraphs.
Although similar Ramsey-type statements can be proved using existing generic
algebraic frameworks, the lower bounds we get are much larger than what can be
obtained with these methods. The proofs directly yield polynomial-time
algorithms for finding subsets of the claimed size.Comment: 18 pages including appendi
Finding Axis-Parallel Rectangles of Fixed Perimeter or Area Containing the Largest Number of Points
Let P be a set of n points in the plane in general position, and consider the problem of finding an axis-parallel rectangle with a given perimeter, or area, or diagonal, that encloses the maximum number of points of P. We present an exact algorithm that finds such a rectangle in O(n^{5/2} log n) time, and, for the case of a fixed perimeter or diagonal, we also obtain (i) an improved exact algorithm that runs in O(nk^{3/2} log k) time, and (ii) an approximation algorithm that finds, in O(n+(n/(k epsilon^5))*log^{5/2}(n/k)log((1/epsilon) log(n/k))) time, a rectangle of the given perimeter or diagonal that contains at least (1-epsilon)k points of P, where k is the optimum value.
We then show how to turn this algorithm into one that finds, for a given k, an axis-parallel rectangle of smallest perimeter (or area, or diagonal) that contains k points of P. We obtain the first subcubic algorithms for these problems, significantly improving the current state of the art
- …