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)