第1講 多面体、多面集合、錐



Fourier–Motzkin elimination

錐と凸多面体との和で表された多面体を、上位次元の錐として捉えて扱いを容易にすること

ファルカスの補題

後退錐、斉次化

カラテオドリの定理