modifi graph size() const