凸包にユニットボールが含まれているかどうかを確認するのはNPですか？

次元のユークリッド空間に点のセットがある、問題は、凸包が原点を中心とする単位ボールを含むかどうかを判断することです。 $n$ $d$

NPでこの問題はありますか？

凸包の外側のボールのポイントを目撃者として示し、線形計画法を使用してこの事実を検証できるため、これはco-NPです。

ここで私の焦点は平方根に関連するコンピューター精度ではありませんが、これも興味深いかもしれません。

cc.complexity-theory cg.comp-geom

— オクトノット
ソース

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

— ゆり
ソース

これは、問題がNP困難であり、共同NPでもあることを示唆しているようです。これは、co-NPにNPが含まれていることを意味しません。それとも違うのですか？

— オクトノット2013

問題は共同NPにあります。co-NPが完了しています。それはクックの削減にNP難しいwrtです。

— Yury