Monthly Archives: June 2018

Free Groups and Tiling

Introduction Consider the following simple problem. Prove that the shape on the left cannot be completely tiled by 20 polygons of the types shown on the right. The solution is rather simple: colour the shape in the following manner. This … Continue reading

Posted in Uncategorized | Tagged , , , , , , | Leave a comment

Solving Permutation-Based Puzzles

Introduction In the previous article, we described the Schreier-Sims algorithm. Given a small subset which generates the permutation group G, the algorithm constructs a sequence such that for: we have a small generating set for each Specifically, via the Sims … Continue reading

Posted in Uncategorized | Tagged , , , , , | 2 Comments

Schreier-Sims Algorithm

Introduction Throughout this article, we let G be a subgroup of generated by a subset  We wish to consider the following questions. Given A, how do we compute the order of G? How do we determine if an element lies in G? Assuming , how … Continue reading

Posted in Uncategorized | Tagged , , , , , , | Leave a comment

Primality Tests III

Solovay-Strassen Test This is an enhancement of the Euler test. Be forewarned that it is in fact weaker than the Rabin-Miller test so it may not be of much practical interest. Nevertheless, it’s included here for completeness. Recall that to … Continue reading

Posted in Uncategorized | Tagged , , , , , , , | Leave a comment

Primality Tests II

In this article, we discuss some ways of improving the basic Fermat test. Recall that for Fermat test, to test if n is prime, one picks a base a < n and checks if We also saw that this method would utterly fail … Continue reading

Posted in Uncategorized | Tagged , , , , , , | Leave a comment

Primality Tests I

Description of Problem The main problem we wish to discuss is as follows. Question. Given n, how do we determine if  it is prime? Prime numbers have opened up huge avenues in theoretical research – the renowned Riemann Hypothesis, for … Continue reading

Posted in Uncategorized | Tagged , , , , , , | Leave a comment