Definition 1 (Dynamic virtualdigraph,DVD).
A dynamic virtual digraph can be defined as a pair(V,E),
where V is a set of dynamic nodes which may be moving at any moment,
and E is a set of virtual directed edges between the nodes,
The node pairs at the ends of avirtual edge are not necessarily topologically adjacent.