Just because I wondered what it looked like, I generated a few
directed graphs of undirected graphs:

The vertices in this directed graph are all of the undirected graphs on
four vertices, where two graphs are connected if you can add an
edge to one to obtain the other. Here’s five and six:

Comments

There's some javascript trying to load some comments, and if
you're reading this, it's probably not working.

## Comments