计算科学 - 在 Python 中求解一组带约束的多元线性不等式 - 吾爱随笔录

我正在尝试实现 Dinur-Nissim 算法，并被困在如何解决具有多个未知数和大量方程以及约束的线性不等式集。

例子：

\begin{aligned} 0.2 \leq c_{4} \leq 0.66 \\ 0.66 \leq c_{3} \leq 1.56 \\ 0.96 \leq c_{3} + c 4 \leq 2.26 \end{aligned}

$\begin{align} 0.2 \leq c_4 \leq 0.66\\ 0.66 \leq c_3 \leq 1.56\\ 0.96 \leq c_3 + c4 \leq 2.26\\ \end{align}$

约束：

0 \leq c_{i} \leq 1

$0 \leq c_i \leq 1$

和许多其他方程的未知数上升到 $c_n$ 在哪里 $n$ 是数据库的大小，所以我需要一个适用于大量方程的解决方案。

我试图寻找一些库，但其中大多数解决了最大化或最小化问题，所以不确定是否可以将这些方程转换为这些问题之一。