Как записать длинные неравенства в следствии в документе из двух колонок

Question

Я хотел бы записать это следствие. Оно содержит два неравенства, как показано на следующем снимке экрана. Я использую IEEEtranкласс документа с двумя столбцами на обороте — в настоящее время с TeX Live 2022.

В качестве иллюстрации ожидаемый результат будет примерно таким же, хотя уравнения (1) и (2) не кажутся четкими.

\documentclass[journal]{IEEEtran}
\usepackage{mathtools}
\usepackage{amsmath}
\begin{document}

\begin{corollary}\label{Corollary:new_seq}
Supposing that $i^{\ast} = argmax_i R_3(i)$ and $i^{\ast\ast} = argmax_i R_4(i)$ for all   $i=1,\ldots,n$, if $max (R_3(i),R_4(i)) \geq max(R_5(A^{\prime}),R_6(A^{\prime\prime}))$ in a serial configuration, then the new sequence is optimal when one of the following constraints is fulfilled.

\renewcommand{\labelenumi}{(\roman{enumi})}
\begin{enumerate}
    \item 
    \begin{equation} \label{eq:corollary_i}
    max_{i^{\ast} =1,...,n} (q_i^{\ast}\cdot p_i^{\ast} + (1-q_i^{\ast})c_i^{\ast} \quad  \forall i^{\ast}\geq(n-1), q_i^{\ast}\cdot c_i^{\ast} + (1-q_i^{\ast})p_i^{\ast} \quad   \text{for $i^{\ast} = n$}) \geq (n-1)w + nv
    \end{equation}
 
    \item
    \begin{equation} \label{eq:corollary_ii}
    max_{i^{\ast\ast} =1,...,n} (q_i^{\ast\ast}\cdot p_i^{\ast\ast} + (1-q_i^{\ast\ast})c_i^{\ast\ast} \quad  \forall i^{\ast\ast}\geq(n-1), q_i^{\ast\ast}\cdot c_i^{\ast\ast} + (1-q_i^{\ast\ast})p_i^{\ast\ast} \quad  \text{for $i^{\ast} = n$}) \geq (n+1)w + (n+2)v
    \end{equation}    
\end{enumerate}
\end{corollary}
\end{document}

Однако оба уравнения (i) и (ii) превосходят столбец следующим образом.

Может кто-нибудь посоветует, что делать с кодом, пожалуйста? Если у вас есть другие варианты сделать более аккуратный текст, пожалуйста, дайте мне знать. Спасибо заранее.

Answer 1

Я бы не помечал неравенства как меткой перечисления, так и меткой уравнения. Поскольку метка перечисления вам нужна в любом случае, я бы обошелся без метки уравнения. В коде ниже я настроил перечисление так, чтобы элементы можно было легко перекрестно ссылать.

\documentclass[journal]{IEEEtran}
\usepackage{mathtools}
%\usepackage{amsmath} % amsmath is loaded automatically by mathtools
\DeclareMathOperator{\argmax}{argmax}
\usepackage{amsthm}
\newtheorem{corollary}{Corollary}
\usepackage{newtxmath}
\usepackage{enumitem}

\begin{document}

\begin{corollary}\label{Corollary:new_seq}
Suppose that $i^{\ast} = \argmax_i R_3(i)$ and 
$i^{\ast\ast} = \argmax_i R_4(i)$ for $i\in\{1,\dots,n\}$. 
If $\max (R_3(i),R_4(i)) \geq \max(R_5(A'),R_6(A''))$ 
in a serial configuration, then the new sequence is 
optimal if one of the following constraints is 
ful\-filled.
\begin{enumerate}[label=\textup{C.\roman*)},
                  ref= C.\roman*,
                  left=0pt, align=left]
\item \label{item:corollary_i}
\parbox[t]{0.8\columnwidth}{\raggedright$ 
    \max\limits_{i^{\ast} =1,\dots,n}
    \bigl\{
    q_i^{\ast} p_i^{\ast} + (1-q_i^{\ast})c_i^{\ast} 
    \textup{ for all $i^{\ast}\leq n-1$},\allowbreak 
    q_i^{\ast} c_i^{\ast} + (1-q_i^{\ast})p_i^{\ast} 
    \textup{ for $i^{\ast} = n$}
    \bigr\} 
    \geq (n-1)w + nv$}

\bigskip
\item \label{item:corollary_ii}
\parbox[t]{0.87\columnwidth}{\raggedright$
    \max\limits_{i^{\ast\ast} =1,\dots,n}
    \bigl\{
    q_i^{\ast\ast} p_i^{\ast\ast} + (1-q_i^{\ast\ast}) c_i^{\ast\ast} 
    \textup{ for all $i^{\ast\ast}\leq n-1$},\allowbreak
     q_i^{\ast\ast} c_i^{\ast\ast} + (1-q_i^{\ast\ast})p_i^{\ast\ast} 
    \textup{ for $i^{\ast} = n$}
    \bigr\} 
    \geq (n+1)w + (n+2)v$}
\end{enumerate}
\end{corollary}

If one of the constraints \ref{item:corollary_i} or 
\ref{item:corollary_ii} is fulfilled, \dots
\end{document}