Comment by Bootvis

You provide a bit of context but if you could explain even more terms it would be great for someone like me that is only vaguely familiar with graph theory. I can follow the general argument and some extra pointers would be greatly appreciated.