[graph-tool] Re: random graph