The Compressed Word Problem For Groups

Author : Markus Lohrey
Publisher : Springer Science & Business Media
Page : 193 pages
File Size : 48,9 Mb
Release : 2014-04-04
Category : Mathematics
ISBN : 9781493907489

Get Book

The Compressed Word Problem for Groups by Markus Lohrey Pdf

The Compressed Word Problem for Groups provides a detailed exposition of known results on the compressed word problem, emphasizing efficient algorithms for the compressed word problem in various groups. The author presents the necessary background along with the most recent results on the compressed word problem to create a cohesive self-contained book accessible to computer scientists as well as mathematicians. Readers will quickly reach the frontier of current research which makes the book especially appealing for students looking for a currently active research topic at the intersection of group theory and computer science. The word problem introduced in 1910 by Max Dehn is one of the most important decision problems in group theory. For many groups, highly efficient algorithms for the word problem exist. In recent years, a new technique based on data compression for providing more efficient algorithms for word problems, has been developed, by representing long words over group generators in a compressed form using a straight-line program. Algorithmic techniques used for manipulating compressed words has shown that the compressed word problem can be solved in polynomial time for a large class of groups such as free groups, graph groups and nilpotent groups. These results have important implications for algorithmic questions related to automorphism groups.

Author : Anna Frid,Andrei S. Morozov,Andrey Rybalchenko,Klaus W. Wagner
Publisher : Springer Science & Business Media
Page : 379 pages
File Size : 52,6 Mb
Release : 2009-07-28
Category : Computers
ISBN : 9783642033506

Get Book

Computer Science - Theory and Applications by Anna Frid,Andrei S. Morozov,Andrey Rybalchenko,Klaus W. Wagner Pdf

This book constitutes the refereed proceedings of the Fourth International Computer Science Symposium in Russia, CSR 2009, held in Novosibirsk, Russia, August 18-23, 2009. The 29 revised papers presented together with 4 invited papers were carefully reviewed and selected from 66 submissions. All major areas in computer science are addressed. The theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal languages, automata and their applications to computer science; computational models and concepts; proof theory and applications of logic to computer science.

Author : Frédérique Bassino,Ilya Kapovich,Markus Lohrey,Alexei Miasnikov,Cyril Nicaud,Andrey Nikolaev,Igor Rivin,Vladimir Shpilrain,Alexander Ushakov,Pascal Weil
Publisher : Walter de Gruyter GmbH & Co KG
Page : 412 pages
File Size : 42,6 Mb
Release : 2020-06-08
Category : Mathematics
ISBN : 9783110667523

Get Book

Complexity and Randomness in Group Theory by Frédérique Bassino,Ilya Kapovich,Markus Lohrey,Alexei Miasnikov,Cyril Nicaud,Andrey Nikolaev,Igor Rivin,Vladimir Shpilrain,Alexander Ushakov,Pascal Weil Pdf

Detailed Description

Author : Volker Diekert,Mikhail Volkov,Andrei Voronkov
Publisher : Springer
Page : 420 pages
File Size : 51,7 Mb
Release : 2007-08-22
Category : Computers
ISBN : 9783540745105

Get Book

Computer Science - Theory and Applications by Volker Diekert,Mikhail Volkov,Andrei Voronkov Pdf

This book features the refereed proceedings of the 2nd International Symposium on Computer Science in Russia held in September 2007. The 35 papers cover theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal languages, automata and their applications to computer science; computational models and concepts; proof theory; and applications of logic to computer science. Many applications are presented.

Author : Liesbeth De Mol,Andreas Weiermann,Florin Manea,David Fernández-Duque
Publisher : Springer Nature
Page : 506 pages
File Size : 48,5 Mb
Release : 2021-07-01
Category : Computers
ISBN : 9783030800499

Get Book

Connecting with Computability by Liesbeth De Mol,Andreas Weiermann,Florin Manea,David Fernández-Duque Pdf

This book constitutes the proceedings of the 17th Conference on Computability in Europe, CiE 2021, organized by the University of Ghent in July 2021. Due to COVID-19 pandemic the conference was held virtually. The 48 full papers presented in this volume were carefully reviewed and selected from 50 submissions. CiE promotes the development of computability-related science, ranging over mathematics, computer science and applications in various natural and engineering sciences, such as physics and biology, as well as related fields, such as philosophy and history of computing. CiE 2021 had as its motto Connecting with Computability, a clear acknowledgement of the connecting and interdisciplinary nature of the conference series which is all the more important in a time where people are more than ever disconnected from one another due to the COVID-19 pandemic.

Author : Alexei G. Myasnikov,Vladimir Shpilrain,Alexander Ushakov
Publisher : American Mathematical Soc.
Page : 402 pages
File Size : 40,9 Mb
Release : 2011
Category : Computers
ISBN : 9780821853603

Get Book

Non-commutative Cryptography and Complexity of Group-theoretic Problems by Alexei G. Myasnikov,Vladimir Shpilrain,Alexander Ushakov Pdf

Examines the relationship between three different areas of mathematics and theoretical computer science: combinatorial group theory, cryptography, and complexity theory. It explores how non-commutative (infinite) groups can be used in public key cryptography. It also shows that there is remarkable feedback from cryptography to combinatorial group theory because some of the problems motivated by cryptography appear to be new to group theory.

Author : Dachuan Xu,Donglei Du,Dingzhu Du
Publisher : Springer
Page : 785 pages
File Size : 54,6 Mb
Release : 2015-06-23
Category : Computers
ISBN : 9783319213989

Get Book

Computing and Combinatorics by Dachuan Xu,Donglei Du,Dingzhu Du Pdf

This book constitutes the refereed proceedings of the 21st International Conference on Computing and Combinatorics, COCOON 2015, held in Beijing, China, in August 2015. The 49 revised full papers and 11 shorter papers presented were carefully reviewed and selected from various submissions. The papers cover various topics including algorithms and data structures; algorithmic game theory; approximation algorithms and online algorithms; automata, languages, logic and computability; complexity theory; computational learning theory; cryptography, reliability and security; database theory, computational biology and bioinformatics; computational algebra, geometry, number theory, graph drawing and information visualization; graph theory, communication networks, optimization and parallel and distributed computing.

Author : Filip Murlak,Piotr Sankowski
Publisher : Springer
Page : 630 pages
File Size : 44,8 Mb
Release : 2011-08-09
Category : Computers
ISBN : 9783642229930

Get Book

Mathematical Foundations of Computer Science 2011 by Filip Murlak,Piotr Sankowski Pdf

This volume constitutes the refereed proceedings of the 36th International Symposium on Mathematical Foundations of Computer Science, MFCS 2011, held in Warsaw, Poland, in August 2011. The 48 revised full papers presented together with 6 invited talks were carefully reviewed and selected from 129 submissions. Topics covered include algorithmic game theory, algorithmic learning theory, algorithms and data structures, automata, grammars and formal languages, bioinformatics, complexity, computational geometry, computer-assisted reasoning, concurrency theory, cryptography and security, databases and knowledge-based systems, formal specifications and program development, foundations of computing, logic in computer science, mobile computing, models of computation, networks, parallel and distributed computing, quantum computing, semantics and verification of programs, and theoretical issues in artificial intelligence.

Author : Evripidis Bampis,Aris Pagourtzis
Publisher : Springer Nature
Page : 476 pages
File Size : 51,9 Mb
Release : 2021-09-11
Category : Computers
ISBN : 9783030865931

Get Book

Fundamentals of Computation Theory by Evripidis Bampis,Aris Pagourtzis Pdf

This book constitutes the proceedings of the 23rd International Symposium on Fundamentals of Computation Theory, FCT 2021, held in Athens, Greece, in September 2021. The 30 full papers included in this volume were carefully reviewed and selected from 94 submissions. In addition, the book contains 2 invited talks. The papers cover topics of all aspects of theoretical computer science, in particular algorithms, complexity, formal and logical methods.

Author : Giuseppe F. Italiano,Giovanni Pighizzini,Donald T. Sannella
Publisher : Springer
Page : 615 pages
File Size : 53,7 Mb
Release : 2015-08-10
Category : Computers
ISBN : 9783662480540

Get Book

Mathematical Foundations of Computer Science 2015 by Giuseppe F. Italiano,Giovanni Pighizzini,Donald T. Sannella Pdf

This two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015, held in Milan, Italy, in August 2015. The 82 revised full papers presented together with 5 invited talks were carefully selected from 201 submissions. The papers feature high-quality research in all branches of theoretical computer science. They have been organized in the following topical main sections: logic, semantics, automata, and theory of programming (volume 1) and algorithms, complexity, and games (volume 2).

Author : Yuan Gao,Hanlin Lu,Shinnosuke Seki,Sheng Yu
Publisher : Springer
Page : 446 pages
File Size : 41,7 Mb
Release : 2010-08-14
Category : Computers
ISBN : 9783642144554

Get Book

Developments in Language Theory by Yuan Gao,Hanlin Lu,Shinnosuke Seki,Sheng Yu Pdf

This book constitutes the proceedings of the 14th International Conference on Developments in Language Theory, DLT 2010, held in London, Ontario, Canada, in August 2010. The 32 regular papers presented were carefully reviewed and selected from numerous submissions. The volume also contains the papers or abstracts of 6 invited speakers, as well as a 2-page abstract for each of the 6 poster papers. The topics addressed are formal languages, automata theory, computability, complexity, logic, petri nets and related areas.

Author : Volker Diekert,Mikhail Volkov
Publisher : Springer Nature
Page : 339 pages
File Size : 46,6 Mb
Release : 2022-05-08
Category : Computers
ISBN : 9783031055782

Get Book

Developments in Language Theory by Volker Diekert,Mikhail Volkov Pdf

This book constitutes the proceedings of the 26th International Conference on Developments in Language Theory, DLT 2022, which was held in Tampa, FL, USA, during May, 2022. The conference took place in an hybrid format with both in-person and online participation. The 21 full papers included in these proceedings were carefully reviewed and selected from 32 submissions. The DLT conference series provides a forum for presenting current developments in formal languages and automata.

Author : Anonim
Publisher : ScholarlyEditions
Page : 700 pages
File Size : 52,8 Mb
Release : 2013-06-20
Category : Mathematics
ISBN : 9781490105826

Get Book

Issues in Algebra, Geometry, and Topology: 2013 Edition by Anonim Pdf

Issues in Algebra, Geometry, and Topology / 2013 Edition is a ScholarlyEditions™ book that delivers timely, authoritative, and comprehensive information about Topology. The editors have built Issues in Algebra, Geometry, and Topology: 2013 Edition on the vast information databases of ScholarlyNews.™ You can expect the information about Topology in this book to be deeper than what you can access anywhere else, as well as consistently reliable, authoritative, informed, and relevant. The content of Issues in Algebra, Geometry, and Topology: 2013 Edition has been produced by the world’s leading scientists, engineers, analysts, research institutions, and companies. All of the content is from peer-reviewed sources, and all of it is written, assembled, and edited by the editors at ScholarlyEditions™ and available exclusively from us. You now have a source you can cite with authority, confidence, and credibility. More information is available at http://www.ScholarlyEditions.com/.

Author : Josep Díaz
Publisher : Springer Science & Business Media
Page : 1272 pages
File Size : 50,8 Mb
Release : 2004-08-17
Category : Computers
ISBN : 9783540228493

Get Book

Automata, Languages and Programming by Josep Díaz Pdf

This book constitutes the refereed proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP 2004, held in Turku, Finland, in July 2004. The 97 revised full papers presented together with abstracts of 6 invited talks were carefully reviewed and selected from 379 submissions. The papers address all current issues in theoretical computer science including algorithms, automata, complexity, cryptography, database logics, program semantics, and programming theory.

Author : V. A. Tartakovskiĭ
Publisher : Unknown
Page : 122 pages
File Size : 42,5 Mb
Release : 1952
Category : Group theory
ISBN : CORNELL:31924001088396

Get Book

The Sieve Method in Group Theory by V. A. Tartakovskiĭ Pdf