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.
Para Outro Idioma
do conteúdo original
arxiv.org
Principais Insights Extraídos De
by Davi... às arxiv.org 04-10-2024
https://arxiv.org/pdf/2404.06376.pdfPerguntas Mais Profundas