def save_graph(grpindex, G, colorable, txtline, flabels, fstats, path, file_prefix = 'planar_'):
N = G.order()
M = G.size()
strFile = file_prefix + grpindex
str_prologue = "c a pseudo random planar graph \n"
str_prologue += "c generated by Jose Antonio Martin H. \n"
str_prologue += "c 3-colorable: " + str(colorable) + "\n"
str_prologue += "c graph planar_density: " + str(G.planar_density()) + "% w.r.t 3|V|-6 \n"
gio.save_to_edge_list(strFile, G, path, str_prologue)
flabels.write(grpindex + " ; " + str(colorable) + "\n")
fstats.write(txtline + "\n")
def save_counter_example(strFile, G, path):
str_prologue = "c a random planar graph \n"
str_prologue += "c this is a counter example to the Reduce3COL algorithm \n"
str_prologue += "c generated by Jose Antonio Martin H. \n"
gio.save_to_edge_list(strFile, G, path, str_prologue)
