 [@CB4], use polynomial space. This approach would give a chance to do, also in polylogarithmic space, maximization of foldings relative to various parameters similar to those discussed in Theorem \[thm3\].

[*Acknowledgements.*]{} The author is grateful to Tim Riley for bringing to the author’s attention folklore arguments that solve the precise word problem for presentation $\langle \, a, b \,  \|  \,  a=1,  b=1 \,  \rangle$ in polynomial time, the article [@SL1], and the similarity between the [precise word problem]{} for presentation $\langle \, a, b \,  \|  \,  a=1,  b=1 \,  \rangle$ and the problem on efficient planar folding of RNA strands. The author thanks the referee for a number of useful remarks and suggestions.

[\[75\]]{} A. V. Anisimov, [*The group languages*]{}, Kibernetika (Kiev) [**4**]{}(1971), 18–24.

R. Armoni, A. Ta-Shma, A. Wigderson and S. Zhou, [*A $(\log n )^{4/3}$ space algorithm for $(s,t)$ connectivity in undirected graphs*]{}, J. Assoc. Comput. Mach. [**47**]{}(2000), 294–311.

S. Arora and B. Barak, [*Computational complexity – a modern approach*]{}, Cambridge Univ. Press, 2009.

D. Barrington, P. Kadau, K. Lange and P. McKenzie, [*On the complexity of some problems on groups input as multiplication tables*]{}, J. Comput. System Sci. [**63**]{}(2001), 186–200.

J.-C. Birget, A. Yu. Ol’shanskii, E. Rips, and M. V. Sapir, [*Isoperimetric functions of groups and computational complexity of the word problem*]{}, [Ann. Math.]{} [**156**]{}(2002), 467–518.

W. W. Boone, [*On certain simple undecidable problems in group theory, V, VI*]{}, Indag. Math. [**19**]{}(1957), 22–27, 227–232.

W. W. Boone, [*The word problem*]{}, Ann. Math. [**70**]{}(1959), 207–265.

V. V. Borisov, [*Simple
[ @CB4 ], use polynomial space. This approach would give a probability to do, besides in polylogarithmic space, maximization of foldings proportional to various parameter similar to those discussed in Theorem   \[thm3\ ]. 

 [ * recognition. * ] { } The author is grateful to Tim Riley for bringing to the writer ’s attention folklore arguments that clear the precise word trouble for presentation $ \langle \, a, b \,   \|   \,   a=1,   b=1 \,   \rangle$ in polynomial time, the article [ @SL1 ], and the similarity between the [ precise word problem ] { }   for presentation $ \langle \, a, b \,   \|   \,   a=1,   b=1 \,   \rangle$ and the problem on effective planar folding of RNA strands. The author thanks the reviewer for a number of useful remarks and suggestions. 

 [ \[75\ ] ] { } A. V. Anisimov, [ * The group languages * ] { }, Kibernetika (Kiev) [ * * 4**]{}(1971), 18–24. 

 R. Armoni, A. Ta - Shma, A. Wigderson and S. Zhou, [ * A $ (\log n) ^{4/3}$ space algorithm for $ (second, t)$ connectivity in undirected graphs * ] { }, J. Assoc. Comput. Mach. [ * * 47**]{}(2000), 294–311. 

 S. Arora and B. Barak, [ * Computational complexity – a modern approach * ] { }, Cambridge Univ. Press, 2009. 

 D. Barrington, P. Kadau, K. Lange and P. McKenzie, [ * On the complexity of some problems on group input as multiplication tables * ] { }, J. Comput. System Sci. [ * * 63**]{}(2001), 186–200. 

 J.-C. Birget, A. Yu. Ol’shanskii, E. Rips, and M. V. Sapir, [ * Isoperimetric functions of groups and computational complexity of the word problem * ] { }, [ Ann. Math. ] { } [ * * 156**]{}(2002), 467–518. 

 W. W. Boone, [ * On certain simple undecidable problems in group theory, V, VI * ] { }, Indag. Math. [ * * 19**]{}(1957), 22–27, 227–232. 

 W. W. Boone, [ * The word problem * ] { }, Ann. Math. [ * * 70**]{}(1959), 207–265. 

 V. V. Borisov, [ * Simple
 [@CB4], use polynomial space. Thls approach woulb give e chancs to do, xlso in polylogarithmic spacx, mazimizqtion of foldings relagive to vwrious pqramtters similar to vgose discusses in Chxorem \[thm3\].

[*Acknowlgdgements.*]{} Tha author is grdtdfbl to Tim Riley for bringing to the wuthor’s ahtention folkljre swgumsnts that solve the precise word pdoblem hor presentatiom $\langle \, a, b \,  \|  \,  a=1,  b=1 \,  \ranhle$ in polynomial hime, the arjjclq [@SL1], and the rimilarity between the [precise word problem]{} for presengatiou $\langle \, a, b \,  \|  \,  a=1,  b=1 \,  \rengle$ wnd the problem on exficieny planar foldikg of RNQ strands. The author vhanks the referee fjr a numbar of useful remarkw qnd soggesdionr.

[\[75\]]{} A. X. Ahixijov, [*Thf gcoup languafes*]{}, Kibernerika (Kiev) [**4**]{}(1971), 18–24.

R. Armoni, A. Ns-Shma, A. Wigdsrson wnq S. Zhou, [*A $(\log n )^{4/3}$ space algorithm for $(s,u)$ conhectivity in undirected graphs*]{}, J. Assoc. Compuj. Mach. [**47**]{}(2000), 294–311.

S. Wrora and B. Barak, [*Computational complexity – a modarn a'pfoaem*]{}, Zqmhridge Univ. Press, 2009.

D. Barrington, P. Kadau, K. Langq amd P. McKenzie, [*On the complecihy jf some problgms on ydohps input as multiolicatijn tavles*]{}, J. Coiput. System Sci. [**63**]{}(2001), 186–200.

J.-C. Birget, A. Yu. Ol’shanskii, V. Rips, and M. V. Sapir, [*Idoperimetrie funcjions pf groups and computatiunal complexity of the wkfd problem*]{}, [Ann. Mxth.]{} [**156**]{}(2002), 467–518.

F. W. Boont, [*On certain simplq undecideble 'roblems in broup eheory, V, VL*]{}, Indag. Math. [**19**]{}(1957), 22–27, 227–232.

W. W. Boone, [*The cord [roblem*]{}, Anj. Math. [**70**]{}(1959), 207–265.

V. V. Borisov, [*Simple
[@CB4], use polynomial space. This approach would chance do, also polylogarithmic space, maximization parameters to those discussed Theorem \[thm3\]. [*Acknowledgements.*]{} author is grateful to Tim Riley bringing to the author’s attention folklore arguments that solve the precise word problem presentation $\langle \, a, b \, \| \, a=1, b=1 \, \rangle$ in time, article and similarity between the [precise word problem]{} for presentation $\langle \, a, b \, \| \, a=1, \, \rangle$ and the problem on efficient planar of RNA strands. The thanks the referee for a of remarks and [\[75\]]{} V. [*The group languages*]{}, (Kiev) [**4**]{}(1971), 18–24. R. Armoni, A. Ta-Shma, A. Wigderson and S. Zhou, [*A $(\log n )^{4/3}$ space for $(s,t)$ undirected graphs*]{}, Assoc. Mach. 294–311. S. Arora Barak, [*Computational complexity – a modern Press, 2009. D. Barrington, P. Kadau, K. Lange P. McKenzie, the complexity of some problems on input as multiplication tables*]{}, J. Comput. System Sci. 186–200. J.-C. Birget, A. Yu. Ol’shanskii, E. Rips, and M. V. Sapir, [*Isoperimetric functions of computational complexity of the problem*]{}, [Ann. Math.]{} 467–518. W. [*On simple undecidable in group theory, V, VI*]{}, Indag. Math. [**19**]{}(1957), 22–27, 227–232. W. Boone, [*The word problem*]{}, Ann. Math. [**70**]{}(1959), 207–265. V. V.
 [@CB4], use polynomial space. This aPproach wouLd givE a cHanCe To do, Also In polylogarithMIc spAce, maximization of foldiNgs reLaTIve tO VaRious ParametERs SIMilAr To ThoSe DIsCusseD in theorem \[Thm3\].

[*AcknowlEdgEmEnts.*]{} The authoR Is Grateful to tim riley for brinGinG to the AuThoR’S atteNtiOn folKlore aRGumentS that solvE tHE preciSE word prOBLeM for Presentation $\langlE \, A, b \,  \|  \,  A=1,  B=1 \,  \rangle$ in polynOmial tImE, ThE ARtiCle [@sL1], and the siMiLaritY Between THe [PRECisE Word problem]{} foR presentatiON $\laNgle \, a, b \,  \|  \,  A=1,  b=1 \,  \RanGLe$ and tHe proBlEM on Efficient plAnar Folding of rNA strANds. The aUThor thaNks the RefEreE for A NuMbEr oF uSEfuL ReMarKS anD suggestIoNs.

[\[75\]]{} a. V. AniSimoV, [*tHE GrouP laNguaGes*]{}, KiBernetika (Kiev) [**4**]{}(1971), 18–24.

r. ArMoni, a. ta-SHma, A. WIgderSon aNd s. Zhou, [*a $(\log n )^{4/3}$ sPace aLgOrithm for $(s,t)$ connEctiVity in undIreCtEd gRaPhs*]{}, J. ASSoc. ComPut. macH. [**47**]{}(2000), 294–311.

S. Arora And B. BarAK, [*CoMpUTATiOnal complexity – a modErN APpRoach*]{}, CamBridge uNiV. PREss, 2009.

D. BarrInGtoN, P. KaDAU, K. LanGe anD p. MCKenzie, [*ON the coMPlExIty of soMe ProbleMs On gRouPs inpUT as mUltiplIcation tAbles*]{}, j. comput. System ScI. [**63**]{}(2001), 186–200.

j.-C. Birget, A. Yu. Ol’SHaNSKiI, e. RipS, anD M. V. Sapir, [*IsoPeriMEtriC funCTiOns OF grouPs and CoMPuTAtional complexity of ThE word pRobleM*]{}, [Ann. Math.]{} [**156**]{}(2002), 467–518.

W. W. BooNe, [*On certaiN SIMple undeCidaBLe PRoblems in group TheorY, V, VI*]{}, Indag. MATh. [**19**]{}(1957), 22–27, 227–232.

W. W. BoonE, [*The wOrd problEm*]{}, Ann. Math. [**70**]{}(1959), 207–265.

v. v. borisov, [*SImpLe
 [@CB4], use polynomial sp ace. Thisappro ach  wo ul d gi ve a  chance to do, also  in polylogarithmic sp ace,ma x imiz a ti on of  foldin g sr e lat iv etova r io us pa ram eters s imilar totho se  discussed i n  T heorem \[t hm3 \].

[*Ackno wle dgemen ts .*] { } The  au thoris gra t eful t o Tim Ril ey for br i nging t o th e au thor’s attentionf ol k lore arguments  thatso l ve t hepre cise wordpr oblem for pre s en t a t ion $\langle \, a , b \,  \|\, a=1, b =1\ ,  \ra ngle$  i n  po lynomial ti me,the artic le [@S L 1], and the sim ilarit y b etw eent he  [ pre ci s e w o rd  pr o ble m]{} for  p re senta tion $ \ l angl e \ , a,  b \,   \|  \,  a=1 , b=1\ , \rang le$ a nd t he  prob lem on  effi ci ent planar fold ingof RNA st ran ds . T he  auth o r than ksthe  refere e for a num be r o fuseful remarks and  s u g ge stions.
[\[75 \ ]] {} A. V. An is imo v, [ * T he gr oupl an guages*] {}, Ki b er ne tika (K ie v) [** 4* *]{ }(1 971), 18–2 4.

R.  Armoni,  A. T a -Shma, A. Wigd e rson and S. Z h ou , [* A  $(\ log  n )^{4/3}$  spa c e al gori t hm  fo r  $(s, t)$ c on n ec t ivity in undirected  g raphs* ]{},J. Assoc. Com put. Mach. [ * *47**]{} (200 0 ), 294–311.

S. A roraand B. Bar a k, [*Com putat ional co mplexity– a modern  ap pro ach *]{ } ,  C ambridge Univ . Pres s,  2009.
D.  Barrin gto n,P.Kad au , K. Lang e and P.  M cK en zi e,[*Ont he compl ex ity  o f s ome p r oblems  on g roup sin p utas mult i pl i c atio nta bles *]{ },  J. C ompu t . S ystem S ci. [**63 **] { }(20 01 ),  186–20 0.

J.-C. Bir ge t, A. Yu.Ol ’sh anskii , E. Rips,  and M. V. Sapir, [*Iso p erimetr icfunct ions  of group s a nd com put a tional  compl exity  o f t h e  word p ro ble m* ]{}, [Ann. M ath .]{}[* *156 **]{}(2 002), 467–518.

W. W.Boone, [*On c ert ains i mp leu nd e cid ab l e p r o blems in grouptheory, V,  V I *] {}, Indag. Mat h.  [**19* *]{}(19 57),2 2–27, 2 27–232.
W. W. Boo ne , [* T h e w ord proble m*]{}, A nn. Math. [**70 * *] {}(19 59) , 207– 26 5.
V. V . Bori s ov,  [*Si mple
 [@CB4],_use polynomial_space. This approach would_give a_chance_to do,_also_in polylogarithmic space,_maximization of foldings_relative to various parameters_similar to those_discussed_in Theorem \[thm3\].

[*Acknowledgements.*]{} The author is grateful to Tim Riley for bringing to the author’s_attention_folklore arguments_that_solve_the precise word problem for_presentation $\langle \, a, b_\, _\|  \,  a=1,  b=1 \,__\rangle$ in polynomial_time, the article [@SL1], and the similarity between the_[precise word problem]{} for presentation $\langle \,_a, b \,__\|_ \,  a=1,_ b=1 \,  \rangle$ and_the problem on efficient planar folding_of RNA strands. The author thanks the_referee for a number of useful_remarks and suggestions.

[\[75\]]{} A. V._Anisimov, [*The_group languages*]{}, Kibernetika (Kiev) [**4**]{}(1971),_18–24.

R. Armoni, A._Ta-Shma, A._Wigderson and S._Zhou, [*A $(\log n )^{4/3}$ space_algorithm for $(s,t)$_connectivity in undirected graphs*]{}, J. Assoc._Comput._Mach. [**47**]{}(2000), 294–311.

S._Arora_and_B. Barak,_[*Computational complexity –_a_modern approach*]{},_Cambridge_Univ. Press, 2009.

D. Barrington, P. Kadau,_K._Lange and P. McKenzie, [*On the complexity_of some problems on_groups_input as multiplication tables*]{},_J. Comput. System Sci. [**63**]{}(2001),_186–200.

J.-C. Birget, A. Yu. Ol’shanskii, E._Rips, and_M. V._Sapir, [*Isoperimetric functions of groups and computational complexity of the word_problem*]{}, [Ann. Math.]{} [**156**]{}(2002), 467–518.

W. W._Boone, [*On certain simple_undecidable problems_in_group theory, V,_VI*]{},_Indag. Math._[**19**]{}(1957), 22–27, 227–232.

W. W. Boone, [*The word_problem*]{}, Ann._Math. [**70**]{}(1959), 207–265.

V. V. Borisov, [*Simple