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.
Sang ngôn ngữ khác
từ nội dung nguồn
arxiv.org
Thông tin chi tiết chính được chắt lọc từ
by Davi... lúc arxiv.org 04-10-2024
https://arxiv.org/pdf/2404.06376.pdfYêu cầu sâu hơn