☰

この方程式のグループをどうやって作るのでしょうか?

tag-icon • tag-icon equations diagrams
この方程式のグループをどうやって作るのでしょうか?

ここで (P1) は問題 1、(P2) は問題 2 を表します。(D1) と (D2) はそれらの緩和を表します。緩和が等しいかどうかという疑問を提起したいと思います。個々の問題を LaTeX で記述することに慣れています。ただし、論文に書かれていることを実行するには、どのように配置すればよいかわかりません。これは私が達成したいことの大まかな形でしょうか?

ここに画像の説明を入力してください

答え1

無料でサポートしてもらいたいのであれば、これまで何を試してきたのかを実際に示す努力をすべきです。そうは言っても...

ここでは、スタック ネストを使用して結果を達成しています。コーナーを独自の\normalsizeスタック ボックス ( \Pone、、、および) に保存することで、任意のフォント サイズでタブ付きスタック全体を構築できます (ここでは を選択しました。これにより、以前に保存したスタック ボックスのフォント\Ptwoには影響せず、それらの間の接続記号のみに影響します)。\Rone\Rtwo\LARGE

プリアンブルで設定されるさまざまなスタックギャップは、それぞれ、列間の水平ギャップ ( \setstacktabbedgap)、短いスタックのデフォルトの垂直ギャップ (\setstackgap{S}{}および\tabbedShortstackの場合 、 \stackon)、および長いスタックのデフォルトの垂直ベースラインスキップ (\setstackgap{L}{}の場合 、\Centerstack) に影響します。

\stackMathまた、コーナー ボックスを数式モードで処理するように設定し、その後、\stackTextタブ配置全体をテキスト モードで処理するように戻す方法も示します (編集バージョン) 。

\documentclass{article}
\usepackage{amssymb}
\usepackage{tabstackengine}
\setstacktabbedgap{3ex}
\setstackgap{S}{3ex}
\setstackgap{L}{1.7\baselineskip}
\begin{document}
\stackMath
\savestack{\Pone}{\Centerstack{
  \fbox{P1}\\\displaystyle\min_{x\in\mathbb{R}} f_1(x)\\g_1(x)==C_1}
}
\savestack{\Ptwo}{\Centerstack{
  \fbox{P2}\\\displaystyle\min_{y\in\mathbb{R}} f_2(x)\\g_2(x)==C_2}
}
\savestack{\Rone}{\Centerstack{
  \fbox{R1}\\\displaystyle\min_{x\in\mathbb{R}} f_{R_1}(x)\\g_{R_1}(x)==C_{R_1}}
}
\savestack{\Rtwo}{\Centerstack{
  \fbox{R2}\\\displaystyle\min_{x\in\mathbb{R}} f_{R_2}(x)\\g_{R_2}(x)==C_{R_2}}
}
\stackText
{\LARGE\tabbedShortstack{
 \Pone & \stackon[.6ex]{$\equiv$}{theorem 1} & \Ptwo\\
  \llap{Relax~}$\Downarrow$ & & $\Downarrow$\rlap{~Relax}\\
 \Rone & \stackon[.6ex]{$\equiv$}{?} & \Rtwo\\
}}
\end{document}

ここに画像の説明を入力してください

答え2

デフォルトtabular:

\documentclass{article}
\usepackage[T1]{fontenc}
\usepackage{concrete}
\usepackage{amssymb}
\usepackage{array,ragged2e}
\begin{document}

\def\arraystretch{2.5}
\begin{tabular}{*3{>{\Centering}m{3cm}}}
  \fbox{P1}\newline$\min\limits_{x\in\mathbb{R}} f_1(x)$\newline$g_1(x)==C_1$ & 
  \Large theorem 1 \newline $\equiv$ &
  \fbox{P2}\newline$\min\limits_{y\in\mathbb{R}} f_2(x)$\newline$g_2(x)==C_2$ \\
  \Large\strut Relax $\Downarrow$ &  \Large\strut   & \Large\strut $\Downarrow$ Relax\\
  \fbox{R1}\newline$\min\limits_{x\in\mathbb{R}} f_{R_1}(x)$\newline$g_{R_1}(x)==C_{R_1}$ &
  \huge? \newline $\equiv$ &
  \fbox{R2}\newline$\min\limits_{x\in\mathbb{R}} f_{R_2}(x)$\newline$g_{R_2}(x)==C_{R_2}$
\end{tabular}

\end{document}

ここに画像の説明を入力してください

答え3

環境tikz-cdを使用する別の代替手段array

ここに画像の説明を入力してください

コード：

\documentclass[border=20pt]{standalone}
\usepackage{amssymb,amsmath}
\usepackage{tikz-cd}
\begin{document}

\begin{tikzcd}
\begin{array}{c}
(P1)\\
\displaystyle\min_{x \in \mathbb{R}} f_1(x)\\
g_1(x)==C_1
\end{array} 
\arrow[Rightarrow]{d}[swap]{Relax}         
& 
\begin{array}{c}
\textbf{Theorem 1}\\
\equiv
\end{array} 
& 
\begin{array}{c}
(P2)\\
\displaystyle \min_{y \in \mathbb{R}} f_2(x)\\
g_2(x)==C_2\\
\end{array}
\arrow[Rightarrow]{d}{Relax}      
&
&\\
\begin{array}{c}
(R1)\\
\displaystyle\min_{x \in \mathbb{R}} f_{R_1}(x)\\
g_{R_1}(x)==C_{R_1} 
\end{array}  
& 
\begin{array}{c}
? \\ 
\equiv
\end{array}
&  
\begin{array}{c}
(R2)\\
\displaystyle\min_{x \in \mathbb{R}} f_{R_2}(x)\\
g_{R_2}(x)==C_{R_2}
\end{array}
\end{tikzcd}
\end{document}

関連情報