基本定义 定义1： 给定 1 ≤ K ≤ N 1 \leq K \leq N 1≤K≤N，定义凸锥(convex cone): D = { x ∣ 1 T x = 0 , x 1 : N − K ≤ 0 , x ∈ R N } \mathrm{D} = \{ \boldsymbol x | \boldsymbol 1^T \boldsymbol x =0, x_{1: N-K} \leq 0,

The diffierence between Symetric NAT and Restricted Cone NAT A symmetric NAT applies restrictions exactly the same way as a port restricted cone NAT but handles the NAT translation differently. All t

在凸优化里面看到 pointed cone 这个概念，翻译为尖锥。若 K K K 为一个尖锥，则 if  x ∈ K , and  − x ∈ K ⇒ x = 0 ⃗ \text{if } x\in K \text{, and } -x\in K\Rightarrow x=\vec{0} if x∈K, and −x∈K⇒x=0 几何意义上：非尖锥中存在一条无限长的直线在锥中。 下面两个