Zenn
Open3

代数的・幾何的アプローチによる離散最適化入門メモ

termoshtttermoshtt

P.15 補題1.3.4
❌もし A=conv(S)A = \text{conv}(S) ならば A=BA^\circ = B^\circ となる
⭕️もし A=conv(B)A = \text{conv}(B) ならば A=BA^\circ = B^\circ となる

termoshtttermoshtt

P.67 系2.6.4の証明

z=i=1kλivi+i=1k(λiλi)viz = \sum_{i=1}^k \lfloor \lambda_i \rfloor v_i + \sum_{i=1}^k \left( \lfloor \lambda_i \rfloor - \lambda_i \right)v_i

⭕️
z=i=1kλivi+i=1k(λiλi)viz = \sum_{i=1}^k \lfloor \lambda_i \rfloor v_i + \sum_{i=1}^k \left( \lambda_i - \lfloor \lambda_i \rfloor \right)v_i

あと多分右辺第二項が F\in F と書いてるが、 FZn\in F \cap \mathbb{Z}^nと書いた方が良かった気がする

ログインするとコメントできます