Biorąc pod uwagę zbiór punktów w d wymiarowej przestrzeni euklidesowej, problemem jest ustalenie, czy wypukłe kadłuba zawiera piłka jednostki skupione na pochodzenie.
Czy to problem w NP?
Jest w ko-NP, ponieważ można dać punkt w kuli poza wypukłym kadłubem jako świadek i zweryfikować ten fakt za pomocą programowania liniowego.
Nie skupiam się tutaj na precyzji komputerowej związanej z pierwiastkami kwadratowymi, chociaż może to być również interesujące.
(Powiązane z /mathpro/141782/fficiently-determine-if-convex-hull-contains-the-unit-ball .)
cc.complexity-theory
cg.comp-geom
oktonoty
źródło
źródło