实现如图效果：采用\quad无法实现多行公式的复杂对齐

也许可以试试amsmath提供的flalign，找好合适的对齐点位。

\documentclass{article}
\usepackage{amsmath}
\begin{document}
\begin{flalign}
\max\enspace &\sum_{i=1}^np_if_i(s_i)&\mathrm{(3-1)}&& \\
\mathrm{s.t.}\enspace&\sum_{j=1}^{n+1}x_{0,j}=\sum_{i=0}^{n}x_{i,n+1}=1,&\mathrm{(3-2)}&& \\
&\sum_{j=0,j\neq i}^nx_{j,i}=\sum_{j=1,j\neq i}^{n+1}x_{i,j}=y_i,&\mathrm{(3-3)}&& \\
&\sum_{i=1}^{n}s_{i}+\sum_{i=0}^{n}\sum_{j=1}^{n+1}t_{ij}x_{ij}\leq T_{\max},&\mathrm{(3-4)}&& \\
&s_{i}\leq\tau_{i}y_{i},&\mathrm{(3-5)}&& \\
&1\leq z_{i}\leq n,&\mathrm{(3-6)}&& \\
&z_{i}-z_{j}+1\leq n(1-x_{ij}),&\mathrm{(3-7)}&& \\
&x_{ij}\in\{0,1\},&\mathrm{(3-8)}&& \\
&y_{i}\in\{0,1\},&\mathrm{(3-9)}&& \\
&s_{i}\geq0,&\mathrm{(3-10)}&&
\end{flalign}
\end{document}

Editted:

BTW，如果想要求和号都对齐，还可以用mathtools宏包的\mathclap:

感兴趣的自己看看文档吧~可以实现如下效果...

\documentclass{article}
\usepackage{amsmath}
\usepackage{lipsum}
\begin{document}
  \begin{alignat}{4}
    \mathrm{max}  & \ &  & \sum_{i=1}^np_if_i(s_i)                                                      & \qquad &  \\
    \mathrm{s.t.} &   &  & \sum_{j=1}^{n+1}x_{0,j}=\sum_{i=0}^{n}x_{i,n+1}=1,                           &        &  \\
                  &   &  & \sum_{j=0,j\neq i}^nx_{j,i}=\sum_{j=1,j\neq i}^{n+1}x_{i,j}=y_i,             &        & \forall i \in N_c  \\
                  &   &  & \sum_{i=1}^{n}s_{i}+\sum_{i=0}^{n}\sum_{j=1}^{n+1}t_{ij}x_{ij}\leq T_{\max}, &        & \\
                  &   &  & s_{i}\leq\tau_{i}y_{i},                                                      &        & \forall i \in N_c  \\
                  &   &  & 1\leq z_{i}\leq n,                                                           &        & \forall i \in N_c  \\
                  &   &  & z_{i}-z_{j}+1\leq n(1-x_{ij}),                                               &        & \forall i,j \in N_c, i \neq j  \\
                  &   &  & x_{ij}\in\{0,1\},                                                            &        & \forall i,j \in N \\
                  &   &  & y_{i}\in\{0,1\},                                                             &        & \forall i \in N_c &  \\
                  &   &  & s_{i}\geq0,                                                                  &        & \forall i \in N_c
  \end{alignat}
\end{document}