For n = 2,3, F(n) = 2n-3; for n>=4, F(n) = 2n-4. It is relatively easier to show F(n) <= 2n-4. Indeed, it can be shown to be true one by one for n=4,5,6,7. For n>=8, it can be proven by induction. For n=2k, the gossips are first shared among pairs, then k representatives (one for each pair) share info in 2k-4 steps, finally all info are passed to other k representatives -- altogether 4k-4 steps. The case of odd numbers, though more tricky, can be treated similarly.
It is more tough to prove F(n) >= 2n-4. In fact I haven't succeeded. It's really a nice problem. Constant, where did you get all these wonderful problems? Thank you for making this place so attractive.www.ddhw.com