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