Modular arithmetic comes up a lot in computer science, and so it’s no surprise that it is featured, either explicitly or implicitly, in many competitive programming problems.

As a brief aside, to be good at competitive programming it’s not enough to have a library of code at your disposal (though it certainly helps!). You must also deeply understand the code in your library and how it works—so that you know when it is applicable, what the potential pitfalls are, how to debug when things don’t work, and how to make modifications to the code to fit some new problem. I will try to explain all the code I exhibit here—why, and not just how, it works. But you’ll also ultimately be better off if you write your own code rather than using mine! Read my explanations for ideas, and then go see if you can replicate the functionality you need.

# Modular exponentiation

We start with a simple implementation of *modular exponentiation*, that is, computing , via repeated squaring. This comes up occasionally in both number theory problems (unsurprisingly) and combinatorics problems (because such problems often ask for a very large answer to be given modulo or some other large prime).

This works via the recurrence

and using the fact that taking the remainder commutes with multiplication.

```
modexp :: Integer -> Integer -> Integer -> Integer
modexp _ 0 _ = 1
modexp b e m
| even e = (r*r) `mod` m
| otherwise = (b*r*r) `mod` m
where
r = modexp b (e `div` 2) m
```

This could probably be slightly optimized, but it’s hardly worth it; since the number of multiplications performed is proportional to the logarithm of the exponent, it’s pretty much instantaneous for any inputs that would be used in practice.

However, there’s another technique, obvious in retrospect, that I have recently discovered. Many competitive programming problems ask you to compute the answer modulo some fixed number (usually a large prime). In this context, all arithmetic operations are going to be carried out modulo the same value. With Haskell’s great facilities for cheap abstraction it makes perfect sense to write something like this:

```
m :: Integer
m = 10^9 + 7 -- or whatever the modulus is supposed to be
-- Make a newtype for integers mod m
newtype M = M { unM :: Integer }
deriving (Eq, Ord)
instance Show M where show = show . unM
-- Do all arithmetic operations mod m
instance Num M where
fromInteger n = M (n `mod` m)
(M a) + (M b) = M ((a + b) `mod` m)
(M a) - (M b) = M ((a - b) `mod` m)
(M a) * (M b) = M ((a * b) `mod` m)
abs = undefined -- make the warnings stop
signum = undefined
```

The fun thing is that now the normal exponentiation operator `(^)`

does modular exponentiation for free! It is implemented using repeated squaring so it’s quite efficient. You can now write all your code using the `M`

type with normal arithmetic operations, and it will all be carried out mod `m`

automatically.

Here are a couple problems for you to try:

# Extended gcd

Beyond modular exponentiation, the workhorse of many number theory problems is the *extended Euclidean Algorithm*. It not only computes the GCD of and , but also computes and such that (which are guaranteed to exist by Bezout’s identity).

First, let’s recall how to compute the GCD via Euclid’s Algorithm:

```
gcd a 0 = abs a
gcd a b = gcd b (a `mod` b)
```

I won’t explain how this works here; you can go read about it at the link above, and it is well-covered elsewhere. But let’s think how we would find appropriate values and at the same time. Suppose the recursive call `gcd b (a `mod` b)`

, in addition to returning the greatest common divisor , were to also return values and such that . Then our goal is to find and such that , which we can compute as follows:

Hence and . Note the key step of writing : If we take the integer quotient of divided by and then multiply by again, we don’t necessarily get back exactly, but what we do get is the next smaller multiple of . Subtracting this from the original gives .

```
-- egcd a b = (g,x,y)
-- g is the gcd of a and b, and ax + by = g
egcd :: Integer -> Integer -> (Integer, Integer, Integer)
egcd a 0 = (abs a, signum a, 0)
egcd a b = (g, y, x - (a `div` b) * y)
where
(g,x,y) = egcd b (a `mod` b)
```

Finally, `egcd`

allows us to find *modular inverses*. The modular inverse of is a number such that , which will exist as long as : in that case, by Bezout’s identity, there exist and such that , and hence (since ). So is the desired modular inverse of .

```
-- inverse m a is the multiplicative inverse of a mod m.
inverse :: Integer -> Integer -> Integer
inverse m a = y `mod` m
where
(_,_,y) = egcd m a
```

Of course, this assumes that and are relatively prime; if not it will silently give a bogus answer. If you’re concerned about that you could check that the returned GCD is 1 and throw an error otherwise.

And here are a few problems for you to try!

In part 2 I’ll consider the task of solving modular equations.

Pingback: Resumen de lecturas compartidas del 16 al 21 de febrero de 2020 | Vestigium

Pingback: Competitive Programming in Haskell: modular arithmetic, part 2 | blog :: Brent -> [String]

Pingback: Competitive programming in Haskell: summer series | blog :: Brent -> [String]

Pingback: Resumen de lecturas compartidas durante febrero de 2020 | Vestigium

Hi Brent. I was inspired by this blog post to generalize your Num instance for any mod. It can be done using singletons, if you are not afraid of a few language extensions. Basically you define the newtype:

“`

data Mod :: Nat -> Type -> Type where

Mod :: forall n m . Sing n -> m -> Mod n m

“`

For which you can create a “smart constructor”:

“`

mod :: forall n m . KnownNat n => Integral m => m -> Mod n m

mod m = Mod @n Sing $ Prelude.mod m (fromInteger $ Nat.natVal @n Proxy)

“`

And all the Num-methods just fall out of that definition:

“`

instance (KnownNat n, Integral m, Show m) => Num (Mod n m) where

fromInteger = mod . fromInteger

Mod _ a + Mod _ b = mod $ a + b

Mod _ a – Mod _ b = mod $ a – b

Mod _ a * Mod _ b = mod $ a * b

abs = id

signum = const 1

“`

I put my implementation up on the interwebs in case you, or anyone, is interested: https://github.com/fredefox/mod

Very cool, thanks for sharing!