{m-1}{2} + \frac{1}{m}\right) \\
& = (km) \frac{m-1}{2} + \left(n - (k+1)m\right) \frac{m-1}{2} + k + \left(n - (k+1)m\right) \frac{1}{m} \\
& = \frac{n-m}{m} \left(\binom{m}{2} + 1\right).\end{aligned}$$

This completes the proof.

Family of size 3 for generalized saturation ratio
=================================================

Inspired by the construction for Theorem \[pro\], we extend the construction to prove Theorem \[construction\]. One of the key challenges is to find an appropriate extension of Theorem \[EHM\]. Fortunately, our Theorem \[ssat\] rescues us. We start by stating the families of graphs that we will use for the construction, which are not quite the straightforward generalizations of the families used in Theorem \[pro\]. For notational brevity, let $r \ge 2$ be a fixed integer for the remainder of this section.

For every positive integer $m \ge 2r^2 + 2r$, let $\F_m$ be the family of the following three graphs.

-   Let $B_{m,m}$ be the same “dumb-bell" graph from Definition \[def\].

-   Let $V_{m,r}$ be the union of a copy of $K_m$ and a copy of $K_{m-r+1}$ overlapping in exactly one common vertex.

-   Let $\Lambda_{m,r}$ be a copy of $K_m$ plus a single vertex with exactly $r$ edges incident to the $K_m$.

Note that for $r = 2$, we have $\Lambda_{m,2} = \Lambda_m$. However, $V_{m,r}$ is not quite a generalization of $V_m$, and in fact $V_m$ is a subgraph of $V_{m,2}$. We considered $V_m$ instead of $V_{m,2}$ in the case of $r = 2$ to make the analysis simpler and more elegant. So, the above construction actually gives different families of three graphs with non-converging saturation ratio for $r = 2$.

We
{ m-1}{2 } + \frac{1}{m}\right) \\ 
 & = (km) \frac{m-1}{2 } + \left(n - (k+1)m\right) \frac{m-1}{2 } + k + \left(n - (k+1)m\right) \frac{1}{m } \\ 
 & = \frac{n - m}{m } \left(\binom{m}{2 } + 1\right).\end{aligned}$$ 

 This completes the proof. 

 Family of size 3 for generalized saturation proportion 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 prompt by the construction for Theorem \[pro\ ], we extend the structure to prove Theorem \[construction\ ]. One of the cardinal challenges is to find an appropriate annex of Theorem \[EHM\ ]. Fortunately, our Theorem \[ssat\ ] rescue us. We start by state the families of graphs that we will practice for the construction, which are not quite the straightforward generalizations of the families use in Theorem \[pro\ ]. For notational brevity, let $ r \ge 2 $ be a specify integer for the remainder of this section. 

 For every convinced integer $ m \ge 2r^2 + 2r$, let $ \F_m$ be the family of the following three graphs. 

 -    lease $ B_{m, m}$ be the same “ dumb - bell " graph from Definition \[def\ ]. 

 -    permit $ V_{m, r}$ be the union of a copy of $ K_m$ and a copy of $ K_{m - r+1}$ overlapping in exactly one coarse vertex. 

 -    Let $ \Lambda_{m, r}$ be a copy of $ K_m$ plus a single vertex with exactly $ r$ edges incident to the $ K_m$. 

 Note that for $ r = 2 $, we have $ \Lambda_{m,2 } = \Lambda_m$. However, $ V_{m, r}$ is not quite a generalization of $ V_m$, and in fact $ V_m$ is a subgraph of $ V_{m,2}$. We considered $ V_m$ instead of $ V_{m,2}$ in the case of $ r = 2 $ to make the analysis simpler and more elegant. So, the above structure actually give different family of three graph with non - converging impregnation ratio for $ r = 2$. 

 We
{m-1}{2} + \vrac{1}{m}\right) \\
& = (km) \frac{m-1}{2} + \ltft(n - (k+1)m\right) \frae{n-1}{2} + k + \neft(n - (k+1)m\right) \frac{1}{m} \\
& = \frac{n-m}{m} \left(\binom{m}{2} + 1\rught).\ebd{aligned}$$

This completer the prolf.

Family of wuze 3 for gxheralizcb sathvatiou catio
=================================================

Inspired bi the constrgction for Themrdm \[pro\], we extend the construction to [rove Tnelrem \[constructyon\]. Pge or the key challenges is to find an appropgiate extension og Theorem \[EHM\]. Fortunately, lur Hheorem \[ssat\] rescufs us. We stqrt ft stating thd families of graphs tgat we will use for the construztion, which are nit eoite the streightfjrward generalizatiots of tne families uscd in Thworem \[pro\]. For notatioial brevity, let $r \ge 2$ be a fifeb integer for the remqibder mf tvis rwctkon.

Roc ebery plsivive integed $m \ge 2r^2 + 2r$, let $\F_m$ be the famiky if the followjng thweq graphs.

-   Let $B_{m,m}$ be the same “dumb-bell" grzph from Definition \[def\].

-   Let $V_{m,r}$ be the uniln of a cjpy of $K_m$ and a copy of $K_{m-r+1}$ overlapping in exactlf one zomnok vefred.

-   Let $\Lambda_{m,r}$ be a copy of $K_m$ plus a singlq vtrtvx with exactly $r$ edges incicejt jo the $K_m$.

Note jhat fox $r = 2$, we have $\Lambda_{m,2} = \Lambdw_m$. Hoqever, $V_{m,r}$ is mot quite a generalization if $V_m$, and in dact $V_m$ is a subgrcph of $V_{m,2}$. We conxiderrd $V_m$ instead of $V_{m,2}$ in che caae of $r = 2$ tl make ths analysis simplef akd kore elegant. So, the above sonstructmon aetually eivex diffqrent famipies of three graphs witj non-eonvesging satugation ratio for $r = 2$.

We
{m-1}{2} + \frac{1}{m}\right) \\ & = (km) \left(n (k+1)m\right) \frac{m-1}{2} k + \left(n = \left(\binom{m}{2} + 1\right).\end{aligned}$$ completes the proof. of size 3 for generalized saturation ================================================= Inspired by the construction for Theorem \[pro\], we extend the construction to Theorem \[construction\]. One of the key challenges is to find an appropriate extension Theorem Fortunately, Theorem rescues us. We start by stating the families of graphs that we will use for the which are not quite the straightforward generalizations of families used in Theorem For notational brevity, let $r 2$ a fixed for remainder this section. For positive integer $m \ge 2r^2 + 2r$, let $\F_m$ be the family of the following three graphs. Let $B_{m,m}$ same “dumb-bell" from \[def\]. Let $V_{m,r}$ be of a copy of $K_m$ and $K_{m-r+1}$ overlapping in exactly one common vertex. - $\Lambda_{m,r}$ be copy of $K_m$ plus a single with exactly $r$ edges incident to the $K_m$. that for $r = 2$, we have $\Lambda_{m,2} = \Lambda_m$. However, $V_{m,r}$ is not quite of $V_m$, and in $V_m$ is a of We $V_m$ of $V_{m,2}$ the case of $r = 2$ to make the analysis simpler more elegant. So, the above construction actually gives different families graphs non-converging saturation ratio $r = 2$. We
{m-1}{2} + \frac{1}{m}\right) \\
& = (km) \frac{m-1}{2} + \left(n - (k+1)m\Right) \frac{m-1}{2} + K + \left(N - (k+1)m\RigHt) \Frac{1}{M} \\
& = \fraC{n-m}{m} \left(\binom{m}{2} + 1\RIght).\End{aligned}$$

This completeS the pRoOF.

FamILy Of sizE 3 for genERaLIZed SaTuRatIoN RaTio
=================================================

InSpiRed by thE constructIon FoR Theorem \[pro\], wE ExTend the conStrUction to provE ThEorem \[cOnStrUCtion\]. one Of the Key chaLLenges Is to find aN aPPropriATe extenSIOn Of ThEorem \[EHM\]. FortunateLY, oUR Theorem \[ssat\] reScues uS. WE StART by StaTing the famIlIes of GRaphs thAT wE WILl uSE for the constrUction, which ARe nOt quitE tHe sTRaightForwaRd GEneRalizations Of thE families Used in tHeorem \[pRO\]. For notAtionaL brEviTy, leT $R \gE 2$ bE a fIxED inTEgEr fOR thE remaindEr Of This sEctiON.

fOR eveRy pOsitIve inTeger $m \ge 2r^2 + 2r$, let $\f_m$ bE the FAmiLy of tHe folLowiNg Three Graphs.

-   let $B_{m,M}$ bE the same “dumb-belL" graPh from DefIniTiOn \[dEf\].

-   let $V_{m,R}$ Be the uNioN of A copy of $k_m$ and a cOPy oF $K_{M-R+1}$ OVeRlapping in exactly oNe COMmOn vertex.

-   let $\LamBDa_{M,r}$ BE a copy of $k_m$ PluS a siNGLe verTex wITh Exactly $r$ Edges iNCiDeNt to the $k_m$.

note thAt For $R = 2$, we Have $\LAMbda_{M,2} = \LambdA_m$. HoweveR, $V_{m,r}$ iS Not quite a generALization of $V_m$, aND iN FAcT $v_m$ is A suBgraph of $V_{m,2}$. WE conSIderEd $V_m$ INsTeaD Of $V_{m,2}$ iN the cAsE Of $R = 2$ To make the analysis siMpLer and More eLegant. So, the abOve construCTIOn actualLy giVEs DIfferent familiEs of tHree graphs WIth non-coNvergIng saturAtion ratiO FOr $r = 2$.

We
{m-1}{2} + \frac{1}{m}\rig ht) \\
& =  (km)  \f rac {m -1}{ 2} +  \left(n - (k+ 1 )m\r ight) \frac{m-1}{2} +k + \ le f t(n-  ( k+1)m \right) \f r a c{1 }{ m}  \\ 
& =\frac {n- m}{m} \ left(\bino m{m }{ 2} + 1\right ) .\ end{aligne d}$ $

This comp let es the  p roo f .

Fa mil y ofsize 3 for ge neralized  s a turati o n ratio = == ==== ================= = == = ============== ====== =In s p ire d b y the cons tr uctio n  for Th e or e m \[p r o\], we exten d the const r uct ion to  p rov e  Theor em \[ co n str uction\]. O ne o f the key  chall e nges is to find  an ap pro pri atee xt en sio no f T h eo rem \[E HM\]. Fo rt un ately , ou r T h eore m \ [ssa t\] r escues us. We  st artb y s tatin g the  fam il ies o f grap hs th at  we will use fo r th e constru cti on , w hi ch ar e  not q uit e t he stra ightfor w ard  g e n e ra lizations of the f am i l ie s used i n Theo r em  \ [ pro\]. F or  no tati o n al br evit y ,let $r \ ge 2$b eafixed i nt eger f or  th e r emain d er o f this  section .

Fo r  every positiv e  integer $m \ g e2 r ^2 + 2r $,let $\F_m$be t h e fa mily of  th e  foll owing  t h re e  graphs.

-   Let $ B_ {m,m}$  be t he same “dumb -bell" gra p h from Def init i on \[def\].

-  Let $ V_{m,r}$ b e  the uni on of  a copyof $K_m$a n d a copy  of  $K _{m -r+ 1 } $overlapping i n exac tl y one c omm on vert ex. 

-   Let  $ \Lambda_{ m,r}$ be  a  c op yof$K_m$ plus a s in gle  v ert ex wi t h exac tly $ r$ e dg es inc ident t o  t h e  $K_ m$ .
Not e t ha t for  $r=  2$ , we ha ve $\Lamb da_ { m,2}  =  \ Lambda_ m$. However,$V _{m,r}$ is  n otquitea generali zation of $V_m$, and in fact $V _m$  is a  sub graph of$V_ {m,2}$ . W e  consi dered$V_m$  i nst e a d of$ V _{ m,2 }$  in the ca s e  of  $r =  2 $ to  make t he analysis simple r  an d more elegan t.So,t h eabo v ec ons tr u cti o n  actually gives  different  f a mi lies of th r eegr aphs wi th non- conve r ging sa turationratio for  $ r =2 $ .
We
{m-1}{2} +_\frac{1}{m}\right) \\
&_= (km) \frac{m-1}{2} +_\left(n -_(k+1)m\right)_\frac{m-1}{2} +_k_+ \left(n -_(k+1)m\right) \frac{1}{m} \\
&_= \frac{n-m}{m} \left(\binom{m}{2} +_1\right).\end{aligned}$$

This completes the_proof.

Family_of size 3 for generalized saturation ratio
=================================================

Inspired by the construction for Theorem \[pro\], we_extend_the construction_to_prove_Theorem \[construction\]. One of the_key challenges is to find_an appropriate_extension of Theorem \[EHM\]. Fortunately, our Theorem \[ssat\]_rescues_us. We start_by stating the families of graphs that we will_use for the construction, which are_not quite the_straightforward_generalizations_of the families used_in Theorem \[pro\]. For notational brevity,_let $r \ge 2$ be a_fixed integer for the remainder of this_section.

For every positive integer $m \ge_2r^2 + 2r$, let $\F_m$_be the_family of the following three_graphs.

-  _Let $B_{m,m}$_be the same_“dumb-bell" graph from Definition \[def\].

- _ Let $V_{m,r}$_be the union of a copy_of_$K_m$ and a_copy_of_$K_{m-r+1}$ overlapping_in exactly one_common_vertex.

- __Let $\Lambda_{m,r}$ be a copy of_$K_m$_plus a single vertex with exactly $r$_edges incident to the_$K_m$.

Note_that for $r =_2$, we have $\Lambda_{m,2} =_\Lambda_m$. However, $V_{m,r}$ is not quite_a generalization_of $V_m$,_and in fact $V_m$ is a subgraph of $V_{m,2}$. We considered_$V_m$ instead of $V_{m,2}$ in the_case of $r =_2$ to_make_the analysis simpler_and_more elegant._So, the above construction actually gives different_families of_three graphs with non-converging saturation ratio_for $r = 2$.

We