格密码相关 整数规划（IP） 定义 给定m个关于n个变量的有理数线性不等式，判断是否存在整数解，等价于矩阵 $$ A \ \in\Q^{m×n},b\ \in\ Q^{m}\\ 存在z\ \in\ Z^{n}\ Az\ \textless\ b $$ 等价于：判断此集合是否为空集 2 凸组合：对任意两点x,y，以及λ∈[0,1]，凸组合就是λx+(1-y)λ 凸性：对集合内任意两点x,y的凸组合，仍然属于该集合 凸体指任意两点的凸组合仍在集合中；凸体还要求有界且内部非空
