AI cracked this Codeforces problem. Can you?

Our Patreon:   / polylog  

AlphaCode is a model by DeepMind.
https://alphacode.deepmind.com/

The problem we discussed is from CodeForces.
https://codeforces.com/problemset/pro...

0:00 Intro
3:29 Problem Statement
5:55 Problem Solution
11:20 Final Thoughts

Music
New World Symphony by Dvorak.
https://musopen.org/music/4942-sympho...

Images
The picture from the thumbnail is by DALLE-2 on prompt
“A humanoid robot standing thoughtfully next to a tree with many leaves and buds”

The images of dogs and muffins are all over the internet so it is hard to give proper credit there.

Code
https://github.com/polylog-cs/alpha-code

To make this video, we used Manim, a Python library developed by 3blue1brown and Manim cumminity.
https://docs.manim.community/en/stable/

The color palette we use:
https://ethanschoonover.com/solarized/

Credits
Big thanks to Davin Choo, Christoph Grunau, Filip Hlásek, Matěj Konečný, Hanka Rozhoňová, Tom Sláma, Erik Stavarache for a review of an early version of the video.