A formal proof of the optimal frame setting for Dynamic-Frame Aloha with known population size

Luca Barletta, Flaminio Borgonovo, Matteo Cesana

In Dynamic-Frame Aloha subsequent frame lengths must be optimally chosen to maximize throughput. When the initial population size $\mathcal{N}$ is known, numerical evaluations show th…