Dışbükey teknenin birim topunu içerip içermediğini kontrol etmek NP'de mi?

boyutlu Öklid uzayında bir nokta kümesi verildiğinde , sorun dışbükey gövdenin başlangıçta ortalanmış birim topunu içerip içermediğini belirlemektir.$n$$d$

Bu problem NP'de mi?

Bir tanık olarak dışbükey gövdenin dışında topta bir nokta verebilir ve doğrusal programlama kullanarak bu gerçeği doğrulayabilir.

Buradaki ilgi alanım, kareköklerle ilgili bilgisayar hassasiyetinde değil, ancak bu da ilginç olabilir.

( Https://mathoverflow.net/questions/141782/efficiently-determine-if-convex-hull-contains-the-unit-ball ile ilgili .)

$\text{NP} = \text{co-NP}$$\text{NP} = \text{co-NP}$