Lo que en una RFC no sea un MUST quiere decir justamente eso, que podría serlo o no.
Sobre lo del aro tiene todo el sentido, ya que el servidor dhcp se está asegurando que ningún host tenga IP fija o que les haya asignado IP otro servidor en la misma red.
Martin