skip to main content
Guest
My Research
My Account
Sign out
Sign in
This feature requires javascript
Library Search
Find Databases
Browse Search
E-Journals A-Z
E-Books A-Z
Citation Linker
Help
Language:
English
Vietnamese
This feature required javascript
This feature requires javascript
Primo Search
All Library Resources
All
Course Materials
Course Materials
Search For:
Clear Search Box
Search in:
All Library Resources
Or hit Enter to replace search target
Or select another collection:
Search in:
All Library Resources
Search in:
Print Resources
Search in:
Digital Resources
Search in:
Online E-Resources
Advanced Search
Browse Search
This feature requires javascript
Search Limited to:
Search Limited to:
Resource type
criteria input
All items
Books
Articles
Images
Audio Visual
Maps
Graduate theses
Show Results with:
criteria input
that contain my query words
with my exact phrase
starts with
Show Results with:
Search type Index
criteria input
anywhere in the record
in the title
as author/creator
in subject
Full Text
ISBN
ISSN
TOC
Keyword
Field
Show Results with:
in the title
Show Results with:
anywhere in the record
in the title
as author/creator
in subject
Full Text
ISBN
ISSN
TOC
Keyword
Field
This feature requires javascript
The bounded and precise word problems for presentations of groups
ISBN: 1470441438 ;ISBN: 9781470441432 ;EISBN: 9781470458041 ;EISBN: 1470458047 ;OCLC: 1153270295 ;LCCallNum: QA174.2.I94 2020
Full text available
Citations
Cited by
View Online
Details
Recommendations
Reviews
Times Cited
External Links
This feature requires javascript
Actions
Add to My Research
Remove from My Research
E-mail
Print
Permalink
Citation
EasyBib
EndNote
RefWorks
Delicious
Export RIS
Export BibTeX
This feature requires javascript
Title:
The bounded and precise word problems for presentations of groups
Author:
Ivanov, S. V
Subjects:
Computer science {For papers involving machine computations and programs in a specific mathematical area, see Section--04 in that area} -- Algorithms {For numerical algorithms, see 65-XX
;
for combinat
;
Computer science {For papers involving machine computations and programs in a specific mathematical area, see Section--04 in that area} -- Computing methodologies and applications -- Computer graphics
;
Computer science {For papers involving machine computations and programs in a specific mathematical area, see Section--04 in that area} -- Theory of computing -- Analysis of algorithms and problem com
;
Convex and discrete geometry -- Polytopes and polyhedra -- Combinatorial properties (number of faces, shortest paths, etc.) [See also 05Cxx]
;
Geometric group theory [See also 05C25, 20E08, 57Mxx]
;
Group theory and generalizations
;
Group theory and generalizations -- Special aspects of infinite or finite groups -- Cancellation theory
;
application of van Kampen diagrams [See also 57M05]
;
Group theory and generalizations -- Special aspects of infinite or finite groups -- Generators, relations, and presentations
;
Group theory and generalizations -- Special aspects of infinite or finite groups -- Geometric group theory [See also 05C25, 20E08, 57Mxx]
;
Group theory and generalizations -- Special aspects of infinite or finite groups -- Word problems, other decision problems, connections with logic and automata [See also 03B25, 03D05, 03D40, 06B25, 08
;
Presentations of groups (Mathematics)
;
Special aspects of infinite or finite groups
;
Word problems (Mathematics)
Description:
The author introduces and studies 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, i.e., it can be solved in polynomial space. 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, the author obtains 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. The author also obtains polynomial time bounds for these problems.
Related Titles:
Memoirs of the American Mathematical Society
Publisher:
Providence, RI: American Mathematical Society
Creation Date:
2020
Format:
118
Language:
English
Identifier:
ISBN: 1470441438
ISBN: 9781470441432
EISBN: 9781470458041
EISBN: 1470458047
OCLC: 1153270295
LCCallNum: QA174.2.I94 2020
Source:
Ebook Central Academic Complete
This feature requires javascript
This feature requires javascript
Back to results list
This feature requires javascript
This feature requires javascript
Searching Remote Databases, Please Wait
Searching for
in
scope:(TDTS),scope:(SFX),scope:(TDT),scope:(SEN),primo_central_multiple_fe
Show me what you have so far
This feature requires javascript
This feature requires javascript