Numerando todas as equações no problema de otimização de dois níveis

Question

Semelhante a umpergunta anterior, preciso construir uma otimização de dois níveis. A pergunta anterior recebeuboa respostaexceto que preciso numerar cada equação, mesmo aquelas no alignedbloco aninhado.

Qual seria a maneira mais simples de modificar a estrutura abaixo para suportar o número de todas as equações? O bloco aninhado alignedgera um erro de compilação se alterado para align.

MWE(estrutura básica cortesia de @sergei-golovan)

\documentclass{article}
\usepackage{amsmath}
\DeclareMathOperator{\st}{s.t.}
\begin{document}

\begin{align}
  \min \limits_{\mathbf{x}, \mathbf{y}} \quad & {-}2x_1^2 + x_2^2 - 6y_1 + y_2^2 \\
    \st \quad & x_1^3 + 3x_2 - 10 \le 0 \\
        & \begin{aligned}
            \st \quad & {-}x_1 + 2x_1 - x_2^2 \le 0\\
                      & {-}x_1 + 2x_2 \le 0
          \end{aligned}
\end{align}
\end{document}

Answer 1

Aqui estão duas possibilidades com o optidefpacote:

\documentclass{article}
\usepackage{amsmath}
\usepackage{optidef}
\DeclareMathOperator{\st}{s.t.}

\begin{document}

\begin{mini!}|s|
 {\mathbf{x, y}}{-2x_1^2 + x_2^2 - 6y_1 + y_2^2}{\label{objective}}{}
\addConstraint{x_1^3 + 3x_2 - 10}{\le 0 \label{ineq:C1}}
\addConstraint{-x_1 + 2x_1 - x_2^2}{\le 0\label{ineq:C2}}
\addConstraint{-x_1 + 2x_2}{\le 0\label{ineq:C3}}
\end{mini!}

\begin{mini!}|s|[2]
 {\mathbf{x, y}}{-2x_1^2 + x_2^2 - 6y_1 + y_2^2\tag{2}}{\label{objective}}{}
\addConstraint{x_1^3 + 3x_2 - 10}{\le 0 \label{ineq:C1}}
\addConstraint{{-x_1} + 2x_1 - x_2^2}{\le 0\label{ineq:C2}}
\addConstraint{{-x_1} + 2x_2}{\le 0\label{ineq:C3}}
\end{mini!}

\end{document}

Editar: uma solução alternativa para restrições de dois níveis:

\begin{mini!}|s|[2]
 {\mathbf{x, y}}{-2x_1^2 + x_2^2 - 6y_1 + y_2^2\tag{2}}{\label{objective}}{}
\addConstraint{x_1^3 + 3x_2 - 10\tag{3}}{\le 0 \label{ineq:C1}}
\addConstraint{\st\quad}{{-x_1} + 2x_1 - x_2^2\le 0\label{ineq:C2}}
\addConstraint{\phantom{\st}\quad}{{-x_1} + 2x_2\le 0\label{ineq:C3}}
\end{mini!}

Answer 2

você pode usar outro pacote chamado optidef:https://www.ctan.org/pkg/optidef aqui está o seu problema:

\usepackage{optidef}
\begin{document}
    
    \begin{mini!}|s|[2]<b>
        {x,y}{-x^2_1+x^2_2-6y_1+y^2_2}
        {}{}
        \addConstraint{x^3+x_2-10}{\leq 0}{}
        \addConstraint{-x_1+2x_1-x^2_2}{}
        \addConstraint{-x_1+2x_2}{\leq 0}{}
    \end{mini!}
\end{document}