Theoretical aspects of graph models for MANETs