ネストされた Optidef 方程式

Question

optidefを使って2レベル最適化問題をどのように指定すればよいでしょうか？私は1つ指定したいと思います（見る式6と式7はそれぞれ4ページと5ページの下部と上部にあります。これまでのところ、私は次のようにしています

\documentclass{article}
\usepackage{amsmath,amssymb,amsthm,optidef,amsfonts}
\begin{document}
\begin{mini}
{L,V}{L_V\left(V,W \right) ||\mathbf{X}_{1}-\mathbf{X}_{0} ||^{2}_{\mathbf{V}} \quad \forall \: t \in T_0 \label{eq:scbi}}{}{}
\addConstraint {W\left(V \right) \in \Psi \left(V \right) \coloneqq \underset{W \in \mathcal{W}}{\text{argmin }} L_W\left(V,W \right) ||\mathbf{X}_{1}-\mathbf{X}_{0}W ||^{2}_{\mathbf{V}}, V \in \mathcal{V}}
\end{mini}
\end{document}

2 番目の最適化問題は、underset を使用して手動で定義していますが、optidef のインスタンスを 2 つ使用して、下位レベルの問題と上位レベルの問題を定義する方法があるかどうか知りたいです。どうすればよいでしょうか?

Answer 1

無駄な と\leftを削除します\right。また、開く場合は または 、閉じる場合は に||すると\|さらに良いでしょう。\lVert\rVert

optidefなぜ幅を無視しているように見えるのか理解するのは簡単ではありませんが、\mbox{}最後の部分を追加するとうまく機能します。

「argmin」に適切な数学演算子を定義します。

\documentclass{article}
\usepackage{amsmath,amssymb,amsthm}
\usepackage{optidef}
\usepackage{showframe}

\DeclareMathOperator*{\argmin}{argmin}

\begin{document}

\begin{mini}[constraintFormat=3]
{L,V}{
  L_V(V,W) \|\mathbf{X}_{1}-\mathbf{X}_{0} \|^{2}_{\mathbf{V}} \quad \forall \: t \in T_0 
  \label{eq:scbi}
}{}{}
\addConstraint{W(V) \in \Psi(V)}{\coloneqq 
  \argmin_{W \in \mathcal{W}} L_W(V,W) \|\mathbf{X}_{1}-\mathbf{X}_{0}W \|^{2}_{\mathbf{V}},
  V \in \mathcal{V}}{\mbox{}}
\end{mini}
\end{document}

太い罫線は、 のおかげで余白を示していますshowframe。製品版では、パッケージへの呼び出しを削除します。