class IsomorphTest(unittest.TestCase):
def setUp(self):
self._checker = IndividualizationRefinementChecker()
def test_huge1_01(self):
self._graphs = loadgraphs('data\colorref_largeexample_4_1026.grl')
self.runTest(0, 1)
def test_huge1_02(self):
self._graphs = loadgraphs('data\colorref_largeexample_4_1026.grl')
self.runTest(0, 2)
def test_huge1_03(self):
self._graphs = loadgraphs('data\colorref_largeexample_4_1026.grl')
self.runTest(0, 3)
def test_huge1_12(self):
self._graphs = loadgraphs('data\colorref_largeexample_4_1026.grl')
self.runTest(1, 2)
def test_huge1_13(self):
self._graphs = loadgraphs('data\colorref_largeexample_4_1026.grl')
self.runTest(1, 3)
def test_huge1_23(self):
self._graphs = loadgraphs('data\colorref_largeexample_4_1026.grl')
self.runTest(2, 3)
def runTest(self, index1: int, index2: int):
g1 = (self._graphs[0][index1])
g2 = (self._graphs[0][index2])
result = self._checker.isIsomorphic(g1, g2)
class IsomorphTest(unittest.TestCase):
def setUp(self):
self._checker = IndividualizationRefinementChecker()
self._checker._checker = ColorRefinementChecker()
def test_gi_01(self):
self._graphs = loadgraphs('data\\basicgi2.grl')
self.runTest(0, 1)
def test_gi_02(self):
self._graphs = loadgraphs('data\\basicgi2.grl')
self.runTest(0, 2)
def test_gi_03(self):
self._graphs = loadgraphs('data\\basicgi2.grl')
self.runTest(0, 3)
def test_gi_12(self):
self._graphs = loadgraphs('data\\basicgi2.grl')
self.runTest(1, 2)
def test_gi_13(self):
self._graphs = loadgraphs('data\\basicgi2.grl')
self.runTest(1, 3)
def test_gi_23(self):
self._graphs = loadgraphs('data\\basicgi2.grl')
self.runTest(2, 3)
def runTest(self, index1 : int, index2 : int):
g1 = (self._graphs[0][index1])
g2 = (self._graphs[0][index2])
result = self._checker.isIsomorphic(copy.deepcopy(g1), copy.deepcopy(g2))
print(result)
writeDOT(g1, "data\\basicgi2_%s.dot"%(index1))
class IsomorphTest(unittest.TestCase):
def setUp(self):
self._checker = IndividualizationRefinementChecker()
def test_bigtrees1_01(self):
self._graphs = loadgraphs("data\\bigtrees1.grl")
self.runTest(0, 1, False)
def test_bigtrees1_02(self):
self._graphs = loadgraphs("data\\bigtrees1.grl")
self.runTest(0, 2, True)
def test_bigtrees1_03(self):
self._graphs = loadgraphs("data\\bigtrees1.grl")
self.runTest(0, 3, False)
def test_bigtrees1_12(self):
self._graphs = loadgraphs("data\\bigtrees1.grl")
self.runTest(1, 2, False)
def test_bigtrees1_13(self):
self._graphs = loadgraphs("data\\bigtrees1.grl")
self.runTest(1, 3, True)
def test_bigtrees1_23(self):
self._graphs = loadgraphs("data\\bigtrees1.grl")
self.runTest(2, 3, False)
def runTest(self, index1: int, index2: int, expectedResult: bool):
g1 = (self._graphs[0][index1])
g2 = (self._graphs[0][index2])
result = self._checker.isIsomorphic(g1, g2)
self.assertEqual(expectedResult, result)
class IsomorphTest(unittest.TestCase):
def setUp(self):
self._checker = IndividualizationRefinementChecker()
def test_Quick(self):
self._graphs = loadgraphs('data\colorref_smallexample_4_7.grl')
self.runTest(0, 1, False)
self.runTest(0, 2, True)
self.runTest(0, 3, False)
self.runTest(1, 2, False)
self.runTest(1, 3, True)
self.runTest(2, 3, False)
def test_Quick1(self):
self._graphs = loadgraphs('data\colorref_smallexample_4_16.grl')
self.runTest(0, 1, True)
self.runTest(0, 2, False)
self.runTest(0, 3, False)
self.runTest(1, 2, False)
self.runTest(1, 3, False)
self.runTest(2, 3, True)
def test_Quick3(self):
self._graphs = loadgraphs('data\colorref_smallexample_6_15.grl')
self.runTest(0, 1, True)
self.runTest(0, 2, False)
self.runTest(0, 3, False)
self.runTest(0, 4, False)
self.runTest(0, 5, False)
self.runTest(1, 2, False)
self.runTest(1, 3, False)
self.runTest(1, 4, False)
self.runTest(1, 5, False)
self.runTest(2, 3, True)
self.runTest(2, 4, False)
self.runTest(2, 5, False)
self.runTest(3, 4, False)
self.runTest(3, 5, False)
self.runTest(4, 5, True)
def test_cubes(self):
self._graphs = loadgraphs('data\cubes3.grl')
self.runTest(0, 1, False)
self.runTest(0, 2, True)
self.runTest(0, 3, False)
self.runTest(1, 2, False)
self.runTest(1, 3, True)
self.runTest(2, 3, False)
def test_cubes2(self):
self._graphs = loadgraphs('data\cubes4.grl')
self.runTest(0, 1, False)
self.runTest(0, 2, False)
self.runTest(0, 3, False)
self.runTest(1, 2, False)
self.runTest(1, 3, True)
self.runTest(2, 3, False)
def test_cubes3(self):
self._graphs = loadgraphs('data\cubes5.grl')
self.runTest(0, 1, True)
self.runTest(0, 2, False)
self.runTest(0, 3, False)
self.runTest(1, 2, False)
self.runTest(1, 3, False)
self.runTest(2, 3, False)
def runTest(self, index1: int, index2: int, expectedResult : bool):
g1 = self._graphs[0][index1].clone()
g2 = self._graphs[0][index2].clone()
result = self._checker.isIsomorphic(g1, g2)
print(index1, index2, result)
self.assertEqual(expectedResult, result)
if result:
writeDOT(g1, 'cubes_' + str(index1) + '.dot')
writeDOT(g2, 'cubes_' + str(index2) + '.dot')
class IsomorphTest(unittest.TestCase):
def setUp(self):
self._checker = IndividualizationRefinementChecker()
self._checker._checker = FastPartitionRefinementChecker()
def test_gi_01(self):
self._graphs = loadgraphs('data\\modulesc.grl')
self.runTest(0, 1)
def test_gi_02(self):
self._graphs = loadgraphs('data\\modulesc.grl')
self.runTest(0, 2)
def test_gi_03(self):
self._graphs = loadgraphs('data\\modulesc.grl')
self.runTest(0, 3)
def test_gi_04(self):
self._graphs = loadgraphs('data\\modulesc.grl')
self.runTest(0, 4)
def test_gi_05(self):
self._graphs = loadgraphs('data\\modulesc.grl')
self.runTest(0, 5)
def test_gi_06(self):
self._graphs = loadgraphs('data\\modulesc.grl')
self.runTest(0, 6)
def test_gi_12(self):
self._graphs = loadgraphs('data\\modulesc.grl')
self.runTest(1, 2)
def test_gi_13(self):
self._graphs = loadgraphs('data\\modulesc.grl')
self.runTest(1, 3)
def test_gi_14(self):
self._graphs = loadgraphs('data\\modulesc.grl')
self.runTest(1, 4)
def test_gi_15(self):
self._graphs = loadgraphs('data\\modulesc.grl')
self.runTest(1, 5)
def test_gi_16(self):
self._graphs = loadgraphs('data\\modulesc.grl')
self.runTest(1, 6)
def test_gi_23(self):
self._graphs = loadgraphs('data\\modulesc.grl')
self.runTest(2, 3)
def test_gi_24(self):
self._graphs = loadgraphs('data\\modulesc.grl')
self.runTest(2, 4)
def test_gi_25(self):
self._graphs = loadgraphs('data\\modulesc.grl')
self.runTest(2, 5)
def test_gi_26(self):
self._graphs = loadgraphs('data\\modulesc.grl')
self.runTest(2, 6)
def test_gi_34(self):
self._graphs = loadgraphs('data\\modulesc.grl')
self.runTest(3, 4)
def test_gi_35(self):
self._graphs = loadgraphs('data\\modulesc.grl')
self.runTest(3, 5)
def test_gi_36(self):
self._graphs = loadgraphs('data\\modulesc.grl')
self.runTest(3, 6)
def test_gi_45(self):
self._graphs = loadgraphs('data\\modulesc.grl')
self.runTest(4, 5)
def test_gi_46(self):
self._graphs = loadgraphs('data\\modulesc.grl')
self.runTest(4, 6)
def test_gi_56(self):
self._graphs = loadgraphs('data\\modulesc.grl')
self.runTest(5, 6)
def runTest(self, index1: int, index2: int):
g1 = (self._graphs[0][index1])
g2 = (self._graphs[0][index2])
result = self._checker.isIsomorphic(copy.deepcopy(g1),
copy.deepcopy(g2))
print(index1, index2, result)
writeDOT(g1, "data\\basicgi2_%s.dot" % (index1))
class IsomorphTest(unittest.TestCase):
def setUp(self):
self._checker = IndividualizationRefinementChecker()
def test_quick1_01(self):
self._graphs = loadgraphs('data\colorref_smallexample_4_7.grl')
self.runTest(0, 1, False)
def test_quick1_02(self):
self._graphs = loadgraphs('data\colorref_smallexample_4_7.grl')
self.runTest(0, 2, True)
def test_quick1_03(self):
self._graphs = loadgraphs('data\colorref_smallexample_4_7.grl')
self.runTest(0, 3, False)
def test_quick1_12(self):
self._graphs = loadgraphs('data\colorref_smallexample_4_7.grl')
self.runTest(1, 2, False)
def test_quick1_13(self):
self._graphs = loadgraphs('data\colorref_smallexample_4_7.grl')
self.runTest(1, 3, True)
def test_quick1_23(self):
self._graphs = loadgraphs('data\colorref_smallexample_4_7.grl')
self.runTest(2, 3, False)
def test_quick2_01(self):
self._graphs = loadgraphs('data\colorref_smallexample_4_16.grl')
self.runTest(0, 1, True)
def test_quick2_02(self):
self._graphs = loadgraphs('data\colorref_smallexample_4_16.grl')
self.runTest(0, 2, False)
def test_quick2_03(self):
self._graphs = loadgraphs('data\colorref_smallexample_4_16.grl')
self.runTest(0, 3, False)
def test_quick2_12(self):
self._graphs = loadgraphs('data\colorref_smallexample_4_16.grl')
self.runTest(1, 2, False)
def test_quick2_13(self):
self._graphs = loadgraphs('data\colorref_smallexample_4_16.grl')
self.runTest(1, 3, False)
def test_quick2_23(self):
self._graphs = loadgraphs('data\colorref_smallexample_4_16.grl')
self.runTest(2, 3, True)
def test_quick3_01(self):
self._graphs = loadgraphs('data\colorref_smallexample_6_15.grl')
self.runTest(0, 1, True)
def test_quick3_02(self):
self._graphs = loadgraphs('data\colorref_smallexample_6_15.grl')
self.runTest(0, 2, False)
def test_quick3_03(self):
self._graphs = loadgraphs('data\colorref_smallexample_6_15.grl')
self.runTest(0, 3, False)
def test_quick3_04(self):
self._graphs = loadgraphs('data\colorref_smallexample_6_15.grl')
self.runTest(0, 4, False)
def test_quick3_05(self):
self._graphs = loadgraphs('data\colorref_smallexample_6_15.grl')
self.runTest(0, 5, False)
def test_quick3_12(self):
self._graphs = loadgraphs('data\colorref_smallexample_6_15.grl')
self.runTest(1, 2, False)
def test_quick3_13(self):
self._graphs = loadgraphs('data\colorref_smallexample_6_15.grl')
self.runTest(1, 3, False)
def test_quick3_14(self):
self._graphs = loadgraphs('data\colorref_smallexample_6_15.grl')
self.runTest(1, 4, False)
def test_quick3_15(self):
self._graphs = loadgraphs('data\colorref_smallexample_6_15.grl')
self.runTest(1, 5, False)
def test_quick3_23(self):
self._graphs = loadgraphs('data\colorref_smallexample_6_15.grl')
self.runTest(2, 3, True)
def test_quick3_24(self):
self._graphs = loadgraphs('data\colorref_smallexample_6_15.grl')
self.runTest(2, 4, False)
def test_quick3_25(self):
self._graphs = loadgraphs('data\colorref_smallexample_6_15.grl')
self.runTest(2, 5, False)
def test_quick3_34(self):
self._graphs = loadgraphs('data\colorref_smallexample_6_15.grl')
self.runTest(3, 4, False)
def test_quick3_35(self):
self._graphs = loadgraphs('data\colorref_smallexample_6_15.grl')
self.runTest(3, 5, False)
def test_quick3_45(self):
self._graphs = loadgraphs('data\colorref_smallexample_6_15.grl')
self.runTest(4, 5, True)
def test_quick4(self):
self._graphs = loadgraphs('data\colorref_smallexample_2_49.grl')
self.runTest(0, 1, True)
def runTest(self, index1: int, index2: int, expectedResult: bool):
g1 = (self._graphs[0][index1])
g2 = (self._graphs[0][index2])
result = self._checker.isIsomorphic(g1, g2)
self.assertEqual(expectedResult, result)
class SomeTest(unittest.TestCase):
def setUp(self):
self._checker = IndividualizationRefinementChecker()
self._alphabet_jan = loadgraphs("alphabet_jan.grl")
self._alphabet_tygo = loadgraphs("alphabet_tygo.grl")
self._alphabet_pixel = loadgraphs("alphabet_pixel.grl")
def test_jan(self):
print("jan:")
self.alpha_self(self._alphabet_jan)
def test_pixel(self):
print("pixel:")
self.alpha_self(self._alphabet_pixel)
def test_tygo(self):
print("tygo:")
self.alpha_self(self._alphabet_tygo)
def test_jan_pixel_vs(self):
print("jan vs pixel:")
self.alpha_versus(self._alphabet_jan, self._alphabet_pixel)
def test_jan_tygo_vs(self):
print("jan vs tygo:")
self.alpha_versus(self._alphabet_jan, self._alphabet_tygo)
def test_pixel_tygo_vs(self):
print("pixel vs tygo:")
self.alpha_versus(self._alphabet_pixel, self._alphabet_tygo)
def test_jan_pixel_all(self):
print("jan and pixel:")
self.alpha_all(self._alphabet_jan, self._alphabet_pixel)
def test_jan_tygo_all(self):
print("#jan and *tygo:")
self.alpha_all(self._alphabet_jan, self._alphabet_tygo)
def test_pixel_tygo_all(self):
print("pixel and tygo:")
self.alpha_all(self._alphabet_pixel, self._alphabet_tygo)
def alpha_self(self, alpha: list):
isos = []
queue = list(range(0, 26))
while (len(queue) > 0):
index = queue.pop(0)
localiso = []
localiso.append(chr(index + 97))
for i in range(index + 1, 26):
g1 = copy.deepcopy(alpha[0][index])
g2 = copy.deepcopy(alpha[0][i])
if self._checker.isIsomorphic(g1, g2):
if i in queue:
queue.remove(i)
localiso.append(chr(i + 97))
isos.append(localiso)
print(isos)
def alpha_versus(self, alpha1: list, alpha2: list):
isos = []
for i in range(0, 26):
jan = copy.deepcopy(alpha1[0][i])
tygo = copy.deepcopy(alpha2[0][i])
iso = self._checker.isIsomorphic(jan, tygo)
if iso:
isos.append(chr(i + 97))
print(isos)
def alpha_all(self, alpha1: list, alpha2: list):
alpha1 = copy.deepcopy(alpha1)
alpha2 = copy.deepcopy(alpha2)
for i in range(0, 26):
alpha1[0][i]._label = "#%s" % chr(97 + i)
alpha2[0][i]._label = "*%s" % chr(97 + i)
mountain = list(alpha1[0]) + list(alpha2[0])
isos = []
while (len(mountain) > 0):
g1 = mountain.pop(0)
localiso = []
localiso.append(g1._label)
for g2 in mountain[:]:
if self._checker.isIsomorphic(g1, g2):
mountain.remove(g2)
localiso.append(g2._label)
isos.append(localiso)
print(isos)