Esempio n. 1
0
 def testGIAut(self):
     """
     Test for number of automorphisms between different graphs.
     :return:
     """
     start = time.time()
     graphlist = loadgraph('../../test_grafen/basis/basicGIAut.grl', readlist=True)
     combinator(graphlist, True)
     end = time.time()
     t = end - start
     print("Execution time: " + str(t))
Esempio n. 2
0
 def testAut(self):
     """
     Test for automorphisms between two the same graphs.
     :return:
     """
     start = time.time()
     l = loadgraph('../../test_grafen/basis/basicAut2.gr', readlist=False)
     print(isomorphisms(l, l, True))
     end = time.time()
     t = end - start
     print("Execution time: " + str(t))
Esempio n. 3
0
from graphs.graphIO import loadgraph, writeDOT
from tristan.isomorphisms import bijection, colordict
from tristan.refinement import hopcroft

"""
Test if bijection works.
"""
l = loadgraph('../../test_grafen/colorref_smallexample_2_49.grl', readlist=True)
hopcroft(l[0][1])
hopcroft(l[0][2])
print(bijection(colordict(l[0][1]),colordict(l[0][2])))