 \frac n 2 = o(n^2)$. Finally, the number of internal edges is at most ${\frac 1 2}l^2 k$, hence there are $\frac {n^2} 4 - o(n^2)$ good edges.\
The number of edges between two sets is at most $l^2$, so $R$ must have at least $$\frac {n^2 - o(n^2)} {4l^2} = \frac {k^2} 4 - o(k^2)$$ edges. The corollary implies that it is close to complete bipartite. By lemma \[close-bi\], the valency of all but $o(k)$ of the vertices in $R$ is indeed $\frac k 2 \pm o(k)$. This means that every edge in $R$ corresponds to $l^2 - o(l^2)$ good edges in $G$ (as the number of edges in $R$ is also no more than $\frac {k^2} 4 + o(k^2)$).\
To see that $G$ is close to complete bipartite, let’s count how many edges need to be modified. First, delete $o(n^2)$ edges that are not “good”. Next add all possible $o(n^2)$ new edges between pairs of sets that have “good” edges between them. As $R$ is close to complete bipartite, we need to delete or add all edges between $o(k^2)$ pairs. Each such step modifies $l^2$ edges, altogether $o(l^2k^2) = o(n^2)$ modifications. Finally, divide the $o(n)$ vertices of the exceptional set evenly between the two sides of the bipartite graph, and add all the required edges, and the tally remains $o(n^2)$.

In essence, the proof shows that a graph with no dense induced subgraphs is close to complete bipartite. This claim is similar in flavor to Bruce Reed’s [*Mangoes and Blueberries*]{} theorem [@Reed99]. Namely, that if every induced subgraph $G'$ of $G$ has an independent set of size ${\frac 1 2}|G'| - O(1)$, then $G$ is close to being bipartite. The conclusion in Reed’s theorem is stronger in that only a [*linear*]{} number of edges need to be deleted to get a bipartite graph.

\frac n 2 = o(n^2)$. Finally, the number of internal edges is at about $ { \frac 1 2}l^2 k$, therefore there be $ \frac { n^2 } 4 - o(n^2)$ good edges.\ 
 The numeral of boundary between two sets is at most $ l^2 $, indeed $ R$ must give birth at least $ $ \frac { n^2 - o(n^2) } { 4l^2 } = \frac { k^2 } 4 - o(k^2)$$ edges. The corollary implies that it is close to complete bipartite. By lemma \[close - bi\ ], the valence of all but $ o(k)$ of the vertices in $ R$ is indeed $ \frac k 2 \pm o(k)$. This think of that every boundary in $ R$ corresponds to $ l^2 - o(l^2)$ good edges in $ G$ (as the numeral of edges in $ R$ is also no more than $ \frac { k^2 } 4 + o(k^2)$).\ 
 To attend that $ G$ is close to complete bipartite, let ’s reckon how many edges need to be modified. First, erase $ o(n^2)$ edges that are not “ good ”. Next add all possible $ o(n^2)$ newfangled edges between pairs of sets that have “ good ” edges between them. As $ R$ is close to complete bipartite, we need to delete or add all edges between $ o(k^2)$ pairs. Each such step modifies $ l^2 $ edges, altogether $ o(l^2k^2) = o(n^2)$ alteration. Finally, divide the $ o(n)$ vertex of the exceeding set evenly between the two sides of the bipartite graph, and add all the command edges, and the tally remains $ o(n^2)$. 

 In essence, the validation shows that a graph with no dense induced subgraphs is close to complete bipartite. This claim is similar in flavor to Bruce Reed ’s [ * Mangoes and Blueberries * ] { } theorem [ @Reed99 ]. Namely, that if every induced subgraph $ G'$ of $ G$ has an independent set of size $ { \frac 1 2}|G'| - O(1)$, then $ G$ is close to being bipartite. The stopping point in Reed ’s theorem is potent in that merely a [ * linear * ] { } number of edges necessitate to be deleted to get a bipartite graph.
 \frwc n 2 = o(n^2)$. Finally, the nuober of internal edges is at most ${\frxc 1 2}l^2 k$, hence there are $\frac {n^2} 4 - o(n^2)$ good edges.\
The number uf edges hetween rwo wwts is at most $l^2$, so $R$ muab havz et least $$\frac {n^2 - o(n^2)} {4l^2} = \frdc {k^2} 4 - o(k^2)$$ edgev. Ghz corollary implies that it is close to comllfte bipartite. Fy ltmmw \[clkse-bi\], the valency of all but $o(k)$ of the vegtices in $R$ is inceed $\frac k 2 \pm o(k)$. This mewns hhat every edge in $R$ correspobds ei $l^2 - o(l^2)$ good edges in $G$ (as the numger of edges in $R$ is also no mofe thcn $\frac {k^2} 4 + o(j^2)$).\
To vee that $G$ ms clofe to complebv bipardite, ley’s count how msny edtes need to be modifixd. First, delete $o(n^2)$ eqges that axe not “good”. Next add qlo posvibla $o(n^2)$ bew edfex getweej peirs of seta that have “good” edges between trvk. As $R$ is clkse to cjmplete bipartite, we need to delete or ddd all edges between $o(k^2)$ pqirs. Each such step mldifies $l^2$ edges, altogether $o(l^2k^2) = o(n^2)$ modifications. Finally, dhvide ghe $o(k)$ vefrifes of the exceptional set evenly between the fwp xides of the blpartite graph, and afd wll the requited edgza, znd the tally remalns $o(n^2)$.

Ig esswnce, the kroof shows that a graph with no dense inducvd sybgraphs is close co complete yipartote. Tnis claim is similar in flabor to Brucf Reed’s [*Mzvgoes and Bluebefrivs*]{} tveorem [@Rtdd99]. Namely, that if every invuced subgraoh $G'$ of $G$ ras an indfpendctt set of size ${\fraf 1 2}|G'| - O(1)$, then $G$ is close to being bipartite. The conclusion in Rged’v tveorem if strpnger in that only a [*linear*]{} number of eages need no be delxted to get w bipartite gswph.

\frac n 2 = o(n^2)$. Finally, the internal is at ${\frac 1 2}l^2 {n^2} - o(n^2)$ good The number of between two sets is at most so $R$ must have at least $$\frac {n^2 - o(n^2)} {4l^2} = \frac 4 - o(k^2)$$ edges. The corollary implies that it is close to complete By \[close-bi\], valency all but $o(k)$ of the vertices in $R$ is indeed $\frac k 2 \pm o(k)$. This that every edge in $R$ corresponds to $l^2 o(l^2)$ good edges in (as the number of edges $R$ also no than {k^2} + o(k^2)$).\ To that $G$ is close to complete bipartite, let’s count how many edges need to be modified. First, $o(n^2)$ edges not “good”. add possible new edges between sets that have “good” edges between is close to complete bipartite, we need to or add edges between $o(k^2)$ pairs. Each such modifies $l^2$ edges, altogether $o(l^2k^2) = o(n^2)$ modifications. divide the $o(n)$ vertices of the exceptional set evenly between the two sides of the and add all the edges, and the remains In the shows that graph with no dense induced subgraphs is close to complete bipartite. claim is similar in flavor to Bruce Reed’s [*Mangoes and [@Reed99]. that if every subgraph $G'$ of $G$ an set of size ${\frac - then to bipartite. conclusion in Reed’s theorem stronger in that only a number of edges need a bipartite graph.
 \frac n 2 = o(n^2)$. Finally, the number of Internal edGes is At mOst ${\FrAc 1 2}l^2 k$, HencE there are $\frac {n^2} 4 - O(N^2)$ gooD edges.\
The number of edges BetweEn TWo seTS iS at moSt $l^2$, so $R$ mUSt HAVe aT lEaSt $$\fRaC {N^2 - o(N^2)} {4l^2} = \fraC {k^2} 4 - o(K^2)$$ edges. THe corollarY imPlIes that it is cLOsE to completE biPartite. By lemMa \[cLose-bi\], ThE vaLEncy oF alL but $o(K)$ of the VErticeS in $R$ is indEeD $\Frac k 2 \pM O(k)$. This mEANs That Every edge in $R$ correSPoNDs to $l^2 - o(l^2)$ good edgEs in $G$ (aS tHE nUMBer Of eDges in $R$ is aLsO no moRE than $\frAC {k^2} 4 + O(K^2)$).\
tO seE That $G$ is close tO complete biPArtIte, let’S cOunT How manY edgeS nEEd tO be modified. firsT, delete $o(n^2)$ Edges tHAt are noT “Good”. NexT add alL poSsiBle $o(N^2)$ NeW eDgeS bETweEN pAirS Of sEts that hAvE “gOod” edGes bETWEEn thEm. AS $R$ is Close To complete bipArtIte, wE NeeD to deLete oR add AlL edgeS betweEn $o(k^2)$ pAiRs. Each such step mOdifIes $l^2$ edges, AltOgEthEr $O(l^2k^2) = o(n^2)$ MOdificAtiOns. finally, Divide tHE $o(n)$ VeRTICeS of the exceptional sEt EVEnLy betweeN the twO SiDeS Of the bipArTitE graPH, And adD all THe Required Edges, aND tHe Tally reMaIns $o(n^2)$.

IN eSseNce, The prOOf shOws thaT a graph wIth no DEnse induced subGRaphs is close tO CoMPLeTE bipArtIte. This claiM is sIMilaR in fLAvOr tO bruce reed’s [*maNGoES and Blueberries*]{} theoReM [@Reed99]. NAmely, That if every inDuced subgrAPH $g'$ of $G$ has aN indEPeNDent set of size ${\fRac 1 2}|G'| - O(1)$, Then $G$ is cloSE to being BiparTite. The cOnclusion IN reed’s theOreM is StrOngER In That only a [*lineAR*]{} NumbEr Of edges NeeD to be deLetEd tO geT a bIpArtite graPh.

 \frac n 2 = o(n^2)$. Fina lly, the n umber  of  in te rnal  edg es is at most$ {\fr ac 1 2}l^2 k$, hence t herear e  $\f r ac  {n^2 } 4 - o ( n^ 2 ) $ g oo dedg es . \The n umb er of e dges betwe entw o sets is at mo st $l^2$,so$R$ must hav e a t leas t$$\ f rac { n^2  - o( n^2)}{ 4l^2}= \frac { k^ 2 } 4 -o (k^2)$$ e dg es.The corollary imp l ie s  that it is cl ose to  c o mp l e tebip artite. By  l emma\ [close- b i\ ] , the valency of al l but $o(k) $  of  the v er tic e s in $ R$ is  i n dee d $\frac k2 \p m o(k)$.This m e ans tha t  everyedge i n $ R$corr e sp on dsto $l^ 2  -  o( l ^2) $ good e dg es  in $ G$ ( a s t he n umb er o f edg es in $R$ isals o no mor e tha n $\f rac{k ^2} 4  + o(k ^2)$) .\ 
To see that $G $ is  close to  co mp let ebipar t ite, l et’ s c ount ho w manye dge sn e e dto be modified. Fi rs t ,  d elete $o (n^2)$ ed ge s  that ar enot  “go o d ”. Ne xt a d dall poss ible $ o (n ^2 )$ newed ges be tw een  pa irs o f  set s that  have “g ood”e dges between t h em. As $R$ is cl o s et o co mpl ete biparti te,w e ne ed t o  d ele t e oradd a ll ed g es between $o(k^2)$  p airs.Eachsuch step mod ifies $l^2 $ e dges, al toge t he r  $o(l^2k^2) =o(n^2 )$ modific a tions. F inall y, divid e the $o( n ) $ vertic esofthe  ex c e pt ional set eve n l y be tw een the  tw o sides  of  th e b ipa rt ite graph , and ad dal lth e r equir e d edges,  a ndth e t allyr emains  $o(n ^2)$ .
I n  es sence,t he p roof  s ho ws t hat  a  grap h wi t h n o dense  inducedsub g raph sis  closeto complete b ip artite. Th is  cl aim is s imilar i n flavor to Bruce Reed’ s  [*Mang oes  andBlue berries*] {}theore m [ @ Reed99 ]. Nam ely,th ati f  ever y in duc ed  subgraph$ G '$of $G $hasan inde pendent set of siz e  ${ \frac 1 2}|G' | -  O(1 ) $ ,the n  $ G $ i sc los e to being bipart ite. The c on c lu sion in Re e d’s  t heoremis stro ngeri n thatonly a [* linear*]{ }numb e r  of  edges nee d to bedeleted t o  geta  b ipart ite  graph .
 \frac_n 2_= o(n^2)$. Finally, the_number of_internal_edges is_at_most ${\frac 1_2}l^2 k$, hence_there are $\frac {n^2}_4 - o(n^2)$_good_edges.\
The number of edges between two sets is at most $l^2$, so $R$ must_have_at least_$$\frac_{n^2_- o(n^2)} {4l^2} = \frac_{k^2} 4 - o(k^2)$$ edges._The corollary_implies that it is close to complete bipartite._By_lemma \[close-bi\], the_valency of all but $o(k)$ of the vertices in_$R$ is indeed $\frac k 2_\pm o(k)$. This_means_that_every edge in $R$_corresponds to $l^2 - o(l^2)$ good_edges in $G$ (as the number_of edges in $R$ is also no_more than $\frac {k^2} 4 +_o(k^2)$).\
To see that $G$ is_close to_complete bipartite, let’s count how_many edges need_to be_modified. First, delete_$o(n^2)$ edges that are not “good”._Next add all_possible $o(n^2)$ new edges between pairs_of_sets that have_“good”_edges_between them._As $R$ is_close_to complete_bipartite,_we need to delete or add_all_edges between $o(k^2)$ pairs. Each such step_modifies $l^2$ edges, altogether_$o(l^2k^2)_= o(n^2)$ modifications. Finally,_divide the $o(n)$ vertices of_the exceptional set evenly between the_two sides_of the_bipartite graph, and add all the required edges, and the tally_remains $o(n^2)$.

In essence, the proof shows_that a graph with_no dense_induced_subgraphs is close_to_complete bipartite._This claim is similar in flavor to_Bruce Reed’s_[*Mangoes and Blueberries*]{} theorem [@Reed99]. Namely,_that if every induced_subgraph_$G'$ of $G$ has an independent_set of size ${\frac 1 2}|G'|_- O(1)$, then $G$ is_close_to_being bipartite. The conclusion in_Reed’s theorem is stronger in that_only a [*linear*]{}_number of edges need to be deleted_to_get a bipartite graph.
