From 3da729c042b69666cbd0e6e200bb6472a056b841 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Radek=20Hu=C5=A1ek?= <husek@iuuk.mff.cuni.cz> Date: Tue, 1 Feb 2022 18:05:22 +0100 Subject: [PATCH] imporove nice-voltage experiment --- experiments/nice-voltage.py | 28 ++++++++++++++++------------ 1 file changed, 16 insertions(+), 12 deletions(-) diff --git a/experiments/nice-voltage.py b/experiments/nice-voltage.py index 0e72bfc..1b277da 100755 --- a/experiments/nice-voltage.py +++ b/experiments/nice-voltage.py @@ -1,8 +1,11 @@ #!/usr/bin/python -import sys, os -sys.path.append(os.path.dirname(__file__) + "/..") +""" + Calculate which members of the graph family from Theorem 7.6 + are snarks. +""" +import _experiment from itertools import permutations from graph_tools.all import * import json @@ -17,14 +20,15 @@ assignment = [0, 0, 0, 0, 0, 0, 0, 2, 2, 0, -2, 0, 0, 0, 1] Seq = voltage_graph_zn_to_sequence(template, assignment) -for i in range(3, 16): - G = Seq.graph(i).eval(UnderlyingGraph) - print(json.dumps({ - "i": i, - "graph": G.sparse6_string() - })) - -#X = Seq.stabilize(EdgeColoring(3)) -#p, l = stabilize_period(X, shift=1) -#print(p, l, l[p:]) +if __name__ == "__main__": + for i in range(3, 12): + G = Seq.graph(i).eval(UnderlyingGraph) + print(json.dumps({ + "i": i, + "graph": G.sparse6_string() + })) + + X = Seq.stabilize(EdgeColoring(3)) + p, l = stabilize_period(X, shift=1) + print(p, l, l[p:]) -- GitLab