 in ${\mathcal{F}}({\mathcal{A}})$ of $n$ conjugates of words in ${\mathcal{R}}^{\pm 1}$ and $n$ is minimal with this property. Equivalently, for given an input $(W, 1^n)$, the precise word problem asks whether there exists a disk diagram over whose boundary label is $W$, whose number of faces is $n$, and there are no such diagrams with fewer number of faces.

The definitions for the precise word problem for being solvable and being in a complexity class $\textsf K$ are similar to the corresponding definitions for the (bounded) word problem.

In the following proposition we list basic comparative properties of the standard word problem and its bounded and precise versions.

\[prp1\] $(\mathrm{a})$ There exists a decidable group presentation for which the word problem is solvable while the bounded and precise word problems are not solvable.

$(\mathrm{b})$ If the bounded word problem is solvable for, then the precise word problem is also solvable.

$(\mathrm{c})$ For every finite group presentation, the bounded word problem is in ${\textsf{NP}}$, i.e., it can be solved in nondeterministic polynomial time, and the precise word problem is in, i.e., it can be solved in polynomial space.

$(\mathrm{d})$ There exists a finite group presentation for which the bounded and precise word problems are solvable while the word problem is not solvable.

$(\mathrm{e})$ There exists a finitely presented group for which the bounded word problem is -complete and the precise word problem is -hard.

Note that a number of interesting results on solvability of the word problem, solvability of the bounded word problem and computability of the Dehn function for decidable group presentations can be found in a preprint of Cummins [@DC] based on his PhD thesis written under the author’s supervision.

It is of interest to look at the bounded and precise word problems for finitely presented groups for which the word problem could be solved very easily. Curiously, even for very simple presentations such as $ \langle \ a, b  \ \| \ a=1  \ \rangle $ and $ \langle \ a, b  \ \|  \ ab=ba  \ \rangle $, for which the word problem is obviously in $\textsf{L}$, i.e., solvable in deterministic logarithmic
in $ { \mathcal{F}}({\mathcal{A}})$ of $ n$ conjugates of words in $ { \mathcal{R}}^{\pm 1}$ and $ n$ is minimal with this property. Equivalently, for given an stimulation $ (W, 1^n)$, the accurate word problem ask whether there exist a disk diagram over whose boundary label is $ W$, whose number of boldness is $ n$, and there be no such diagrams with few numeral of faces. 

 The definition for the precise word trouble for being solvable and being in a complexity class $ \textsf K$ are similar to the corresponding definitions for the (bounded) word problem. 

 In the succeed proposition we list basic relative properties of the standard word trouble and its bounded and precise version. 

 \[prp1\ ] $ (\mathrm{a})$ There exists a decidable group display for which the word problem is solvable while the bounded and precise discussion problems are not solvable. 

 $ (\mathrm{b})$ If the bounded word problem is solvable for, then the precise son trouble is also solvable. 

 $ (\mathrm{c})$ For every finite group presentation, the bounded word problem is in $ { \textsf{NP}}$, i.e., it can be solved in nondeterministic polynomial time, and the accurate word trouble is in, i.e., it can be solved in polynomial space. 

 $ (\mathrm{d})$ There exist a finite group display for which the bounded and accurate word problems are solvable while the word problem is not solvable. 

 $ (\mathrm{e})$ There exists a finitely presented group for which the bounded word trouble is -complete and the precise word problem is -hard. 

 Note that a number of interesting results on solvability of the word problem, solvability of the bounded word problem and computability of the Dehn function for decidable group presentation can be found in a preprint of Cummins [ @DC ] establish on his PhD thesis written under the author ’s supervision. 

 It is of interest to count at the bounded and precise word problems for finitely presented groups for which the word problem could be solved very well. Curiously, even for very simple presentations such as $ \langle \ a, b   \ \| \ a=1   \ \rangle $ and $ \langle \ a, b   \ \|   \ ab = ba   \ \rangle $, for which the word problem is obviously in $ \textsf{L}$, i.e., solvable in deterministic logarithmic
 in ${\mathcal{F}}({\mathcal{A}})$ of $n$ cunjugates of wotdw in ${\methcal{R}}^{\lm 1}$ and $v$ is minimal with this propecty. Wquivqlently, for given an ivput $(W, 1^n)$, nhe preciwe wied problem asks whccher fmere zxmsts a disk dianram over wvose boundary nacep is $W$, whose number of faces is $n$, agd therr wre no such diwgrakf wifh fewer number of faces.

The definifions fmr the precisr word problem for being sllvahle and being in a complexity clafw $\textsf K$ afe similar to the corrgsponding definitions for the (bojnded) word proboen.

In jhe followinj propjsition we llxt bashc compsrative properbies mf rhe standard word proulem and its bounded and prechsz versions.

\[prp1\] $(\mathrm{a})$ Tyere gxistv a awciaabme gdoup pgesxntation fod which the word problem is sokvwvle while the boundqd and precise word problems are not solvdbls.

$(\mathrm{b})$ If the bounded word problem is solvwble for, ehen the precise word problem is also solvable.

$(\matvrm{c})$ Hof ercvy fkbihe group presentation, the bounded word problei ix pn ${\textsf{NP}}$, i.e., it can be solfef og nondeterminkstic 'klgnomial time, and tje precyse wird probltm is in, i.e., it can be solved in polynomial siace.

$(\nathrm{d})$ There exiscs a finite yroup kresenyation for which the bobnded znd precise word proguems are solvabld wmila the word problem is not folvable.

$(\methrm{z})$ There dxisjs a figitely predented group for which tje boonded ford problfm is -complete and the precise xprd problem os -hagd.

Note thct a nmmber of interefting results pn solvcbilith of the wkrd proulem, solvabijity of the bmonded word prmblem anq conputqbility uf the Dehn fumction fog becidable group presentatioks cav be found in a 'xekrunt of Cummins [@DC] bafef pn vis PhD theshs wfitgrn unaer the autmor’r sulervision.

It is of indereat to look at the nomnded and precise word problemx for finitely predentev grou's for whych the word problem could be aolved vegy casily. Curioufly, cven for very ximple presentations such as $ \langle \ a, b  \ \| \ a=1  \ \rangle $ and $ \langle \ a, b  \ \|  \ ab=ba  \ \rengle $, for whicv the word problem iw obviously in $\tewtsf{L}$, i.e., solvable in dstermitistif logarithmic
in ${\mathcal{F}}({\mathcal{A}})$ of $n$ conjugates of words 1}$ $n$ is with this property. $(W, the precise word asks whether there a disk diagram over whose boundary is $W$, whose number of faces is $n$, and there are no such with fewer number of faces. The definitions for the precise word problem for solvable being a class $\textsf K$ are similar to the corresponding definitions for the (bounded) word problem. In the proposition we list basic comparative properties of the word problem and its and precise versions. \[prp1\] $(\mathrm{a})$ exists decidable group for the problem is solvable the bounded and precise word problems are not solvable. $(\mathrm{b})$ If the bounded word problem is solvable then the problem is solvable. For finite group presentation, word problem is in ${\textsf{NP}}$, i.e., solved in nondeterministic polynomial time, and the precise problem is i.e., it can be solved in space. $(\mathrm{d})$ There exists a finite group presentation which the bounded and precise word problems are solvable while the word problem is not There exists a finitely group for which bounded problem -complete the precise problem is -hard. Note that a number of interesting results on of the word problem, solvability of the bounded word problem of Dehn function for group presentations can be in preprint of Cummins [@DC] his thesis author’s It of interest to look the bounded and precise word for finitely presented groups could be solved very easily. Curiously, even for simple presentations such as $ \langle \ b \ \| \ a=1 \ \rangle $ and $ \langle \ b \ ab=ba \ \rangle $, for which the word is obviously in $\textsf{L}$, solvable in deterministic logarithmic
 in ${\mathcal{F}}({\mathcal{A}})$ of $n$ conjUgates of woRds in ${\MatHcaL{R}}^{\Pm 1}$ anD $n$ is Minimal with thiS PropErty. Equivalently, for givEn an iNpUT $(W, 1^n)$, tHE pRecisE word prOBlEM AskS wHeTheR tHErE exisTs a Disk diaGram over whOse BoUndary label iS $w$, wHose number Of fAces is $n$, and thEre Are no sUcH diAGrams WitH feweR numbeR Of faceS.

The definItIOns for THe preciSE WoRd prOblem for being solvABlE And being in a comPlexitY cLAsS $\TExtSf K$ Are similar To The coRRespondINg DEFIniTIons for the (bouNded) word proBLem.

in the fOlLowINg propOsitiOn WE liSt basic compAratIve properTies of THe standARd word pRoblem And Its BounDEd AnD prEcISe vERsIonS.

\[Prp1\] $(\Mathrm{a})$ THeRe ExistS a deCIDABle gRouP preSentaTion for which tHe wOrd pROblEm is sOlvabLe whIlE the bOunded And prEcIse word problems Are nOt solvablE.

$(\maThRm{b})$ if The boUNded woRd pRobLem is soLvable fOR, thEn THE PrEcise word problem is AlSO SoLvable.

$(\maThrm{c})$ FOR eVeRY finite gRoUp pReseNTAtion, The bOUnDed word pRoblem IS iN ${\tExtsf{NP}}$, I.e., It can bE sOlvEd iN nondETermInistiC polynomIal tiME, and the precise WOrd problem is iN, I.e., IT CaN Be soLveD in polynomiAl spACe.

$(\maThrm{D})$ thEre EXists A finiTe GRoUP presentation for whiCh The bouNded aNd precise word Problems arE SOLvable whIle tHE wORd problem is not SolvaBle.

$(\mathrm{e})$ tHere exisTs a fiNitely prEsented grOUP for whicH thE boUndEd wORD pRoblem is -complETE and ThE precisE woRd problEm iS -haRd.

NOte ThAt a number Of intereStInG rEsUltS on soLVability Of The WoRd pRobleM, SolvabIlity Of thE bOuNDed Word proBLeM ANd coMpUtAbilIty Of The DeHn fuNCtiOn for deCidable grOup PReseNtAtIons can Be found in a prePrInt of CummiNs [@dC] bAsed on HIS PhD thesIs written under the author’S SuperviSioN.

It is Of inTerest to lOok At the bOunDEd and pRecise Word pRoBleMS For fiNITeLy pReSented grouPS For Which ThE worD probleM could be solved very EAsiLy. Curiously, evEn fOr veRY SiMplE PrESenTaTIonS SUch as $ \langle \ a, b  \ \| \ a=1  \ \rAngle $ and $ \laNgLE \ a, B  \ \|  \ ab=ba  \ \ranglE $, For WhIch the wOrd probLem is OBviouslY in $\textsf{l}$, i.e., solvabLe In deTERmiNistic logaRithmic
 in ${\mathcal{F}}({\mathc al{A}})$ o f $n$  co nju ga tesof w ords in ${\mat h cal{ R}}^{\pm 1}$ and $n$ i s min im a l wi t hthispropert y .E q uiv al en tly ,f or  give n a n input  $(W, 1^n) $,th e precise wo r dproblem as kswhether ther e e xistsadis k  diag ram  over  whose bounda ry labelis $W$, w h ose num b e rof f aces is $n$, andt he r e are no suchdiagra ms wi t h  fe wer  number of  f aces. 
The de f in i t i ons for the preci se word pro b lem  for b ei ngs olvabl e and  b e ing  in a compl exit y class $ \texts f  K$ are similar  to th e c orr espo n di ng  de fi n iti o ns  fo r  th e (bound ed )wordprob l e m . 

In  th e fo llowi ng propositio n w e li s t b asiccompa rati ve  prop erties  of t he  standard wordprob lem and i tsbo und ed  andp recise  ve rsi ons.

\ [prp1\] $(\ ma t h r m{ a})$ There existsad e ci dable gr oup pr e se nt a tion for  w hic h th e wordprob l em  is solv able w h il ethe bou nd ed and  p rec ise  word prob lems a re not s olvab l e.

$(\mathrm{ b })$ If the bo u nd e d  w o rd p rob lem is solv able for,  the n  t hep recis e wor dp ro b lem is also solvabl e. 

$(\m athrm {c})$ For eve ry finiteg r o up prese ntat i on ,  the bounded w ord p roblem isi n ${\tex tsf{N P}}$, i. e., it ca n be solve d i n n ond ete r m in istic polynom i a l ti me , and t heprecise  wo rdpro ble mis in, i. e., it c an  b eso lve d inp olynomia lspa ce .
$(\ma t hrm{d} )$ Th ereex is t s a  finite gr o u p pr es en tati onfo r whi ch t h e b oundedand preci sew ordpr ob lems ar e solvable wh il e the word  p rob lem is n ot solva ble.

$(\mathrm{e})$ Th e re exis tsa fin itel y present edgroupfor whichthe bo unded  w ord p roble m is  -c om plete andt h e p recis eword  proble m is -hard.

Notet hat  a number ofint eres t i ng  re s ul t s o ns olv a b ility of the wo rd problem ,s ol vability o f  th ebounded  word p roble m  and co mputabili ty of the  D ehnf u nct ion for de cidablegroup pre s entat i on s can  be  found  i n a  prep rint o f  Cu mmins  [@DC]  b ased o n his  P hD thesi s written under the aut hor’ssuper vis ion.

Itiso f i nterest t o lo ok at thebou nde d and  pr e ciseword pr obl e ms fo r fi n itely pre s en ted g ro ups for whi c h the  word  pr o blem c ould  be solved very e a sily. Curiousl y, e v e n f orv erysi mple presentat ion ss u ch as $\l angle \ a,b  \ \|\a =1  \  \rang le $ a nd $ \l a n gl e  \ a,b  \  \|   \ ab=ba   \  \ r angle $ ,fo r  which  the  w ord pr oblemi s ob v i ously in $\texts f{L}$ , i.e., sol vable  i n deter m inis tic logari thmic
 in_${\mathcal{F}}({\mathcal{A}})$ of_$n$ conjugates of words_in ${\mathcal{R}}^{\pm_1}$_and $n$_is_minimal with this_property. Equivalently, for_given an input $(W,_1^n)$, the precise_word_problem asks whether there exists a disk diagram over whose boundary label is $W$,_whose_number of_faces_is_$n$, and there are no_such diagrams with fewer number_of faces.

The_definitions for the precise word problem for being_solvable_and being in_a complexity class $\textsf K$ are similar to the_corresponding definitions for the (bounded) word_problem.

In the following_proposition_we_list basic comparative properties_of the standard word problem and_its bounded and precise versions.

\[prp1\] $(\mathrm{a})$_There exists a decidable group presentation for_which the word problem is solvable_while the bounded and precise_word problems_are not solvable.

$(\mathrm{b})$ If the_bounded word problem_is solvable_for, then the_precise word problem is also solvable.

$(\mathrm{c})$_For every finite_group presentation, the bounded word problem_is_in ${\textsf{NP}}$, i.e.,_it_can_be solved_in nondeterministic polynomial_time,_and the_precise_word problem is in, i.e., it_can_be solved in polynomial space.

$(\mathrm{d})$ There exists_a finite group presentation_for_which the bounded and_precise word problems are solvable_while the word problem is not_solvable.

$(\mathrm{e})$ There_exists a_finitely presented group for which the bounded word problem is -complete_and the precise word problem is_-hard.

Note that a number_of interesting_results_on solvability of_the_word problem,_solvability of the bounded word problem and_computability of_the Dehn function for decidable group_presentations can be found_in_a preprint of Cummins [@DC] based_on his PhD thesis written under_the author’s supervision.

It is of_interest_to_look at the bounded and_precise word problems for finitely presented_groups for which_the word problem could be solved very_easily._Curiously, even for very simple presentations_such_as $ \langle \ a, b__\_\| \ a=1  \_\rangle $ and $ \langle \_a, b  \ \|  \ ab=ba _\ \rangle $,_for which the word problem_is_obviously_in $\textsf{L}$, i.e., solvable in deterministic logarithmic