The Best-of-n Problem in Robot Swarms: Formalization, State of the Art, and Novel Perspectives | Synapse