As it's well documented, men choose urinals to maximize their distance from already occupied urinals. Letting $$u_i$$ be 1 or 0 depending on whether urinal $i$ is occupied, and setting $$\sigma_{i,j}$$ to the distances between urinals $$i$$ and $$j$$, male urinal choosing behavior can be seen as an annealing heuristic maximizing
$$!\sum u_i u_j \sigma_{i,j}$$
(summing over repeating indexes as per Einstein's convention). And this is obviously equivalent to the computational model implemented by
None
None
None