Как сгруппировать эти уравнения?

Question

Здесь (P1) обозначает проблему 1, а (P2) обозначает проблему 2. (D1) и (D2) обозначают их релаксации. Я хочу задать вопрос, могут ли релаксации быть равными или нет. Я знаком с написанием отдельных задач в латексе. Хотя я не уверен, как выровнять их, чтобы сделать то, что написано в статье. Это грубая форма того, чего я хочу добиться?

Answer 1

Вам действительно следует приложить некоторые усилия, чтобы показать нам, что вы уже пробовали, если вы надеетесь на бесплатную помощь. Тем не менее...

Здесь я использую вложение стека для достижения результата. Сохраняя углы в их собственных \normalsizeстековых ящиках ( \Pone, \Ptwo, \Rone, и \Rtwo), я могу затем построить общий стек с вкладками в любом желаемом размере шрифта (здесь я выбрал \LARGE, и это не повлияет на шрифты в ранее сохраненных стековых ящиках, а только на соединительные символы между ними.

Различные значения stackgaps, заданные в преамбуле, влияют на горизонтальный зазор между столбцами ( \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}

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

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