There was an ACM problem a few years ago where it was asked to count the collisions. We implemented the simulation and noticed the digits of PI but we didn't actually proven the fact. Got AC.
There was an ACM problem a few years ago where it was asked to count the collisions. We implemented the simulation and noticed the digits of PI but we didn't actually proven the fact. Got AC.