def main(strFileName, alpha = 5):
print " *** Starting *** "
G = gio.load_from_edge_list_named(strFileName)
V, E, avgdeg = G.order(), G.size(), G.avg_degree()
t1 = time.clock()
Q, G, P, max_alpha = r3.incremental_depth_3COL(G, alpha)
t2 = time.clock()
strScreen = "3-COL: %d N: %d M: %d time1: %3.3f average degree: %2.2f alpha: %s" % (bool(Q), V, E, t2 - t1, avgdeg, max_alpha)
print strScreen
if not Q:
witness = r3.UNCOL_witness(P)
else:
witness = r3.COL_witness(G, P)
tu.save_witness("", Q, witness, "", strFileName)
def main2(strFileName, alpha = 5):
print " *** Starting *** "
G = gio.load_from_edge_list_named(strFileName)
V, E, avgdeg = G.order(), G.size(), G.avg_degree()
t1 = time.clock()
Q, G, P = r3.general_3COL(G, alpha)
t2 = time.clock()
strScreen = "3-COL: %d N: %d M: %d time1: %3.3f average degree: %2.2f alpha: %s" % (Q, V, E, t2 - t1, avgdeg, alpha)
print strScreen
if not Q:
witness = r3.UNCOL_witness(P)
elif Q == 1:
witness = r3.COL_witness(G, P)
else:
return
tu.save_witness("", Q, witness, "", strFileName)