Grapher

Algorithmic Graph Theory application with option to export to TiKZ and
Metapost and send source code by email and copy to clipboard.

Graph theory and algorithm application. This app lets you create and
edit undirected simple graphs, as well as analyze properties of the
graph, and furthermore allows you to export the graphs in Tikz and
Metapost format.

The app has several built-in algorithms, especially exact NP-hard
problems like (Connected) Vertex Cover, Clique, Independent Set,
Dominating Set, Odd Cycle Transversal, Feedback Vertex Set, Steiner
tree, Minimum fill-in, Treewidth, Bandwidth, and other "simpler"
problems, like connectivity, diameter, girth, cut vertices and
bridges.