Die Entscheidungsproblemversion dieses Optimierungsproblems lautet:
Bei einem gegebenen Schwellenwert möchten Sie wissen, ob es möglich ist, eine Teilmenge von Punkten so zu finden, dass jedes Paar von Punkten in der Teilmenge mindestens Einheiten voneinander entfernt ist.tnt
Wenn Sie das Entscheidungsproblem lösen können, können wir natürlich Ihr Optimierungsproblem lösen (durch binäre Suche auf der Schwelle ).t
Nun ist dieses Entscheidungsproblem ist das Problem des Findens einen unabhängigen Satzes in einem euklidischen Graph ist, in dem Punkt hat einen Rand zwischen ihnen , wenn sie im Abstand sind auseinander. Ein Ansatz wäre, Standard-Approximationsalgorithmen für unabhängige Mengen zu betrachten.x , y≤ t
Noch besser ist es, sich Algorithmen für unabhängige Mengen in geometrischen Schnittkurven anzusehen . Stellen Sie sich einen Scheibensatz vor, bei dem jede Scheibe den Durchmesser und an einem der Punkte in Ihrem Satz zentriert ist . Jetzt können wir einen geometrischen Schnittgraphen bilden, bei dem es für jede Scheibe einen Scheitelpunkt und eine Kante zwischen zwei Scheitelpunkten gibt, wenn sich die entsprechenden Scheiben schneiden. Das Problem, eine unabhängige Menge in einem solchen Graphen zu finden, wurde untersucht, und für dieses Problem gibt es Approximationsalgorithmen, die Sie ausprobieren können.tC
Wenn Sie eher das exakte Optimum als eine Annäherung wünschen, können Sie einen der standardmäßigen "großen Hämmer" verwenden, z. B. einen SAT-Löser oder einen ILP-Löser. Es gibt eine einfache Möglichkeit, das Problem der unabhängigen Menge als SAT-Instanz zu formulieren. Anschließend können Sie einen SAT-Löser darauf anwenden, um festzustellen, ob eine Teilmenge von Punkten vorhanden ist, die alle Einheiten voneinander entfernt sind.n≥ t