Wir untersuchen die Probleme der Bedeckung oder Partitionierung eines Polygons P (möglicherweise mit Löchern) unter Verwendung einer minimalen Anzahl von kleinen Teilen, wobei ein kleines Teil ein zusammenhängendes Unterpolygon ist, das in einem achsenausgerichteten Einheitsquadrat enthalten ist. Bei der Bedeckung möchten wir P als Vereinigung kleiner Teile schreiben, und bei der Partitionierung verlangen wir zudem, dass die Teile paarweise innerlich disjunkt sind. Wir zeigen, dass diese Probleme tatsächlich äquivalent sind: Optimale Bedeckungen und Partitionen haben die gleiche Anzahl an Teilen. Bei der Bedeckung versucht ein natürlicher lokale Suchalgorithmus wiederholt, k Teile aus einer Kandidatenbedeckung durch k-1 Teile zu ersetzen. In zwei Dimensionen und für ausreichend großes k zeigen wir, dass, wenn ein solcher Tausch nicht möglich ist, die Bedeckung eine 1 + O(1/√k) Approximation ist, was die erste PTAS für das Problem ergibt. Vor unserer Arbeit war der einzige bekannte Algorithmus eine 13-Approximation, die nur für Polygone ohne Löcher funktioniert Abrahamsen und Rasmussen, SODA 2025. Im Gegensatz dazu zeigen wir in der dreidimensionalen Version des Problems, dass es NP-schwer ist, eine optimale Bedeckung oder Partition innerhalb eines Faktors zu approximieren, der in n logarithmisch ist, selbst wenn P einfach ist, d.h. Genus 0 hat und keine Löcher aufweist.
Aamand et al. (Thu,) haben diese Frage untersucht.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: