Nummerierung aller Gleichungen im zweistufigen Optimierungsproblem

Question

Ähnlich wie einvorherige Fragemuss ich eine bilevel Optimierung konstruieren. Die vorherige Frage erhielt einegute Antwortaußer dass ich jede Gleichung nummerieren muss, auch die im verschachtelten alignedBlock.

Was wäre die einfachste Möglichkeit, die folgende Struktur so zu ändern, dass sie die Anzahl aller Gleichungen unterstützt? Der verschachtelte alignedBlock führt zu einem Kompilierungsfehler, wenn er in geändert wird align.

MWE(Grundstruktur mit freundlicher Genehmigung von @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

Hier gibt es zwei Möglichkeiten mit dem optidefPaket:

\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}

Bearbeiten: ein Workaround für zweistufige Einschränkungen:

\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

Sie können ein anderes Paket namens optidef verwenden:https://www.ctan.org/pkg/optidef hier ist Ihr Problem:

\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}