 $k$-cliques $t_1, t_2$ form a $2k$-clique according the value of $\delta_{\text{LCS}} (\text{CNG}(t_1), \text{CLG}(t_2))$.

When invoking the lemma, $\mathbf{X}$, $\mathbf{Y}$ are designed in such a way that we can test whether a condition is met (e.g. whether two given $k$-cliques form a $2k$-clique) by the value of $\min_{A \in \mathcal{A}_{n,m}} \delta(A)$. We will show that $\min_{A \in \mathcal{A}_{n,m}} \delta(A) =  \min_{A \in \mathcal{S}_{n,m}} \delta(A)$ for the case we are interested in. Therefore, we can infer whether the condition we are interested in is met from the value of $\delta_{\text{LCS}}(S_X, S_Y)$.

From Cliques to RNA Folding \[sec.reduction\]
=============================================

The goal of this section is to prove Theorem \[thm-2\].

Let $G = (V,E)$ be a graph, and let $n = |V|$. We write $\mathcal{C}_k$ to denote the set of $k$-cliques in $G$. We fix $\Sigma = \{0, 1\}$. As in [@ABV15], we will construct a sequence $S_G \in (\Sigma \cup \Sigma')^\ast$ such that we can decide whether $G$ has a $3k$-clique according to the value of $\text{RNA}(S_G)$.

As our framework of the construction of $S_G$ is similar to the one in [@ABV15], we will give the building blocks (for constructing $S_G$) the same names as their analogues in [@ABV15], despite that they may have different lower-level implementations.

The high-level plan is described as following:

In Section \[ss-1\] we describe two encodings $\text{CNG}(t), \text{CLG}(t)$ for a $k$-clique $t$ based on the black box described in Lemma \[lem-1\]. In Section \[ss-2\], adapting the encodings
$ k$-cliques $ t_1, t_2 $ form a $ 2k$-clique according the value of $ \delta_{\text{LCS } } (\text{CNG}(t_1), \text{CLG}(t_2))$. 

 When invoking the lemma, $ \mathbf{X}$, $ \mathbf{Y}$ are designed in such a direction that we can screen whether a condition is met (e.g. whether two yield $ k$-cliques form a $ 2k$-clique) by the value of $ \min_{A \in \mathcal{A}_{n, m } } \delta(A)$. We will show that $ \min_{A \in \mathcal{A}_{n, m } } \delta(A) =   \min_{A \in \mathcal{S}_{n, m } } \delta(A)$ for the character we are concerned in. Therefore, we can infer whether the condition we are interested in is met from the value of $ \delta_{\text{LCS}}(S_X, S_Y)$. 

 From clique to RNA Folding \[sec.reduction\ ] 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 The goal of this section is to prove Theorem   \[thm-2\ ]. 

 Let $ gravitational constant = (V, E)$ be a graph, and let $ n = |V|$. We write $ \mathcal{C}_k$ to denote the stage set of $ k$-cliques in $ G$. We fix $ \Sigma = \{0, 1\}$. As in [ @ABV15 ], we will construct a sequence $ S_G \in (\Sigma \cup \Sigma')^\ast$ such that we can decide whether $ G$ receive a $ 3k$-clique according to the value of $ \text{RNA}(S_G)$. 

 As our framework of the construction of $ S_G$ is alike to the one in [ @ABV15 ], we will give the building blocks (for constructing $ S_G$) the same name as their analogues in [ @ABV15 ], despite that they may have different lower - level implementations. 

 The high - level plan is described as following: 

 In Section   \[ss-1\ ] we describe two encodings $ \text{CNG}(t), \text{CLG}(t)$ for a $ k$-clique $ t$ based on the black box describe in Lemma   \[lem-1\ ]. In Section   \[ss-2\ ], adapting the encodings
 $k$-cpiques $t_1, t_2$ form a $2k$-cliqut according the vcoue of $\delta_{\fext{LCS}} (\gext{CNG}(t_1), \text{CLG}(t_2))$.

When invokiig tye lenma, $\mathbf{X}$, $\mathbf{Y}$ ard designef in sucy a xay that we can vsst whebker a gondiciin is met (e.g. wmether two civen $k$-cliques furl a $2k$-clique) by the value of $\min_{A \in \mathcak{A}_{j,m}} \delta(A)$. We wyll xrow fhat $\min_{A \in \mathcal{A}_{n,m}} \delta(A) =  \mjn_{A \in \kathcal{S}_{n,m}} \dekta(A)$ for the case we are ijterfsted in. Therefore, we can infgd wrwther the covdition we are interesjed in is met from the value of $\aelta_{\cext{LCS}}(S_X, S_I)$.

Yeom Wliques to CNA Fojding \[sec.redmbtion\]
=============================================

Tha goal pf this sectiok is vo peove Theorem \[thm-2\].

Let $G = (V,E)$ be a graph, and let $n = |V|$. Wz write $\mathcal{C}_k$ to eebote jhe sat ow $k$-cuiqhex jn $G$. Wf fmx $\Sigma = \{0, 1\}$. As in [@ABV15], qe will construct a sqwuence $S_G \in (\Aigma \su[ \Sigma')^\ast$ such that we can decide whetver $G$ has a $3k$-clique accordung to the value of $\tgxt{RNA}(S_G)$.

As our framework of the construction of $S_G$ is simildr to ghe oke iv [@AHV15], we will give the building blocks (for constwhcuinn $S_G$) the same naies as theit wnsjogues in [@ABV15], despics fhat they may have differgnt loqer-level ymplrmentations.

The high-level plqn is descriyed as following:

In Seetion \[ss-1\] we dzscribg two rncodings $\text{CNG}(t), \text{ELG}(t)$ fkr a $k$-cliquf $t$ based un the black box dexcsibed in Lemma \[lem-1\]. In Sectijn \[ss-2\], adapving che encoaingx
$k$-cliques $t_1, t_2$ form a $2k$-clique according of (\text{CNG}(t_1), \text{CLG}(t_2))$. invoking the lemma, such way that we test whether a is met (e.g. whether two given form a $2k$-clique) by the value of $\min_{A \in \mathcal{A}_{n,m}} \delta(A)$. We will that $\min_{A \in \mathcal{A}_{n,m}} \delta(A) = \min_{A \in \mathcal{S}_{n,m}} \delta(A)$ for the case are in. we infer whether the condition we are interested in is met from the value of $\delta_{\text{LCS}}(S_X, S_Y)$. Cliques to RNA Folding \[sec.reduction\] ============================================= The goal this section is to Theorem \[thm-2\]. Let $G = be graph, and $n |V|$. write $\mathcal{C}_k$ to the set of $k$-cliques in $G$. We fix $\Sigma = \{0, 1\}$. As in [@ABV15], we will a sequence (\Sigma \cup such we decide whether $G$ $3k$-clique according to the value of framework of the construction of $S_G$ is similar the one [@ABV15], we will give the building (for constructing $S_G$) the same names as their in [@ABV15], despite that they may have different lower-level implementations. The high-level plan is described In Section \[ss-1\] we two encodings $\text{CNG}(t), for $k$-clique based the black described in Lemma \[lem-1\]. In Section \[ss-2\], adapting the encodings
 $k$-cliques $t_1, t_2$ form a $2k$-clique accOrding the vAlue oF $\deLta_{\TeXt{LCs}} (\texT{CNG}(t_1), \text{CLG}(t_2))$.

WHEn inVoking the lemma, $\mathbf{X}$, $\mAthbf{y}$ aRE desIGnEd in sUch a way THaT WE caN tEsT whEtHEr A condItiOn is met (E.g. whether tWo gIvEn $k$-cliques foRM a $2K$-clique) by tHe vAlue of $\min_{A \in \MatHcal{A}_{n,M}} \dEltA(a)$. We wiLl sHow thAt $\min_{A \IN \mathcAl{A}_{n,m}} \deltA(A) =  \MIn_{A \in \mAThcal{S}_{n,M}} \DElTa(A)$ fOr the case we are intEReSTed in. Therefore, We can iNfER wHETheR thE condition We Are inTErested IN iS MET frOM the value of $\deLta_{\text{LCS}}(S_x, s_Y)$.

FRom CliQuEs tO rNA FolDing \[sEc.REduCtion\]
=============================================

The goaL of tHis sectioN is to pROve TheoREm \[thm-2\].

LeT $G = (V,E)$ be A grAph, And lET $n = |v|$. WE wrItE $\MatHCaL{C}_k$ TO deNote the sEt Of $K$-cliqUes iN $g$. wE Fix $\SIgmA = \{0, 1\}$. As iN [@ABV15], wE will construcT a sEqueNCe $S_g \in (\SiGma \cuP \SigMa')^\Ast$ suCh that We can DeCide whether $G$ has A $3k$-clIque accorDinG tO thE vAlue oF $\Text{RNa}(S_G)$.

as oUr frameWork of tHE coNsTRUCtIon of $S_G$ is similar to ThE ONe In [@ABV15], we wIll givE ThE bUIlding blOcKs (fOr coNSTructIng $S_g$) ThE same namEs as thEIr AnAlogues In [@aBV15], desPiTe tHat They mAY havE diffeRent loweR-leveL ImplementationS.

the high-level pLAn IS DeSCribEd aS following:

IN SecTIon \[sS-1\] we dEScRibE Two enCodinGs $\TExT{cNG}(t), \text{CLG}(t)$ for a $k$-clIqUe $t$ basEd on tHe black box desCribed in LeMMA \[Lem-1\]. In SecTion \[SS-2\], aDApting the encodIngs
 $k$-cliques $t_1, t_2$ fo rm a $2k$- cliqu e a cco rd ingthevalue of $\del t a_{\ text{LCS}} (\text{CNG} (t_1) ,\ text { CL G}(t_ 2))$.
W he n inv ok in g t he le mma,$\m athbf{X }$, $\math bf{ Y} $ are design e din such away  that we can  te st whe th era  cond iti on is  met ( e .g. wh ether two  g i ven $k $ -clique s fo rm a  $2k$-clique) byt he value of $\min _{A \i n\ ma t h cal {A} _{n,m}} \d el ta(A) $ . We wi l ls h o w t h at $\min_{A \ in \mathcal { A}_ {n,m}}  \ del t a(A) =   \mi n_ { A \ in \mathcal {S}_ {n,m}} \d elta(A ) $ for t h e casewe are  in ter este d  i n.  Th er e for e ,wec aninfer wh et he r the  con d i t i on w e a re i ntere sted in is me t f romt hevalue  of $ \del ta _{\te xt{LCS }}(S_ X,  S_Y)$.

From C liqu es to RNA  Fo ld ing  \ [sec. r educti on\ ]
= ======= ======= = === == = = = == ================== =T he  goal of  thiss ec ti o n is topr ove  The o r em \[ thm- 2 \] .

Let $ G = (V , E) $be a gr ap h, and  l et$n= |V| $ . We  write  $\mathc al{C} _ k$ to denote t h e set of $k$- c li q u es in $ G$.  We fix $\S igma = \{ 0, 1 \ }$ . A s  in [ @ABV1 5] ,  w e  will construct a s eq uence$S_G\in (\Sigma \ cup \Sigma ' ) ^ \ast$ su ch t h at we can decidewheth er $G$ has a $3k$-c lique  accordi ng to the v alue of$\t ext {RN A}( S _ G) $.

As our fr a m ewor kof thecon structi onof$S_ G$is  similarto the o ne  i n[@ ABV 15],w e will g iv e t he  bu ildin g  block s (fo r co ns tr u cti ng $S_G $ )t h e sa me  n ames  as  t heiranal o gue s in [@ ABV15], d esp i te t ha tthey ma y have differ en t lower-le ve l i mpleme n t ations.
The high-level plan is describ edas fo llow ing:

InSec tion \ [ss - 1\] we  descr ibe t wo  en c o dings $ \t ext {C NG}(t), \t e x t{C LG}(t )$  for  a $k$- clique $t$ based o n  th e black box d esc ribe d in  Le m ma \[l em - 1\] . In Section \[ss -2\], adap ti n gthe encodi n gs
 $k$-cliques_$t_1, t_2$_form a $2k$-clique according_the value_of_$\delta_{\text{LCS}} (\text{CNG}(t_1),_\text{CLG}(t_2))$.

When_invoking the lemma,_$\mathbf{X}$, $\mathbf{Y}$ are_designed in such a_way that we_can_test whether a condition is met (e.g. whether two given $k$-cliques form a $2k$-clique)_by_the value_of_$\min_{A_\in \mathcal{A}_{n,m}} \delta(A)$. We will_show that $\min_{A \in \mathcal{A}_{n,m}}_\delta(A) =_ \min_{A \in \mathcal{S}_{n,m}} \delta(A)$ for the case_we_are interested in._Therefore, we can infer whether the condition we are_interested in is met from the_value of $\delta_{\text{LCS}}(S_X,_S_Y)$.

From_Cliques_to RNA Folding \[sec.reduction\]
=============================================

The_goal of this section is to_prove Theorem \[thm-2\].

Let $G = (V,E)$ be_a graph, and let $n = |V|$._We write $\mathcal{C}_k$ to denote the_set of $k$-cliques in $G$._We fix_$\Sigma = \{0, 1\}$. As_in [@ABV15], we_will construct_a sequence $S_G_\in (\Sigma \cup \Sigma')^\ast$ such that_we can decide_whether $G$ has a $3k$-clique according_to_the value of_$\text{RNA}(S_G)$.

As_our_framework of_the construction of_$S_G$_is similar_to_the one in [@ABV15], we will_give_the building blocks (for constructing $S_G$) the_same names as their_analogues_in [@ABV15], despite that_they may have different lower-level_implementations.

The high-level plan is described as_following:

In Section \[ss-1\]_we describe_two encodings $\text{CNG}(t), \text{CLG}(t)$ for a $k$-clique $t$ based on the_black box described in Lemma \[lem-1\]. In_Section \[ss-2\], adapting the encodings