对齐环境中的重叠线

Question

为了具体问题你已经这样做了，如果你只是让“第二行”的条件突出到左边。这意味着现在是的最佳时机\mathllap。（您需要加载mathtools包。）

您可以将量词放在底线中\mathllap

\mathllap{\forall  p,q\in \S{P},(i,j) \in E : p \ni (i,j),q \ni i,p \neq q}

这样在计算宽度时，其长度将被忽略。结合以下事实

您正在右对齐单元格中设置此项
你说左边重叠是可以的

表达式的右端点与对齐点对齐，并根据需要向左移动。

我还擅自删除了一些多余的调用\displaystyle。

\documentclass{amsart}
\usepackage{mathtools}
\usepackage[utf8]{inputenc}

\begin{document}
\begin{align}
    \text{minimise} \quad & \sum_{p \in \S{P}}\left(\sum_{(i,j) \in E \cap p} c_{ij}\right)z_{p},\\
    \text{subject to} \quad & \sum_{p \in \S{P}}\left(|V\cap p| - |E\cap p|\right)z_{p} = 1,\nonumber\\
        & \sum_{p \in \S{P}}\left(|(S\setminus\{l\}) \cap p| - |E(S)\cap p|\right)z_{p} \geq 0 & \forall\ l \in S \subseteq V,\nonumber\\
        & z_p \leq z_q  & \mathllap{\forall  p,q\in \S{P},(i,j) \in E : p \ni (i,j),q \ni i,p \neq q}\nonumber.
\end{align}    
\end{document}

请注意，由于您没有提供完整的最小工作示例，我只使用了默认amsart类，而没有费心将方程编号放在右侧。此外，\S现在显示的不是您定义的任何内容，而是\S部分符号（其原始含义）。

现在，在这种情况下，间距很好，但可能存在类似的情况，即表达式和量词之间保留的空白可能太多或太少；在这些情况下，您可能需要查看环境alignat以进行更多微调。（例如，如果不是z_p \leq z_q在底线的第一个单元格中，而是有更长的内容，则上述代码将导致一些重叠。）

实际上，看到您已经使用了一些手动间距，并且我更喜欢文本本身左对齐而不是右对齐，这里有一个alignat示例，它仍然使用这个\mathllap技巧。

\begin{alignat}{3}
    &\text{minimise} & \quad & \sum_{p \in \S{P}}\left(\sum_{(i,j) \in E \cap p} c_{ij}\right)z_{p},\\
    &\text{subject to} & & \sum_{p \in \S{P}}\left(|V\cap p| - |E\cap p|\right)z_{p} = 1,\nonumber\\
        && & \sum_{p \in \S{P}}\left(|(S\setminus\{l\}) \cap p| - |E(S)\cap p|\right)z_{p} \geq 0 & \qquad \forall\ l \in S \subseteq V,\nonumber\\
        && & z_p \leq z_q  & \mathllap{\forall  p,q\in \S{P},(i,j) \in E : p \ni (i,j),q \ni i,p \neq q}\nonumber.
\end{alignat}

结果：

请注意，“最小化”和“受制于”现在是左对齐，而不是像以前那样右对齐，并且第 3 行和第 4 行的表达式和量词之间的间距稍微紧凑一些。

Answer 1