The Compressed Word Problem for Groups

The Compressed Word Problem for Groups PDF

Author: Markus Lohrey

Publisher: Springer Science & Business Media

Published: 2014-04-04

Total Pages: 193

ISBN-13: 1493907484

DOWNLOAD EBOOK →

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.

Computer Science - Theory and Applications

Computer Science - Theory and Applications PDF

Author: Anna Frid

Publisher: Springer Science & Business Media

Published: 2009-07-28

Total Pages: 379

ISBN-13: 3642033504

DOWNLOAD EBOOK →

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.

Computer Science - Theory and Applications

Computer Science - Theory and Applications PDF

Author: Volker Diekert

Publisher: Springer

Published: 2007-08-22

Total Pages: 420

ISBN-13: 3540745106

DOWNLOAD EBOOK →

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.

Connecting with Computability

Connecting with Computability PDF

Author: Liesbeth De Mol

Publisher: Springer Nature

Published: 2021-07-01

Total Pages: 506

ISBN-13: 3030800490

DOWNLOAD EBOOK →

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.

Non-commutative Cryptography and Complexity of Group-theoretic Problems

Non-commutative Cryptography and Complexity of Group-theoretic Problems PDF

Author: Alexei G. Myasnikov

Publisher: American Mathematical Soc.

Published: 2011

Total Pages: 402

ISBN-13: 0821853600

DOWNLOAD EBOOK →

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.

Computing and Combinatorics

Computing and Combinatorics PDF

Author: Dachuan Xu

Publisher: Springer

Published: 2015-06-23

Total Pages: 785

ISBN-13: 3319213989

DOWNLOAD EBOOK →

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.

Mathematical Foundations of Computer Science 2011

Mathematical Foundations of Computer Science 2011 PDF

Author: Filip Murlak

Publisher: Springer

Published: 2011-08-09

Total Pages: 630

ISBN-13: 364222993X

DOWNLOAD EBOOK →

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.

Fundamentals of Computation Theory

Fundamentals of Computation Theory PDF

Author: Evripidis Bampis

Publisher: Springer Nature

Published: 2021-09-11

Total Pages: 476

ISBN-13: 3030865932

DOWNLOAD EBOOK →

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.