Avoiding duplicate graphs