我正在使用 MATLAB 解决整数编程，但效率很低。这是问题所在：

认为$v$是一个$N \times 1$向量。为了$v_i \in v$,$v_i \in \{0,1\}$. $D$是一个 0-1 矩阵，这意味着对于每个$d_{ij} \in D$,$d_{ij} \in \{0,1\}$.

这个问题的翻译是做元素$1$在$v$在满足约束时尽可能少。

$$\begin{equation} \begin{split} &\min \left\|\boldsymbol{v}\right\|_2 \\ &s.t.\ \begin{array}{c} D\boldsymbol{v} \ge \boldsymbol{1}\\ \end{array} \end{split} \label{eq:core_op} \end{equation}$$

在优化领域有没有针对这类问题的好的求解器？