Conceptos Básicos
Der Algorithmus berechnet eine Biclique-Partition der Menge der Paare (σ, p), wobei p in der semi-algebraischen Menge σ liegt, in erwarteter Zeit O*(m^(2s/(5s-4)) n^((5s-6)/(5s-4)) + m^(2/3)n^(2/3) + m + n), wobei s die parametrische Dimension der Mengen in Σ ist.
Resumen
Der Artikel beschreibt einen randomisierten Algorithmus zur effizienten Berechnung von Bereichsanfragen für eine Menge P von m Punkten und eine Menge Σ von n semi-algebraischen Mengen in der Ebene.
Der Algorithmus besteht aus mehreren Schritten:
- Zerlegung der Ränder der Mengen in Σ in eine Familie von O*(n^(3/2)) Pseudo-Trapezen, deren Ränder Pseudo-Segmente sind.
- Berechnung einer Biclique-Partition der Paare (ψ, p), wobei p in dem Pseudo-Trapez ψ liegt, in erwarteter Zeit O*((m√n + n)log^3 n).
- Verfeinerung dieser Biclique-Partition unter Verwendung von hierarchischen Zerlegungen, um eine Biclique-Partition der Paare (σ, p), wobei p in der semi-algebraischen Menge σ liegt, in erwarteter Zeit O*(m^(2/3)χ^(1/3) + n^(3/2)) zu erhalten, wobei χ die Anzahl der Schnittpunkte zwischen den Rändern der Mengen in Σ ist.
- Abschließende Optimierung der Biclique-Partition unter Verwendung der parametrischen Dimension s der Mengen in Σ, um die Laufzeit weiter zu verbessern.
Das Ergebnis ist eine Biclique-Partition der Paare (σ, p) mit Größe O*(m^(2s/(5s-4)) n^((5s-6)/(5s-4)) + m^(2/3)n^(2/3) + m + n), die in der gleichen erwarteten Laufzeit berechnet werden kann.
Estadísticas
Die Anzahl der Schnittpunkte zwischen den Rändern der Mengen in Σ ist χ = O(n^2).
Die parametrische Dimension der Mengen in Σ ist s > 0.
Die Anzahl der Punkte in P ist m.
Die Anzahl der Mengen in Σ ist n.
Citas
Keine relevanten Zitate gefunden.