[graph-tool] Re: C++ extension: retrieve the filtered graph

Thanks for the valuable advice, Tiago. Adding a lookup before inserting edges indeed brought down the memory consumption to a manageable load. I will look into pruning the new graph, right now the code relies too much on the original, pre-filtered vertex indices, which get reindexed upon pruning. Shouldn't be too hard to de-couple that logic, though. Obrigado! Oliver