Delta}(v,I')$ is in the $\Delta$-neighborhood of each vertex-interval pair $(v'', I')$ with $v'' \in C \cup \{v\}$, since it is both in $P$ and hence in the $\Delta$-neighborhood of each vertex in $C$ and in $N^{\Delta}(v,I')$. The maximality of $I'$ follows from the fact that the $\Delta$-cut and $\Delta$-neighborhood operations preserve maximality of intervals by definition.

Now we can prove the correctness of the algorithm.

\[thm:correctness\] Let $\mathbb{G}=(V,E,T)$ be a temporal graph. If algorithm [<span style="font-variant:small-caps;">BronKerboschDelta</span>]{}$(P, R, X)$ is run on input $(V \times \{T\}, (\emptyset, T), \emptyset)$, then it adds all maximal $\Delta$-cliques of $\mathbb{G}$, and only these, to the solution.

Let $R^*=(C^*, I^*)$ be a maximal $\Delta$-clique with $|C^*|>1$. For a recursive call of [<span style="font-variant:small-caps;">BronKerboschDelta</span>]{} on $(P, R, X)$, say that a vertex is a *candidate*, if there is an interval $I$ with $I^* \subseteq I$ such that $(v, I) \in P$. We show by induction on $|C^*| - \ell$, that for each $\ell = 0, 1, \ldots, |C^*|$ there is a recursive call of [<span style="font-variant:small-caps;">BronKerboschDelta</span>]{} on $(P, R = (C, I), X)$ with $C \subseteq C^*$ and $\ell = |C^* \setminus C|$ candidates.

Clearly, in the initial call, $C = \emptyset \subseteq C^*$ and each vertex in $C^*$ is a candidate. Now assume that there is a recursive call with $(P, R = (C, I), X)$ and $C \subseteq C^*$, and with $\ell - 1 = |C^* \setminus C|$ candidates. Consider the for-loop in that recursive call and consider the first vertex-interval pair 
Delta}(v, I')$ is in the $ \Delta$-neighborhood of each vertex - interval pair   $ (v", I')$ with   $ v" \in C \cup \{v\}$, since it is both in   $ P$ and therefore in the $ \Delta$-neighborhood of each vertex in   $ C$ and in   $ N^{\Delta}(v, I')$. The maximality of   $ I'$ take after from the fact that the $ \Delta$-cut and $ \Delta$-neighborhood operations preserve maximality of interval by definition. 

 immediately we can prove the correctness of the algorithm. 

 \[thm: correctness\ ] Let   $ \mathbb{G}=(V, E, T)$ be a worldly graph. If algorithm [ < span style="font - variant: small - caps;">BronKerboschDelta</span>]{}$(P, R, X)$ is run on input signal   $ (V \times \{T\ }, (\emptyset, T), \emptyset)$, then it adds all maximal $ \Delta$-cliques of   $ \mathbb{G}$, and only these, to the solution. 

 lease   $ R^*=(C^ *, I^*)$ be a maximal $ \Delta$-clique with   $ |C^*|>1$. For a recursive call of [ < straddle style="font - variant: small - caps;">BronKerboschDelta</span > ] { }   on $ (P, R, X)$, say that a vertex is a * candidate *, if there is an time interval $ I$ with $ I^ * \subseteq I$ such that $ (v, I) \in P$. We show by induction on $ |C^*| - \ell$, that for each $ \ell = 0, 1, \ldots, |C^*|$ there be a recursive call of [ < span style="font - variant: little - caps;">BronKerboschDelta</span > ] { }   on $ (P, R = (C, iodine), X)$ with $ C \subseteq C^*$ and $ \ell = |C^ * \setminus C|$ candidates. 

 Clearly, in the initial call, $ C = \emptyset \subseteq C^*$ and each vertex in $ C^*$ is a candidate. nowadays assume that there is a recursive call with   $ (P, R = (C, I), X)$ and   $ C \subseteq C^*$, and with $ \ell - 1 = |C^ * \setminus C|$ candidates. Consider the for - loop in that recursive call and consider the first vertex - interval pair
Delha}(v,I')$ is in the $\Delta$-neigmborhood of each vertex-mntervam pair $(v'', K')$ with $v'' \in C \cup \{v\}$, since it ms bith ib $P$ and hence in the $\Deuta$-neighblrhood od earh vertex in $C$ anv in $N^{\Delbc}(v,I')$. Tgc maxnmelity of $I'$ folloes from tha fact that tha $\Aepta$-cut and $\Delta$-neighborhood operatyons prrsfrve maximaliti of pneervzls by definition.

Now we can prove fhe corgectness of the akgorithm.

\[thm:correctness\] Let $\lathhb{G}=(V,E,T)$ be a temporwl graph. If algjeithm [<span sgyle="font-vagnant:small-caks;">BronKerboschDelta</span>]{}$(P, R, X)$ is fun ou input $(V \tinew \{T\}, (\gmptyset, T), \enptysvt)$, then it adds all mdximal $\Celta$-cliques on $\mathub{G}$, qnd only these, to the solution.

Let $R^*=(C^*, I^*)$ bg a maximan $\Belta$-clique with $|C^*|>1$. For a recutsive calu of [<spzn sfyle="fojt-veriant:small-daps;">BronKervoschDelta</span>]{} on $(P, T, V)$, say that a vsrtex ys a *candidate*, if there is an interval $I$ fitg $I^* \subseteq I$ such thar $(v, I) \in P$. We show by inductiog on $|C^*| - \ell$, that for each $\ell = 0, 1, \ldots, |C^*|$ there is a rerufsirc zqlp of [<span style="font-variant:small-caps;">BronKerbossgDtlts</span>]{} on $(P, R = (C, I), X)$ with $C \skbxgteq C^*$ and $\ell = |C^* \secjihus C|$ candidates.

Clfarly, ig the initial sall, $C = \emptyset \subseteq C^*$ and each vertex un $C^*$ is a candidatz. Now assume thaj therr is a recursive call wnth $(P, R = (C, I), X)$ and $F \subsetes C^*$, and with $\ell - 1 = |B^* \sedminus C|$ candidates. Considqr the foc-loop in thag revursivq call and conslger the first vertfx-intgrval [air 
Delta}(v,I')$ is in the $\Delta$-neighborhood of each $(v'', with $v'' C \cup \{v\}$, $P$ hence in the of each vertex $C$ and in $N^{\Delta}(v,I')$. The maximality $I'$ follows from the fact that the $\Delta$-cut and $\Delta$-neighborhood operations preserve maximality intervals by definition. Now we can prove the correctness of the algorithm. \[thm:correctness\] $\mathbb{G}=(V,E,T)$ a graph. algorithm [<span style="font-variant:small-caps;">BronKerboschDelta</span>]{}$(P, R, X)$ is run on input $(V \times \{T\}, (\emptyset, T), \emptyset)$, then adds all maximal $\Delta$-cliques of $\mathbb{G}$, and only to the solution. Let I^*)$ be a maximal $\Delta$-clique $|C^*|>1$. a recursive of style="font-variant:small-caps;">BronKerboschDelta</span>]{} $(P, R, X)$, that a vertex is a *candidate*, if there is an interval $I$ with $I^* \subseteq I$ such $(v, I) We show induction $|C^*| \ell$, that for = 0, 1, \ldots, |C^*|$ there call of [<span style="font-variant:small-caps;">BronKerboschDelta</span>]{} on $(P, R = I), X)$ $C \subseteq C^*$ and $\ell = \setminus C|$ candidates. Clearly, in the initial call, = \emptyset \subseteq C^*$ and each vertex in $C^*$ is a candidate. Now assume that a recursive call with R = (C, X)$ $C C^*$, with $\ell 1 = |C^* \setminus C|$ candidates. Consider the for-loop in that call and consider the first vertex-interval pair
Delta}(v,I')$ is in the $\Delta$-neighbOrhood of eaCh verTex-IntErVal pAir $(v'', i')$ with $v'' \in C \cup \{v\}$, sINce iT is both in $P$ and hence in thE $\DeltA$-nEIghbORhOod of Each verTEx IN $c$ anD iN $N^{\delTa}(V,i')$. THe maxImaLity of $I'$ Follows froM thE fAct that the $\DeLTa$-Cut and $\DeltA$-neIghborhood opEraTions pReSerVE maxiMalIty of IntervALs by deFinition.

NOw WE can prOVe the coRREcTnesS of the algorithm.

\[thM:CoRRectness\] Let $\matHbb{G}=(V,E,t)$ bE A tEMPorAl gRaph. If algoRiThm [<spAN style="fONt-VARIanT:Small-caps;">BronkerboschDelTA</spAn>]{}$(P, R, X)$ iS rUn oN Input $(V \Times \{t\}, (\eMPtySet, T), \emptyseT)$, theN it adds alL maximAL $\Delta$-cLIques of $\Mathbb{g}$, anD onLy thESe, To The SoLUtiON.

LEt $R^*=(c^*, i^*)$ be A maximal $\deLtA$-cliqUe wiTH $|c^*|>1$. fOr a rEcuRsivE call Of [<span style="foNt-vAriaNT:smAll-caPs;">BroNKerBoSchDeLta</spaN>]{} on $(P, R, x)$, sAy that a vertex is A *canDidate*, if tHerE iS an InTervaL $i$ with $I^* \SubSetEq I$ such That $(v, I) \iN p$. We ShOW BY iNduction on $|C^*| - \ell$, that FoR EAcH $\ell = 0, 1, \ldotS, |C^*|$ therE Is A rECursive cAlL of [<Span STYle="foNt-vaRIaNt:small-cAps;">BroNkeRbOschDelTa</Span>]{} on $(p, R = (c, I), X)$ WitH $C \subSEteq c^*$ and $\elL = |C^* \setminUs C|$ caNDidates.

Clearly, IN the initial caLL, $C = \EMPtYSet \sUbsEteq C^*$ and eacH verTEx in $c^*$ is a CAnDidATe. Now AssumE tHAt THere is a recursive calL wIth $(P, R = (C, i), X)$ and $c \subseteq C^*$, and With $\ell - 1 = |C^* \seTMINus C|$ candIdatES. CONsider the for-loOp in tHat recursiVE call and ConsiDer the fiRst vertex-INTerval paIr 
Delta}(v,I')$ is in the $\ Delta$-nei ghbor hoo d o feach  ver tex-interval p a ir $ (v'', I')$ with $v'' \ in C\c u p \{ v \} $, si nce iti sb o thin  $ P$an d  h enceinthe $\D elta$-neig hbo rh ood of eachv er tex in $C$  an d in $N^{\De lta }(v,I' )$ . T h e max ima lityof $I' $  follo ws from t he fact t h at the$ \ De lta$ -cut and $\Delta$ - ne i ghborhood oper ations  p r es e r vemax imality of  i nterv a ls by d e fi n i t ion . 

Now we canprove the c o rre ctness  o f t h e algo rithm .\[t hm:correctn ess\ ] Let $\m athbb{ G }=(V,E, T )$ be a  tempo ral  gr aph. If  a lgo ri t hm[ <s pan sty le="font -v ar iant: smal l - c a ps;" >Br onKe rbosc hDelta</span> ]{} $(P, R,X)$ i s run  onin put $ (V \ti mes \ {T \}, (\emptyset,  T),  \emptyse t)$ ,the nit ad d s allmax ima l $\Del ta$-cli q ues  o f $ \m athbb{G}$, and onl yt h es e, to th e solu t io n. 
Let $R^ *= (C^ *, I ^ * )$ be  a m a xi mal $\De lta$-c l iq ue  with $ |C ^*|>1$ .For  arecur s ivecall o f [<span  styl e ="font-variant : small-caps;"> B ro n K er b osch Del ta</span>]{ } on $(P,  R,X )$ , s a y tha t a v er t ex is a *candidate*, i fthereis an  interval $I$  with $I^* \ s ubseteqI$ s u ch that $(v, I) \ in P$ . We showb y induct ion o n $|C^*|  - \ell$, t hat foreac h $ \el l = 0 ,1, \ldots, |C ^ * |$ t he re is a  re cursive  ca llof[<s pa n style=" font-var ia nt :s ma ll- caps; " >BronKer bo sch De lta </spa n >]{} o n $(P , R=(C ,  I) , X)$ w i th $ C \s ub se teqC^* $and $ \ell = | C^* \se tminus C| $ c a ndid at es .

Clea rly, in the i ni tial call,  $ C =  \empt y s et \subs eteq C^*$ and each vert e x in $C ^*$  is a  can didate. N owassume  th a t ther e is a  recu rs ive c all w i t h$(P ,R = (C, I) , X)$  and$C  \su bseteqC^*$, and with $\e l l -  1 = |C^* \se tmi nusC | $can d id a tes .C ons i d er the for-loop  in that r ec u rs ive call a n d c on sider t he firs t ver t ex-inte rval pair  
Delta}(v,I')$ is_in the_$\Delta$-neighborhood of each vertex-interval_pair $(v'', I')$_with $v''_\in C_\cup_\{v\}$, since it_is both in $P$_and hence in the_$\Delta$-neighborhood of each_vertex_in $C$ and in $N^{\Delta}(v,I')$. The maximality of $I'$ follows from the fact that the $\Delta$-cut and_$\Delta$-neighborhood_operations preserve_maximality_of_intervals by definition.

Now we can_prove the correctness of the_algorithm.

\[thm:correctness\] Let $\mathbb{G}=(V,E,T)$_be a temporal graph. If algorithm [<span style="font-variant:small-caps;">BronKerboschDelta</span>]{}$(P,_R,_X)$ is run_on input $(V \times \{T\}, (\emptyset, T), \emptyset)$, then it_adds all maximal $\Delta$-cliques of $\mathbb{G}$, and_only these, to_the_solution.

Let $R^*=(C^*,_I^*)$ be a maximal_$\Delta$-clique with $|C^*|>1$. For a recursive call_of [<span style="font-variant:small-caps;">BronKerboschDelta</span>]{} on $(P, R, X)$,_say that a vertex is a *candidate*,_if there is an interval $I$_with $I^* \subseteq I$ such_that $(v,_I) \in P$. We show_by induction on_$|C^*| -_\ell$, that for_each $\ell = 0, 1, \ldots,_|C^*|$ there is_a recursive call of [<span style="font-variant:small-caps;">BronKerboschDelta</span>]{} on_$(P,_R = (C,_I),_X)$_with $C_\subseteq C^*$ and_$\ell_= |C^*_\setminus_C|$ candidates.

Clearly, in the initial call,_$C_= \emptyset \subseteq C^*$ and each vertex_in $C^*$ is a_candidate._Now assume that there_is a recursive call with $(P,_R = (C, I), X)$ and $C_\subseteq C^*$,_and with_$\ell - 1 = |C^* \setminus C|$ candidates. Consider the for-loop_in that recursive call and consider_the first vertex-interval pair 