Wersja problemu decyzyjnego tego problemu optymalizacji:
Biorąc pod uwagę próg , chcesz wiedzieć, czy można znaleźć podzbiór punktów, tak aby każda para punktów w tym podzestawie znajdowała się w odległości co najmniej jednostek.tnt
Oczywiście, jeśli potrafisz rozwiązać problem decyzyjny, możemy rozwiązać twój problem optymalizacji (przez wyszukiwanie binarne na progu ).t
Teraz ten problem decyzyjny jest problem ze znalezieniem niezależnego zestawu w euklidesowej wykresie, gdzie punkty mają przewagę między nimi, jeśli są one w odległości siebie. Jednym z podejść byłoby przyjrzenie się standardowym algorytmom aproksymacyjnym dla niezależnego zestawu.x,y≤t
Co więcej, możesz spojrzeć na algorytmy niezależnego zestawu w geometrycznych wykresach przecięcia . Rozważmy zestaw dysków, gdzie każdy dysk ma średnicę i skupia się na jednym z punktów w zestawie . Teraz możemy utworzyć geometryczny wykres przecięcia, w którym dla każdego dysku jest jeden wierzchołek i krawędź między dwoma wierzchołkami, jeśli ich odpowiednie dyski się przecinają. Problem znalezienia niezależnego zestawu na tego rodzaju wykresie został zbadany i istnieją algorytmy aproksymacyjne dla tego problemu, które można spróbować zastosować.tC
Jeśli chcesz dokładnego optimum zamiast przybliżenia, możesz użyć dowolnego ze standardowych „dużych młotków”, takiego jak solver SAT lub solver ILP. Jest to prosty sposób na sformułowanie problemu Ustaw jako niezależnej instancji SAT, a następnie można zastosować SAT solver niej znaleźć, czy istnieje podzbiór punktów, które są wszystkie jednostki z dala od siebie.n≥t