Illumination by floodlights

We consider three problems about the illumination of planar regions with floodlights of prescribed angles. Problem 1 is the decision problem: given a wedge W of angle φ ≤ π, n points p1 . . . . . pn in the plane and n angles α1 . . . . . αn such that ∑ni=1 αi ≤ θ, decide whether W can be illuminated by floodlights of angles α1 , . . . , αn placed in some order at the points p1 , . . . , pn and then rotated appropriately. We show that this problem is the exponential time and a specialized version of it (when φ = θ) is in NP. The second problem arises when the n points are in the complementary wedge of W and θ ≥ φ. Boss et al. have shown that a solution exists and gave an O(n log n) algorithm to place the floodlights. Here we give a matching lower bound. Problem 3 involves the illumination of the whole plane. The algorithm of Bose et al. uses an O(n log n) tripartitioning algorithm to reduce problem 3 to problem 2. We give a linear time tripartitioning algorithm of independent interest. © 1998 Elsevier Science B.V

The Dispersive Art Gallery Problem

We introduce a new variant of the art gallery problem that comes from safety issues. In this variant we are not interested in guard sets of smallest cardinality, but in guard sets with largest possible distances between these guards. To the best of our knowledge, this variant has not been considered before. We call it the Dispersive Art Gallery Problem. In particular, in the dispersive art gallery problem we are given a polygon ? and a real number ?, and want to decide whether ? has a guard set such that every pair of guards in this set is at least a distance of ? apart. In this paper, we study the vertex guard variant of this problem for the class of polyominoes. We consider rectangular visibility and distances as geodesics in the L?-metric. Our results are as follows. We give a (simple) thin polyomino such that every guard set has minimum pairwise distances of at most 3. On the positive side, we describe an algorithm that computes guard sets for simple polyominoes that match this upper bound, i.e., the algorithm constructs worst-case optimal solutions. We also study the computational complexity of computing guard sets that maximize the smallest distance between all pairs of guards within the guard sets. We prove that deciding whether there exists a guard set realizing a minimum pairwise distance for all pairs of guards of at least 5 in a given polyomino is NP-complete. We were also able to find an optimal dynamic programming approach that computes a guard set that maximizes the minimum pairwise distance between guards in tree-shaped polyominoes, i.e., computes optimal solutions; due to space constraints, details can be found in the full version of our paper [Christian Rieck and Christian Scheffer, 2022]. Because the shapes constructed in the NP-hardness reduction are thin as well (but have holes), this result completes the case for thin polyominoes

Geometric optimization on visibility problems: metaheuristic and exact solutions

Doutoramento em MatemáticaOs problemas de visibilidade têm diversas aplicações a situações reais. Entre os mais conhecidos, e exaustivamente estudados, estão os que envolvem os conceitos de vigilância e ocultação em estruturas geométricas (problemas de vigilância e ocultação). Neste trabalho são estudados problemas de visibilidade em estruturas geométricas conhecidas como polígonos, uma vez que estes podem representar, de forma apropriada, muitos dos objectos reais e são de fácil manipulação computacional. O objectivo dos problemas de vigilância é a determinação do número mínimo de posições para a colocação de dispositivos num dado polígono, de modo a que estes dispositivos consigam “ver” a totalidade do polígono. Por outro lado, o objectivo dos problemas de ocultação é a determinação do número máximo de posições num dado polígono, de modo a que quaisquer duas posições não se consigam “ver”. Infelizmente, a maior parte dos problemas de visibilidade em polígonos são NP-difíceis, o que dá origem a duas linhas de investigação: o desenvolvimento de algoritmos que estabelecem soluções aproximadas e a determinação de soluções exactas para classes especiais de polígonos. Atendendo a estas duas linhas de investigação, o trabalho é dividido em duas partes. Na primeira parte são propostos algoritmos aproximados, baseados essencialmente em metaheurísticas e metaheurísticas híbridas, para resolver alguns problemas de visibilidade, tanto em polígonos arbitrários como ortogonais. Os problemas estudados são os seguintes: “Maximum Hidden Vertex Set problem”, “Minimum Vertex Guard Set problem”, “Minimum Vertex Floodlight Set problem” e “Minimum Vertex k-Modem Set problem”. São também desenvolvidos métodos que permitem determinar a razão de aproximação dos algoritmos propostos. Para cada problema são implementados os algoritmos apresentados e é realizado um estudo estatístico para estabelecer qual o algoritmo que obtém as melhores soluções num tempo razoável. Este estudo permite concluir que as metaheurísticas híbridas são, em geral, as melhores estratégias para resolver os problemas de visibilidade estudados. Na segunda parte desta dissertação são abordados os problemas “Minimum Vertex Guard Set”, “Maximum Hidden Set” e “Maximum Hidden Vertex Set”, onde são identificadas e estudadas algumas classes de polígonos para as quais são determinadas soluções exactas e/ou limites combinatórios.Visibility problems have several applications to real-life problems. Among the most distinguished and exhaustively studied visibility problems are the ones involving concepts of guarding and hiding on geometrical structures (guarding and hiding problems). This work deals with visibility problems on geometrical structures known as polygons, since polygons are appropriate representations of many real-world objects and are easily handled by computers. The objective of the guarding problems studied in this thesis is to find a minimum number of device positions on a given polygon such that these devices collectively ''see'' the whole polygon. On the other hand, the goal of the hiding problems is to find a maximum number of positions on a given polygon such that no two of these positions can “see" each other. Unfortunately, most of the visibility problems on polygons are NP-hard, which opens two lines of investigation: the development of algorithms that establish approximate solutions and the determination of exact solutions on special classes of polygons. Accordingly, this work is divided in two parts where these two lines of investigation are considered. The first part of this thesis proposes approximation algorithms, mainly based on metaheuristics and hybrid metaheuristics, to tackle some visibility problems on arbitrary and orthogonal polygons. The addressed problems are the Maximum Hidden Vertex Set problem, the Minimum Vertex Guard Set problem, the Minimum Vertex Floodlight Set problem and the Minimum Vertex k-Modem Set problem. Methods that allow the determination of the performance ratio of the developed algorithms are also proposed. For each problem, the proposed algorithms are implemented and a statistical study is performed to determine which of the developed methods obtains the best solution in a reasonable amount of time. This study allows to conclude that, in general, the hybrid metaheuristics are the best approach to solve the studied visibility problems. The second part of this dissertation addresses the Minimum Vertex Guard Set problem, the Maximum Hidden Set problem and the Maximum Hidden Vertex Set problem, where some classes of polygons are identified and studied and for which are determined exact solutions and/or combinatorial bounds

09111 Abstracts Collection -- Computational Geometry

From March 8 to March 13, 2009, the Dagstuhl Seminar 09111 ``Computational Geometry \u27\u27 was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available

Geometric optimization and querying : exact & approximate

This thesis has two main parts. The first part deals with the stage illumination problem. Given a stage represented by a line segment L and a set of lightsources represented by a set of points S in the plane, assign powers to the lightsources such that every point on the stage receives a sufficient amount, e.g. one unit, of light while minimizing the overall power consumption. By assuming that the amount of light arriving from a fixed lightsource decreases rapidly with the distance from the lightsource, this becomes an interesting geometric optimization problem. We present different solutions, based on convex optimization, discretization and linear programming, as well as a purely combinatorial approximation algorithm. Some experimental results are also provided. In the second part of this thesis, we are concerned with two different geometric problems whose solutions are based on the construction of a data structure that would allow for efficient queries. The central idea of our data structures is the well-separated pair decomposition. The first problem we address is the k-hop restricted shortest path under the power-euclidean distance function. Given a set P of n points in the plane and the distance function jpqjd +Cp for some constant d > 1, nonnegative offset cost Cp and p;q 2 P, where jpqj denotes the Euclidean distance between p and q, we consider the problem of finding paths between any pair of points that minimize the lenght of the path and do not use more than some constant number k of hops. Known exact algorithms for this problem required W(nlogn) per query pair (p;q). We relax the exactness requirement and only require approximate (1+e) solutions which allows us to derive schemes which guarantee constant query time using linear space and O(nlogn) preprocessing time. The dependence on e is polynomial in 1=e. We also develop a tool that might be of independent interest: For any pair of points p;q 2 P report in constant time the cluster pair (A;B) representing (p;q) in a well-separated pair decomposition of P. The second problem in this part is so-called cone-restricted nearest neighbor. For a given point set in Euclidean space we consider the problem of finding (approximate) nearest neighbors of a query point but restricting only to points that lie within a fixed cone with apex at the query point. We investigate the structure of the Voronoi diagram induced by this notion of proximity and present approximate and exact data structures for answering cone-restricted nearest neighbor queries. In particular, we develop an approximate Voronoi diagram of size O((n=ed) log(1=e)) that can be used to answer cone-restricted nearest neighbor queries in O(log(n=e)) time.Diese Arbeit besteht aus zwei Teilen. Der erste Teil behandelt das Stage Illumination Problem. Hierbei möchte man eine Bühne, die durch ein Geradenstück repräsentiert ist, durch Lichtquellen, die durch Punkte in der Ebene repräsentiert sind, so beleuchten, dass jeder Punkt der Bühne genügend Licht erhält und dabei möglichst wenig Energie verbrauchen. Wenn man annimmt, dass die Lichtintensität stark mit der Entfernung zur Lichtquelle abnimmt, so stellt dies ein interesanntes geometrisches Optimierungsproblem dar. Wir geben verschiedene Lösungen an, die sowohl auf konvexer Optimierung, Diskretisierung und Linearer Programmierung basieren, als auch einen kombinatorischen Approximationsalgorithmus. Es werden auch experimentelle Resultate angegeben. Im zweiten Teil dieser Arbeit behandeln wir zwei verschiedene geometrische Probleme, deren Lösungen auf einer Datenstruktur basieren, die effiziente Anfragen beantworten kann. Die zentrale Idee unserer Datenstruktur ist die well-separated pair decomposition WSPD. Das erste Problem, das wir ansprechen ist das k-hop restricted shortest path under the power-euclidean distance function. Für n Punkte in der Ebene möchte man den kürzesten Pfad zwischen zwei beliebigen Punkten finden, der nicht mehr als k Kanten benötigt. Bekannte exakte Algorithmen für dieses Problem benötigen W(nlogn) Zeit pro Anfrage (p;q). Wir lockern die Exaktheitsforderung und verlangen nur eine (1+e)-Approximation. Dies erlaubt uns eine Methode zu entwickeln, die konstante Zeit pro Anfrage garaniert und nur linearen Platz benötigt bei einer Vorverarbeitungszeit von O(nlogn). Die Abhängigkeit von e ist polynomiell in 1=e. Außerdem entwickeln wir eine Methode, die davon unabhängig von Interesse ist. Für ein Punktepaar p;q 2 P bestimmen wir in konstanter Zeit das Cluster-paar (A;B), das (p;q) in einer WSPD von P bestimmt. Das zweite Problem in diesem Teil ist das sogenannte cone-restricted nearest neighbor problem. Für eine gegebene Menge von Punkten im Euklidischen Raum betrachten wir das Problem den nächsten Nachbarpunkt zu bestimmen, der in einem Kegel liegt, dessen Spitze ein beliebiger Anfragepunkt ist. Wir untersuchen das dazugehörige Voronoi- Diagramm und entwickeln effiziente Datenstrukturen sowohl für exakte als auch für approximative cone-restricted nearest neighbor-Anfragen. Im speziellen entwickeln wir ein approximatives Voronoi-Diagramm der Größe O((n=ed) log(1=e)), das dazu benutzt werden kann, Anfragen in der Zeit O(log(n=e)) zu beantworten

Geometric optimization and querying : exact & approximate

This thesis has two main parts. The first part deals with the stage illumination problem. Given a stage represented by a line segment L and a set of lightsources represented by a set of points S in the plane, assign powers to the lightsources such that every point on the stage receives a sufficient amount, e.g. one unit, of light while minimizing the overall power consumption. By assuming that the amount of light arriving from a fixed lightsource decreases rapidly with the distance from the lightsource, this becomes an interesting geometric optimization problem. We present different solutions, based on convex optimization, discretization and linear programming, as well as a purely combinatorial approximation algorithm. Some experimental results are also provided. In the second part of this thesis, we are concerned with two different geometric problems whose solutions are based on the construction of a data structure that would allow for efficient queries. The central idea of our data structures is the well-separated pair decomposition. The first problem we address is the k-hop restricted shortest path under the power-euclidean distance function. Given a set P of n points in the plane and the distance function jpqjd +Cp for some constant d > 1, nonnegative offset cost Cp and p;q 2 P, where jpqj denotes the Euclidean distance between p and q, we consider the problem of finding paths between any pair of points that minimize the lenght of the path and do not use more than some constant number k of hops. Known exact algorithms for this problem required W(nlogn) per query pair (p;q). We relax the exactness requirement and only require approximate (1+e) solutions which allows us to derive schemes which guarantee constant query time using linear space and O(nlogn) preprocessing time. The dependence on e is polynomial in 1=e. We also develop a tool that might be of independent interest: For any pair of points p;q 2 P report in constant time the cluster pair (A;B) representing (p;q) in a well-separated pair decomposition of P. The second problem in this part is so-called cone-restricted nearest neighbor. For a given point set in Euclidean space we consider the problem of finding (approximate) nearest neighbors of a query point but restricting only to points that lie within a fixed cone with apex at the query point. We investigate the structure of the Voronoi diagram induced by this notion of proximity and present approximate and exact data structures for answering cone-restricted nearest neighbor queries. In particular, we develop an approximate Voronoi diagram of size O((n=ed) log(1=e)) that can be used to answer cone-restricted nearest neighbor queries in O(log(n=e)) time.Diese Arbeit besteht aus zwei Teilen. Der erste Teil behandelt das Stage Illumination Problem. Hierbei möchte man eine Bühne, die durch ein Geradenstück repräsentiert ist, durch Lichtquellen, die durch Punkte in der Ebene repräsentiert sind, so beleuchten, dass jeder Punkt der Bühne genügend Licht erhält und dabei möglichst wenig Energie verbrauchen. Wenn man annimmt, dass die Lichtintensität stark mit der Entfernung zur Lichtquelle abnimmt, so stellt dies ein interesanntes geometrisches Optimierungsproblem dar. Wir geben verschiedene Lösungen an, die sowohl auf konvexer Optimierung, Diskretisierung und Linearer Programmierung basieren, als auch einen kombinatorischen Approximationsalgorithmus. Es werden auch experimentelle Resultate angegeben. Im zweiten Teil dieser Arbeit behandeln wir zwei verschiedene geometrische Probleme, deren Lösungen auf einer Datenstruktur basieren, die effiziente Anfragen beantworten kann. Die zentrale Idee unserer Datenstruktur ist die well-separated pair decomposition WSPD. Das erste Problem, das wir ansprechen ist das k-hop restricted shortest path under the power-euclidean distance function. Für n Punkte in der Ebene möchte man den kürzesten Pfad zwischen zwei beliebigen Punkten finden, der nicht mehr als k Kanten benötigt. Bekannte exakte Algorithmen für dieses Problem benötigen W(nlogn) Zeit pro Anfrage (p;q). Wir lockern die Exaktheitsforderung und verlangen nur eine (1+e)-Approximation. Dies erlaubt uns eine Methode zu entwickeln, die konstante Zeit pro Anfrage garaniert und nur linearen Platz benötigt bei einer Vorverarbeitungszeit von O(nlogn). Die Abhängigkeit von e ist polynomiell in 1=e. Außerdem entwickeln wir eine Methode, die davon unabhängig von Interesse ist. Für ein Punktepaar p;q 2 P bestimmen wir in konstanter Zeit das Cluster-paar (A;B), das (p;q) in einer WSPD von P bestimmt. Das zweite Problem in diesem Teil ist das sogenannte cone-restricted nearest neighbor problem. Für eine gegebene Menge von Punkten im Euklidischen Raum betrachten wir das Problem den nächsten Nachbarpunkt zu bestimmen, der in einem Kegel liegt, dessen Spitze ein beliebiger Anfragepunkt ist. Wir untersuchen das dazugehörige Voronoi- Diagramm und entwickeln effiziente Datenstrukturen sowohl für exakte als auch für approximative cone-restricted nearest neighbor-Anfragen. Im speziellen entwickeln wir ein approximatives Voronoi-Diagramm der Größe O((n=ed) log(1=e)), das dazu benutzt werden kann, Anfragen in der Zeit O(log(n=e)) zu beantworten