Versi masalah keputusan masalah optimasi ini adalah:
Diberi ambang batas , Anda ingin tahu apakah mungkin untuk menemukan subset dari poin sehingga setiap pasangan poin dalam subset tersebut setidaknya berjarak unit.tnt
Tentu saja, jika Anda dapat menyelesaikan masalah keputusan, kami dapat menyelesaikan masalah optimisasi Anda (dengan pencarian biner pada ambang ).t
Sekarang masalah keputusan ini adalah masalah menemukan sebuah set independen dalam grafik Euclidean, di mana poin memiliki keunggulan antara mereka jika mereka berada pada jarak terpisah. Salah satu pendekatan akan melihat algoritma perkiraan standar untuk set independen.x,y≤t
Bahkan lebih baik, Anda dapat melihat algoritma untuk set independen dalam grafik persimpangan geometris . Pertimbangkan satu set disk, di mana masing-masing disk memiliki diameter dan berada di tengah salah satu titik dalam set . Sekarang kita dapat membentuk grafik perpotongan geometris, di mana ada satu titik untuk setiap disk dan sebuah tepi antara dua titik jika cakram yang bersesuaian saling berpotongan. Masalah menemukan set independen dalam grafik semacam ini telah dipelajari dan ada algoritma perkiraan untuk masalah ini yang bisa Anda coba gunakan.tC
Jika Anda menginginkan optimal yang tepat daripada perkiraan, Anda bisa menggunakan "palu besar" standar, seperti solver SAT atau solver ILP. Ada cara mudah untuk merumuskan masalah set independen sebagai instance SAT, dan kemudian Anda bisa menerapkan solver SAT untuk menemukan apakah ada subset poin yang semua unit jauh dari satu sama lain.n≥t