Die Autoren untersuchen das Problem, zu entscheiden, ob eine k-farbige Punktmenge P der Größe n eine Teilmenge von vier Punkten mit unterschiedlichen Farben enthält, deren rektiliniearer konvexer Hülle eine positive Fläche hat.
Sie präsentieren zunächst einen O(n log n)-Zeitalgorithmus, um dieses Problem zu lösen, wobei die versteckte Konstante nicht von k abhängt. Anschließend beweisen sie, dass dieses Problem in dem algebraischen Berechnungsbaummodell eine Zeitkomplexität von Ω(n log n) hat.
Der Algorithmus funktioniert wie folgt:
Die Korrektheit des Algorithmus wird durch Lemmata 2 und 3 bewiesen. Die Laufzeit von O(n log n) ergibt sich aus der Sortierung der Eingabe und der linearen Verarbeitung der Kandidatenpunktmengen.
Darüber hinaus zeigen die Autoren, dass das Problem eine Zeitkomplexität von Ω(n log n) im algebraischen Berechnungsbaummodell hat. Dazu definieren sie zwei Hilfsprobleme (2-Colored Open Unitary Gap Problem und 2-Colored Negative Slope Problem) und zeigen lineare Reduktionen zwischen diesen Problemen und dem 4-Colored Cross Problem.
To Another Language
from source content
arxiv.org
Deeper Inquiries