 not cause $B(u)$ to decrease, then we stop populating $A_v$. Each time we add a vertex $u$ to $A_v$ from $P_v$, we first remove $u$ from $A_{a(u)}$ and apply Lemma \[lem:rem\]. Also, each time we add a vertex to $A_v$, we apply Lemma \[lem:add\]. We note that this method of populating $A_v$ is consistent with the Main Invariant.

We add at most $s b=O(\alpha \log n)$ vertices to $A_v$ and for each one we could apply Lemmas \[lem:rem\] and \[lem:add\] in succession. Thus, the total time is $O(\alpha D \log^2 n)$.

Satisfying the rest of the invariants
-------------------------------------

Recall the 4 phases of the algorithm from Section \[sec:setup\]. We update the data structure in phases 2 and 4.

### Phase 2 of the algorithm

In phase 2 we need to update the data structure to reflect the changes to $\cal M$ that occur in phase 1. We note that updating $\cal M$ could cause immediate violations to only the Resolved Invariant, the Empty Active Set Invariant, and the Main Invariant. That is, in the process of satisfying these invariants, we will violate other invariants but the above three invariants are the only ones directly violated by changes to $\cal{M}$. We prove one lemma for each of these three invariants (the lemma for the Main Invariant was already proven as Lemma \[lem:mtime\]). As a technicality, in phase 2 of the algorithm we update the data structure ignoring the newly added edge and instead wait until the data structure update in phase 4 of the algorithm to insert and orient this edge. This means that during the data structure update in phase 2 of the algorithm, $\cal M$ may not be maximal with respect to the graph that we consider.

The time bounds in the following Lemmas (and Lemma \[lem:mtime\]) are stated with respect to a single change to $\cal{M}$. By Corollary 10, the amortized number of changes to $\cal M$ is $O(1)$ per update, so the time spent per change to $\cal M$ is the same as the amortized time per update.

\[lem:restime\] The time
not cause $ B(u)$ to decrease, then we stop populating $ A_v$. Each time we lend a vertex $ u$ to $ A_v$ from $ P_v$, we foremost remove $ u$ from $ A_{a(u)}$ and apply Lemma   \[lem: rem\ ]. besides, each time we total a vertex to $ A_v$, we apply Lemma   \[lem: add\ ]. We note that this method acting of populate $ A_v$ is consistent with the Main Invariant. 

 We lend at most $ s bel = O(\alpha \log n)$ vertices to $ A_v$ and for each one we could apply Lemmas   \[lem: rem\ ] and \[lem: add\ ] in succession. therefore, the total time is $ O(\alpha D \log^2 n)$. 

 Satisfying the rest of the invariants 
 ------------------------------------- 

 Recall the 4 phase of the algorithm from Section   \[sec: setup\ ]. We update the data structure in phases 2 and 4. 

 # # # Phase 2 of the algorithm 

 In phase 2 we want to update the data structure to reflect the changes to $ \cal M$ that happen in phase 1. We note that update $ \cal M$ could cause immediate violations to entirely the Resolved Invariant, the Empty Active Set Invariant, and the Main Invariant. That is, in the process of satisfying these invariants, we will violate other invariant but the above three invariant are the alone ones directly violated by changes to $ \cal{M}$. We prove one lemma for each of these three invariants (the lemma for the Main Invariant was already proven as Lemma   \[lem: mtime\ ]). As a technicality, in phase 2 of the algorithm we update the data social organization ignore the newly added boundary and alternatively expect until the data structure update in phase 4 of the algorithm to insert and orient this edge. This means that during the data structure update in phase 2 of the algorithm, $ \cal M$ may not be maximal with respect to the graph that we view. 

 The time bounds in the following Lemmas (and Lemma   \[lem: mtime\ ]) are stated with obedience to a single change to $ \cal{M}$. By Corollary 10, the amortized number of changes to $ \cal M$ is $ O(1)$ per update, so the time spent per variety to $ \cal M$ is the like as the amortized meter per update. 

 \[lem: restime\ ] The time
 noh cause $B(u)$ to decrease, tmen we stop populating $E_v$. Each time we add a vertex $u$ to $A_v$ from $P_t$, we firsu remove $u$ from $A_{a(u)}$ and applj Lemma \[len:rem\]. Qlso, each vjme we add a bcrtex vo $A_v$, we apply Kemma \[lem:adg\]. We note that tfid method of populating $A_v$ is consiseent wiyh the Main Invatiant.

Eq ads at most $s b=O(\alpha \log n)$ vertices to $A_v$ end for each onr we could apply Lemmas \[lem:gem\] wnd \[lem:add\] in succfssion. Thus, the rotal time ir $O(\alpha D \log^2 n)$.

Satisfiing the rest of the invariants
-------------------------------------

Rdcall the 4 phasgs ov the algorivhm frjm Section \[seg:xetup\]. Fe updaye the data stvuctuce ib phases 2 and 4.

### Phase 2 of the algorithm

Ig phase 2 fe need to update tye data strgctufw tu rtflxct the cjanjes to $\cal J$ that occue in phase 1. We note trqt updating $\czl M$ cjujd cause immediate violations to only tve Desolved Invariant, the Wmpty Active Set Invatiant, and ehe Main Invariant. That is, in the process of sativfyinj ghewe kbvwriants, we will violate other invariants but ege anove three invarlants are the only ojex directly viouated yg dhanges to $\cal{M}$. We prove jne lwmma for tach pf these three invariants (tye lemma for rhe Main Invariant was alreadv provgn as Kemma \[lem:mtime\]). As a techuicalify, in phase 2 of the zugorithm we updage nhe gata structure ignoring thq newly avded zdge and insjead wayt until tje dabd structure update in pkase 4 of the alhorithm to insert and orient thmx edge. This kedns that duxing tme data structuwe update in pkase 2 of the xlgorithm, $\bal M$ may not be maxymal with res[gct to the greph that re cinsieer.

The gkme bounds in yhe follocnng Lemmaw (and Lemma \[lem:mtimc\]) are atated with res'tct to a single chsngd tj $\bal{K}$. Ff Corollary 10, the amuttizea number of zhanbes to $\cal M$ is $O(1)$ pes upsate, so the time slekt per chqnge to $\sal M$ is the xame as the amortieed tike 'er upcatg.

\[lem:restime\] The time
not cause $B(u)$ to decrease, then we $A_v$. time we a vertex $u$ first $u$ from $A_{a(u)}$ apply Lemma \[lem:rem\]. each time we add a vertex $A_v$, we apply Lemma \[lem:add\]. We note that this method of populating $A_v$ consistent with the Main Invariant. We add at most $s b=O(\alpha \log n)$ to and each we could apply Lemmas \[lem:rem\] and \[lem:add\] in succession. Thus, the total time is $O(\alpha D n)$. Satisfying the rest of the invariants ------------------------------------- the 4 phases of algorithm from Section \[sec:setup\]. We the structure in 2 4. Phase 2 of algorithm In phase 2 we need to update the data structure to reflect the changes to $\cal that occur 1. We that $\cal could cause immediate only the Resolved Invariant, the Empty and the Main Invariant. That is, in the of satisfying invariants, we will violate other invariants the above three invariants are the only ones violated by changes to $\cal{M}$. We prove one lemma for each of these three invariants for the Main Invariant already proven as \[lem:mtime\]). a in 2 of algorithm we update the data structure ignoring the newly added edge instead wait until the data structure update in phase 4 algorithm insert and orient edge. This means that the structure update in phase the $\cal be with to the graph that consider. The time bounds in following Lemmas (and Lemma to a single change to $\cal{M}$. By Corollary the amortized number of changes to $\cal is $O(1)$ per update, so the time spent per change to $\cal is the the amortized time per update. \[lem:restime\] The time
 not cause $B(u)$ to decrease, then wE stop populAting $a_v$. EAch TiMe we Add a Vertex $u$ to $A_v$ froM $p_v$, we First remove $u$ from $A_{a(u)}$ and Apply leMMa \[leM:ReM\]. Also, Each timE We ADD a vErTeX to $a_v$, WE aPply LEmmA \[lem:add\]. we note that ThiS mEthod of populATiNg $A_v$ is consIstEnt with the MaIn INvariaNt.

we aDD at moSt $s B=O(\alpHa \log n)$ VErticeS to $A_v$ and fOr EAch one WE could aPPLy lemmAs \[lem:rem\] and \[lem:add\] IN sUCcession. Thus, thE total TiME iS $o(\AlpHa D \Log^2 n)$.

SatisfYiNg the REst of thE InVARIanTS
-------------------------------------

Recall the 4 phaSes of the algORitHm from seCtiON \[sec:seTup\]. We UpDAte The data struCturE in phases 2 And 4.

### PhaSE 2 of the aLGorithm

in phasE 2 we NeeD to uPDaTe The DaTA stRUcTurE To rEflect thE cHaNges tO $\cal m$ THAT occUr iN phaSe 1. We nOte that updatiNg $\cAl M$ cOUld Cause ImmedIate ViOlatiOns to oNly thE REsolved InvarianT, the empty ActiVe SEt invArIant, aND the MaIn INvaRiant. ThAt is, in tHE prOcESS Of Satisfying these invArIANtS, we will vIolate OThEr INvariantS bUt tHe abOVE threE invARiAnts are tHe only ONeS dIrectly ViOlated By ChaNgeS to $\caL{m}$. We pRove onE lemma foR each OF these three invARiants (the lemmA FoR THe mAin INvaRiant was alrEady PRoveN as LEMmA \[leM:Mtime\]). as a teChNIcALity, in phase 2 of the algOrIthm we UpdatE the data strucTure ignoriNG THe newly aDded EDgE And instead wait Until The data strUCture updAte in Phase 4 of tHe algoritHM To insert And OriEnt ThiS EDgE. This means thaT DUrinG tHe data sTruCture upDatE in PhaSe 2 oF tHe algoritHm, $\cal M$ maY nOt Be MaXimAl witH Respect tO tHe gRaPh tHat we COnsideR.

The tIme bOuNdS In tHe folloWInG lEmmaS (aNd lemmA \[leM:mTime\]) aRe stATed With resPect to a siNglE ChanGe To $\Cal{M}$. By COrollary 10, the amOrTized numbeR oF chAnges tO $\CAl M$ is $O(1)$ peR update, so the time spent peR Change tO $\caL M$ is tHe saMe as the amOrtIzed tiMe pER updatE.

\[lem:reStime\] thE tiME
 not cause $B(u)$ to decre ase, thenwe st oppop ul atin g $A _v$. Each time we a dd a vertex $u$ to $A_ v$ fr om $P_v $ ,we fi rst rem o ve $ u$fr om  $A _{ a (u )}$ a ndapply L emma \[lem :re m\ ]. Also, eac h  t ime we add  avertex to $A _v$ , we a pp lyL emma\[l em:ad d\]. W e  notethat this  m e thod o f  popula t i ng  $A_ v$ is consistentw it h  the Main Inva riant. 
W ea d d a t m ost $s b=O (\ alpha \log n) $  v e r t ice s  to $A_v$ and  for each o n e w e coul dapp l y Lemm as \[ le m :re m\] and \[l em:a dd\] in s uccess i on. Thu s , the t otal t ime  is  $O( \ al ph a D  \ l og^ 2  n )$. 
Sa tisfying  t he  rest  oft h e inva ria nts----- ------------- --- ---- - --- ----- ---
Reca ll  the4 phas es of  t he algorithm fr om S ection \[ sec :s etu p\ ]. We update  th e d ata str ucturei n p ha s e s  2  and 4.

### Phase  2 o fthe algo rithmIn  p h ase 2 we  n eed  tou p datethed at a struct ure to re fl ect the  c hanges  t o $ \ca l M$t hatoccurin phase  1. W e  note that upd a ting $\cal M$ co u l dc ause  im mediate vio lati o ns t o on l ythe Resol ved I nv a ri a nt, the Empty Activ eSet In varia nt, and the M ain Invari a n t . That i s, i n  t h e process of s atisf ying these invarian ts, w e will v iolate ot h e r invari ant s b utthe a bo ve three inva r i ants  a re theonl y onesdir ect lyvio la ted by ch anges to  $ \c al {M }$.  We p r ove onele mma  f oreacho f thes e thr ee i nv ar i ant s (thel em m a  for  t he  Mai n I nv arian t wa s  al ready p roven asLem m a \[ le m: mtime\] ). As a techn ic ality, inph ase  2 oft h e algori thm we update the datas tructur e i gnori ng t he newlyadd ed edg e a n d inst ead wa it un ti l t h e  data s tr uct ur e update i n pha se 4of  the  algori thm to insert ando rie nt this edge.  Th is m e a ns  th a td uri ng the d ata structure u pdate in p ha s e2 of the a l gor it hm, $\c al M$ m ay no t  be max imal with  respectto  the g rap h that weconsider .

The ti m e bou n ds  in t hefollow in g L emmas  (andL emm a \[l em:mti me \]) ar e sta te d with r espect to a single chan ge to$\cal {M} $. By Cor oll a ry10, the a mort ized numbe r o f c hange s t o  $\ca l M$ is  $O ( 1)$ p er u p date, sot he  ti m e  s pent per ch a n g e t o $\c alM $ is t he s ame as the amorti z ed time per up date . 
\[ lem : rest im e\] The time
 not_cause $B(u)$_to decrease, then we_stop populating_$A_v$._Each time_we_add a vertex_$u$ to $A_v$_from $P_v$, we first_remove $u$ from_$A_{a(u)}$_and apply Lemma \[lem:rem\]. Also, each time we add a vertex to $A_v$, we apply_Lemma \[lem:add\]._We note_that_this_method of populating $A_v$ is_consistent with the Main Invariant.

We_add at_most $s b=O(\alpha \log n)$ vertices to $A_v$_and_for each one_we could apply Lemmas \[lem:rem\] and \[lem:add\] in succession. Thus,_the total time is $O(\alpha D_\log^2 n)$.

Satisfying the_rest_of_the invariants
-------------------------------------

Recall the 4_phases of the algorithm from Section \[sec:setup\]._We update the data structure in_phases 2 and 4.

### Phase 2 of_the algorithm

In phase 2 we need_to update the data structure_to reflect_the changes to $\cal M$_that occur in_phase 1._We note that_updating $\cal M$ could cause immediate_violations to only_the Resolved Invariant, the Empty Active_Set_Invariant, and the_Main_Invariant._That is,_in the process_of_satisfying these_invariants,_we will violate other invariants but_the_above three invariants are the only ones_directly violated by changes_to_$\cal{M}$. We prove one_lemma for each of these_three invariants (the lemma for the_Main Invariant_was already_proven as Lemma \[lem:mtime\]). As a technicality, in phase 2 of the_algorithm we update the data structure_ignoring the newly added_edge and_instead_wait until the_data_structure update_in phase 4 of the algorithm to_insert and_orient this edge. This means that_during the data structure_update_in phase 2 of the algorithm,_$\cal M$ may not be maximal_with respect to the graph_that_we_consider.

The time bounds in the_following Lemmas (and Lemma \[lem:mtime\]) are stated_with respect to_a single change to $\cal{M}$. By Corollary_10,_the amortized number of changes to_$\cal_M$ is $O(1)$ per update, so_the_time_spent per change to $\cal_M$ is the same as the_amortized time per update.

\[lem:restime\] The time