Matches in SemOpenAlex for { <https://semopenalex.org/work/W3015205199> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W3015205199 abstract "We introduce and study the bounded word problem and the precise word problem for groups given by means of generators and defining relations. For example, for every finitely presented group, the bounded word problem is in NP, i.e., it can be solved in nondeterministic polynomial time, and the precise word problem is in PSPACE. The main technical result of the paper states that, for certain finite presentations of groups, which include the Baumslag-Solitar one-relator groups and free products of cyclic groups, the bounded word problem and the precise word problem can be solved in polylogarithmic space. As consequences of developed techniques that can be described as calculus of brackets, we obtain polylogarithmic space bounds for the computational complexity of the diagram problem for free groups, for the width problem for elements of free groups, and for computation of the area defined by polygonal singular closed curves in the plane. We also obtain polynomial time bounds for these problems." @default.
- W3015205199 created "2020-04-17" @default.
- W3015205199 creator A5088158552 @default.
- W3015205199 date "2020-03-02" @default.
- W3015205199 modified "2023-09-27" @default.
- W3015205199 title "The Bounded and Precise Word Problems for Presentations of Groups" @default.
- W3015205199 hasPublicationYear "2020" @default.
- W3015205199 type Work @default.
- W3015205199 sameAs 3015205199 @default.
- W3015205199 citedByCount "0" @default.
- W3015205199 crossrefType "book" @default.
- W3015205199 hasAuthorship W3015205199A5088158552 @default.
- W3015205199 hasConcept C11413529 @default.
- W3015205199 hasConcept C114614502 @default.
- W3015205199 hasConcept C118615104 @default.
- W3015205199 hasConcept C134306372 @default.
- W3015205199 hasConcept C176181172 @default.
- W3015205199 hasConcept C178790620 @default.
- W3015205199 hasConcept C179799912 @default.
- W3015205199 hasConcept C185592680 @default.
- W3015205199 hasConcept C197685441 @default.
- W3015205199 hasConcept C2524010 @default.
- W3015205199 hasConcept C2781311116 @default.
- W3015205199 hasConcept C29248071 @default.
- W3015205199 hasConcept C311688 @default.
- W3015205199 hasConcept C33923547 @default.
- W3015205199 hasConcept C34388435 @default.
- W3015205199 hasConcept C45374587 @default.
- W3015205199 hasConcept C90119067 @default.
- W3015205199 hasConcept C90805587 @default.
- W3015205199 hasConcept C90988201 @default.
- W3015205199 hasConcept C91331118 @default.
- W3015205199 hasConcept C94375191 @default.
- W3015205199 hasConceptScore W3015205199C11413529 @default.
- W3015205199 hasConceptScore W3015205199C114614502 @default.
- W3015205199 hasConceptScore W3015205199C118615104 @default.
- W3015205199 hasConceptScore W3015205199C134306372 @default.
- W3015205199 hasConceptScore W3015205199C176181172 @default.
- W3015205199 hasConceptScore W3015205199C178790620 @default.
- W3015205199 hasConceptScore W3015205199C179799912 @default.
- W3015205199 hasConceptScore W3015205199C185592680 @default.
- W3015205199 hasConceptScore W3015205199C197685441 @default.
- W3015205199 hasConceptScore W3015205199C2524010 @default.
- W3015205199 hasConceptScore W3015205199C2781311116 @default.
- W3015205199 hasConceptScore W3015205199C29248071 @default.
- W3015205199 hasConceptScore W3015205199C311688 @default.
- W3015205199 hasConceptScore W3015205199C33923547 @default.
- W3015205199 hasConceptScore W3015205199C34388435 @default.
- W3015205199 hasConceptScore W3015205199C45374587 @default.
- W3015205199 hasConceptScore W3015205199C90119067 @default.
- W3015205199 hasConceptScore W3015205199C90805587 @default.
- W3015205199 hasConceptScore W3015205199C90988201 @default.
- W3015205199 hasConceptScore W3015205199C91331118 @default.
- W3015205199 hasConceptScore W3015205199C94375191 @default.
- W3015205199 hasLocation W30152051991 @default.
- W3015205199 hasOpenAccess W3015205199 @default.
- W3015205199 hasPrimaryLocation W30152051991 @default.
- W3015205199 hasRelatedWork W1555798330 @default.
- W3015205199 hasRelatedWork W1910500573 @default.
- W3015205199 hasRelatedWork W1969777579 @default.
- W3015205199 hasRelatedWork W1978480097 @default.
- W3015205199 hasRelatedWork W2016329857 @default.
- W3015205199 hasRelatedWork W2037286444 @default.
- W3015205199 hasRelatedWork W2473896820 @default.
- W3015205199 hasRelatedWork W2561732221 @default.
- W3015205199 hasRelatedWork W2586775471 @default.
- W3015205199 hasRelatedWork W2740781308 @default.
- W3015205199 hasRelatedWork W2799736310 @default.
- W3015205199 hasRelatedWork W2800057389 @default.
- W3015205199 hasRelatedWork W2803341836 @default.
- W3015205199 hasRelatedWork W2945268715 @default.
- W3015205199 hasRelatedWork W2963463670 @default.
- W3015205199 hasRelatedWork W2963789953 @default.
- W3015205199 hasRelatedWork W3106749136 @default.
- W3015205199 hasRelatedWork W3208801818 @default.
- W3015205199 hasRelatedWork W3212228192 @default.
- W3015205199 hasRelatedWork W2565985827 @default.
- W3015205199 isParatext "false" @default.
- W3015205199 isRetracted "false" @default.
- W3015205199 magId "3015205199" @default.
- W3015205199 workType "book" @default.