{0} & \mathbf{0} & \cdots & \mathbf{0}\\
\vdots & \ddots & \vdots & \vdots & \ddots & \vdots\\*
+ & + & \boxed{\mathcal{M}_{r}} & \mathbf{0} & \cdots & \mathbf{0}\\
\hline + & \cdots & + & \boxed{\mathcal{L}_{r+1}} & \mathbf{0} & \mathbf{0}\\
\vdots & \ddots & \vdots & \vdots & \ddots & \vdots\\*
+ & \cdots & + & \mathbf{0} & \mathbf{0} & \boxed{\mathcal{L}_{r+k}}
\end{array}\right)=\left(\begin{array}{c|c}
N & \mathbf{0}\\
\hline B & T
\end{array}\right)\label{eq:General case Decomposition}$$

where *$r=p+q-k$*, each $\mathcal{M}_{i}=\mathcal{L}_{i}-D_{i}=\mathcal{L}(C_{i})-\Delta_{i}-D_{i}$ is a *perturbed* Laplacian matrix of some SCC $C_{i}$ ** and each $\mathcal{L}_{i}$ corresponds to the Laplacian matrix of some tSCC ** in graph $G^{\star}$*.* This relabeling is always possible because the labeling procedure described in Section \[sec:Preliminary-results\] does not provide any restriction on individual labeling of vertices located in the set of tSCCs.

Next we present a theorem, which provides the necessary and sufficient conditions in order for an ES to exist. For that we partition the synthesis vector $\mathbf{s}$ such that it matches up with the partition of the matrix $F$,

$$F=\left(\begin{array}{c|c}
N & \mathbf{0}\\
\hline B & T
\end{array}\right),\qquad\mathbf{s}=\left(\begin{array}{c}
\mathbf{s}'\\
\hline \mathbf{s}''
\end{array}\right)\,.$$

\[thm:BNS\]When $G^{\star}$ is not strongly connected, the necessary and sufficient conditions for existence of an ES solution are

1.  $\mathbf{s}''
{ 0 } & \mathbf{0 } & \cdots & \mathbf{0}\\ 
 \vdots & \ddots & \vdots & \vdots & \ddots & \vdots\\ * 
 + & + & \boxed{\mathcal{M}_{r } } & \mathbf{0 } & \cdots & \mathbf{0}\\ 
 \hline + & \cdots & + & \boxed{\mathcal{L}_{r+1 } } & \mathbf{0 } & \mathbf{0}\\ 
 \vdots & \ddots & \vdots & \vdots & \ddots & \vdots\\ * 
 + & \cdots & + & \mathbf{0 } & \mathbf{0 } & \boxed{\mathcal{L}_{r+k } } 
 \end{array}\right)=\left(\begin{array}{c|c } 
 N & \mathbf{0}\\ 
 \hline B & T 
 \end{array}\right)\label{eq: General case Decomposition}$$ 

 where * $ r = p+q - k$ *, each $ \mathcal{M}_{i}=\mathcal{L}_{i}-D_{i}=\mathcal{L}(C_{i})-\Delta_{i}-D_{i}$ is a * perturbed * Laplacian matrix of some SCC $ C_{i}$ * * and each $ \mathcal{L}_{i}$ corresponds to the Laplacian matrix of some tSCC * * in graph $ G^{\star}$ *. * This relabeling is constantly potential because the labeling procedure described in Section \[sec: Preliminary - results\ ] does not leave any limitation on individual labeling of vertices located in the set of tSCCs. 

 Next we deliver a theorem, which provides the necessary and sufficient conditions in ordering for an ES to exist. For that we partition the synthesis vector $ \mathbf{s}$ such that it matches up with the division of the matrix $ F$, 

 $ $ F=\left(\begin{array}{c|c } 
 N & \mathbf{0}\\ 
 \hline B & T 
 \end{array}\right),\qquad\mathbf{s}=\left(\begin{array}{c } 
 \mathbf{s}'\\ 
 \hline \mathbf{s }" 
 \end{array}\right)\,.$$ 

 \[thm: BNS\]When $ G^{\star}$ is not strongly connected, the necessary and sufficient conditions for existence of an ES solution are 

 1.   $ \mathbf{s }"
{0} & \mwthbf{0} & \cdots & \mathbf{0}\\
\vdotr & \ddots & \vdots & \vdots & \ddota & \vdots\\*
+ & + & \boxed{\mathcal{M}_{r}} & \mathbf{0} & \rdotw & \maukbf{0}\\
\hline + & \cdots & + & \coxed{\mathbal{L}_{r+1}} & \marhbf{0} & \mathbf{0}\\
\vdova & \ddots & \vdofd & \vbovs & \ddots & \vdotx\\*
+ & \cdots & + & \mathbf{0} & \mathtf{0} & \yoxed{\mathcal{L}_{r+k}}
\end{array}\right)=\left(\begig{array}{c|v}
N & \mathbf{0}\\
\hline F & T
\tnd{wrrag}\ginht)\label{eq:General case Decomposifion}$$

whege *$r=p+q-k$*, each $\mathval{M}_{i}=\mathcal{L}_{i}-D_{i}=\mathcal{L}(C_{i})-\Feltw_{i}-D_{i}$ is a *perturbef* Laplacian matwux of some SZC $C_{i}$ ** and each $\mathcam{L}_{i}$ corresponds to the Laplaciav matxix of some tWCC ** in graph $G^{\wtar}$*.* Nhis relabelikb is anways ppssible becausc the laveling procedure desccibed in Section \[sec:Kreliminarf-rzsults\] does not proviee any testrhctiub ov ihdmvisual lwbeming of vedtices locared in the set of tXCSw.

Next we pressnt a ehqorem, which provides the necessary and vufricient conditions in oeder for an ES to exidt. For thwt we partition the synthesis vector $\mathbf{s}$ such that kt nabcher uo with the partition of the matrix $F$,

$$F=\left(\begig{zrtaj}{c|c}
N & \mathbf{0}\\
\hline B & T
\end{arrsy}\gibrt),\qquad\mathbf{r}=\left(\bzfih{array}{c}
\mathbf{s}'\\
\hlinf \mathbs{s}''
\end{qrray}\righu)\,.$$

\[thm:BMS\]When $G^{\star}$ is not stronglt connected, nhe becessary and suffncient condicions gor ecistence of an ES solutnon ars

1.  $\mathbf{s}''
{0} & \mathbf{0} & \cdots & \mathbf{0}\\ \ddots \vdots & & \ddots & \boxed{\mathcal{M}_{r}} \mathbf{0} & \cdots \mathbf{0}\\ \hline + \cdots & + & \boxed{\mathcal{L}_{r+1}} & & \mathbf{0}\\ \vdots & \ddots & \vdots & \vdots & \ddots & \vdots\\* & \cdots & + & \mathbf{0} & \mathbf{0} & \boxed{\mathcal{L}_{r+k}} \end{array}\right)=\left(\begin{array}{c|c} N & \hline & \end{array}\right)\label{eq:General Decomposition}$$ where *$r=p+q-k$*, each $\mathcal{M}_{i}=\mathcal{L}_{i}-D_{i}=\mathcal{L}(C_{i})-\Delta_{i}-D_{i}$ is a *perturbed* Laplacian matrix of some SCC $C_{i}$ ** and $\mathcal{L}_{i}$ corresponds to the Laplacian matrix of some ** in graph $G^{\star}$*.* relabeling is always possible because labeling described in \[sec:Preliminary-results\] not any restriction on labeling of vertices located in the set of tSCCs. Next we present a theorem, which provides the and sufficient order for ES exist. that we partition vector $\mathbf{s}$ such that it matches partition of the matrix $F$, $$F=\left(\begin{array}{c|c} N & \hline B T \end{array}\right),\qquad\mathbf{s}=\left(\begin{array}{c} \mathbf{s}'\\ \hline \mathbf{s}'' \end{array}\right)\,.$$ $G^{\star}$ is not strongly connected, the necessary and conditions for existence of an ES solution are 1. $\mathbf{s}''
{0} & \mathbf{0} & \cdots & \mathbf{0}\\
\vdots & \ddoTs & \vdots & \vdoTs & \ddoTs & \vDotS\\*
+ & + & \bOxed{\MathCal{M}_{r}} & \mathbf{0} & \cdoTS & \matHbf{0}\\
\hline + & \cdots & + & \boxed{\mathCal{L}_{r+1}} & \MaTHbf{0} & \mAThBf{0}\\
\vdoTs & \ddots & \VDoTS & \VdoTs & \DdOts & \VdOTs\\*
+ & \Cdots & + & \MatHbf{0} & \mathBf{0} & \boxed{\matHcaL{L}_{R+k}}
\end{array}\riGHt)=\Left(\begin{aRraY}{c|c}
N & \mathbf{0}\\
\hlIne b & T
\end{aRrAy}\rIGht)\laBel{Eq:GenEral caSE DecomPosition}$$

wHeRE *$r=p+q-k$*, eACh $\mathcAL{m}_{i}=\MathCal{L}_{i}-D_{i}=\mathcal{L}(C_{i})-\dElTA_{i}-D_{i}$ is a *perturbEd* LaplAcIAn MATriX of Some SCC $C_{i}$ ** aNd Each $\mAThcal{L}_{i}$ COrRESPonDS to the LaplaciAn matrix of sOMe tsCC ** in gRaPh $G^{\STar}$*.* ThiS relaBeLIng Is always posSiblE because tHe labeLIng procEDure desCribed In SEctIon \[sEC:PReLimInARy-rESuLts\] DOes Not proviDe AnY restRictION ON indIviDual LabelIng of vertices LocAted IN thE set oF tSCCS.

NexT wE presEnt a thEorem, WhIch provides the nEcesSary and suFfiCiEnt CoNditiONs in orDer For An ES to eXist. For THat We PARTiTion the synthesis veCtOR $\MaThbf{s}$ sucH that iT MaTcHEs up with ThE paRtitION of thE matRIx $f$,

$$F=\left(\beGin{arrAY}{c|C}
N & \Mathbf{0}\\
\hLiNe B & T
\enD{aRraY}\riGht),\qqUAd\maThbf{s}=\lEft(\begin{Array}{C}
\Mathbf{s}'\\
\hline \maTHbf{s}''
\end{array}\rIGhT)\,.$$

\[THm:bnS\]WhEn $G^{\Star}$ is not stRongLY conNectED, tHe nECessaRy and SuFFiCIent conditions for exIsTence oF an ES Solution are

1.  $\maThbf{s}''
{0} & \mathbf{0} & \cdots& \mathbf{ 0}\\\vd ots  &  \dd ots& \vdots & \vd o ts &  \ddots & \vdots\\*
+& + &  \ b oxed { \m athca l{M}_{r } }& \ma th bf {0}  & \c dots& \ mathbf{ 0}\\
\hlin e +  &  \cdots & +&  \ boxed{\mat hca l{L}_{r+1}}& \ mathbf {0 } & \math bf{ 0}\\\vdots & \ddo ts & \vdo ts & \vdo t s & \dd o t s& \v dots\\*
+ & \cdot s  & + & \mathbf{0}  & \ma th b f{ 0 }  &\bo xed{\mathc al {L}_{ r +k}}
\e n d{ a r r ay} \ right)=\left( \begin{arra y }{c |c}
N&\ma t hbf{0} \\
\h li n e B  & T
\end{a rray }\right)\ label{ e q:Gener a l caseDecomp osi tio n}$$ 
w he re*$ r =p+ q -k $*, eac h $\math ca l{ M}_{i }=\m a t h c al{L }_{ i}-D _{i}= \mathcal{L}(C _{i })-\ D elt a_{i} -D_{i }$ i sa *pe rturbe d* La pl acian matrix of  som e SCC $C_ {i} $**an d eac h  $\mat hca l{L }_{i}$corresp o nds  t o t he  Laplacian matrixof s om e tSCC * * in g r ap h$ G^{\star }$ *.*  Thi s relab elin g  i s always  possi b le  b ecauseth e labe li ngpro cedur e  des cribed  in Sect ion \ [ sec:Preliminar y -results\] do e sn o tp rovi deany restric tion on i ndiv i du all abeli ng of  v e rt i ces located in these t of t SCCs. 

Next we pre sent a the o r e m, which  pro v id e s the necessar y and  sufficien t  conditi ons i n orderfor an ES t o exist.  Fo r t hat  we p ar tition the sy n t hesi svector$\m athbf{s }$suc h t hat  i t matches  up with  t he  p ar tit ion o f  the mat ri x $ F$ ,
$$F=\ l eft(\b egin{ arra y} {c | c}N & \ma t hb f { 0}\\ 
\ hl ineB &  T 
\end {arr a y}\ right), \qquad\ma thb f {s}= \l ef t(\begi n{array}{c}
\ ma thbf{s}'\\ 
\ hli ne \ma t h bf{s}''\end{array}\right)\,.$$ 
\[thm: BNS \]Whe n $G ^{\star}$  is  not s tro n gly co nnecte d, th enec e s sarya n dsuf fi cient cond i t ion s for  e xist ence of  an ES solution ar e 

1 .  $\mathbf{s }'' 
{0} &_\mathbf{0} &_\cdots & \mathbf{0}\\
\vdots &_\ddots &_\vdots_& \vdots_&_\ddots & \vdots\\*
+_& + &_\boxed{\mathcal{M}_{r}} & \mathbf{0} &_\cdots & \mathbf{0}\\
\hline_+_& \cdots & + & \boxed{\mathcal{L}_{r+1}} & \mathbf{0} & \mathbf{0}\\
\vdots & \ddots & \vdots_&_\vdots &_\ddots_&_\vdots\\*
+ & \cdots & +_& \mathbf{0} & \mathbf{0} &_\boxed{\mathcal{L}_{r+k}}
\end{array}\right)=\left(\begin{array}{c|c}
N &_\mathbf{0}\\
\hline B & T
\end{array}\right)\label{eq:General case Decomposition}$$

where *$r=p+q-k$*, each_$\mathcal{M}_{i}=\mathcal{L}_{i}-D_{i}=\mathcal{L}(C_{i})-\Delta_{i}-D_{i}$_is a *perturbed*_Laplacian matrix of some SCC $C_{i}$ ** and each_$\mathcal{L}_{i}$ corresponds to the Laplacian matrix_of some tSCC_**_in_graph $G^{\star}$*.* This relabeling_is always possible because the labeling_procedure described in Section \[sec:Preliminary-results\] does_not provide any restriction on individual labeling_of vertices located in the set_of tSCCs.

Next we present a_theorem, which_provides the necessary and sufficient_conditions in order_for an_ES to exist._For that we partition the synthesis_vector $\mathbf{s}$ such_that it matches up with the_partition_of the matrix_$F$,

$$F=\left(\begin{array}{c|c}
N_&_\mathbf{0}\\
\hline B_& T
\end{array}\right),\qquad\mathbf{s}=\left(\begin{array}{c}
\mathbf{s}'\\
\hline \mathbf{s}''
\end{array}\right)\,.$$

\[thm:BNS\]When_$G^{\star}$_is not_strongly_connected, the necessary and sufficient conditions_for_existence of an ES solution are

1. _$\mathbf{s}''