Esempio n. 1
0
 def test_LB4(self):
     print("---LBN_deltaC---")
     for i in range(0, COUNT + 1):
         base.print_graph_name(PREFIX, i)
         G = Graph(eval(PREFIX + ".V_" + str(i)),
                   eval(PREFIX + ".E_" + str(i)))
         tdlib.lower_bound(G, "LBN_deltaC")
Esempio n. 2
0
 def test_LB3(self):
     print("---deltaC_least_c---")
     for i in range(0, COUNT + 1):
         G = Graph(eval(PREFIX + ".V_" + str(i)),
                   eval(PREFIX + ".E_" + str(i)))
         base.print_graph_name(PREFIX, i)
         tdlib.lower_bound(G, "deltaC_least_c")
Esempio n. 3
0
 def test_LB7(self):
     print("---LBPC_deltaC---")
     for i in range(0, COUNT+1):
         if base.skip(PREFIX, i, lambda x,y: x > 300 or y > 300):
             continue
         base.print_graph_name(PREFIX, i)
         G = Graph(eval(PREFIX+".V_"+str(i)), eval(PREFIX+".E_"+str(i)))
         tdlib.lower_bound(G, "LBPC_deltaC")
Esempio n. 4
0
 def test_LB7(self):
     print("---LBPC_deltaC---")
     for i in range(0, COUNT + 1):
         if base.skip(PREFIX, i, lambda x, y: x > 300 or y > 300):
             continue
         base.print_graph_name(PREFIX, i)
         G = Graph(eval(PREFIX + ".V_" + str(i)),
                   eval(PREFIX + ".E_" + str(i)))
         tdlib.lower_bound(G, "LBPC_deltaC")
Esempio n. 5
0
    def test_dc_guhax(self):

        vertices = [1, 2, 3, 4, 5, 6, 7, 8]
        edges = [(1, 2), (1, 3), (1, 4), (1, 5), (2, 4), (2, 6), (2, 7),
                 (3, 5), (3, 6), (3, 8), (4, 7), (4, 8), (5, 7), (5, 8),
                 (6, 7), (6, 8), (7, 8)]
        G = Graph(vertices, edges)
        lb = tdlib.lower_bound(G, "deltaC_least_c")
        self.assertEqual(lb, 4)
Esempio n. 6
0
    def test_dc_guhax(self):

        vertices=[1,2,3,4,5,6,7,8]
        edges=[(1,2), (1, 3), (1, 4), (1, 5), (2, 4), (2, 6), (2, 7), (3, 5),
                (3, 6), (3, 8), (4, 7), (4, 8), (5, 7),( 5, 8),( 6, 7),( 6, 8),
                (7, 8)]
        G = Graph(vertices, edges)
        lb = tdlib.lower_bound(G, "deltaC_least_c")
        self.assertEqual(lb, 4)
Esempio n. 7
0
 def test_lower_bounds_8(self):
     for n in range(0, 13):
         for i in range(0, 10):
             V, E = randomGNP(n, 0.2)
             G = Graph(V, E)
             lb = tdlib.lower_bound(G, "deltaC_min_d")
             lb = tdlib.lower_bound(G, "deltaC_max_d")
             lb = tdlib.lower_bound(G, "deltaC_least_c")
             lb = tdlib.lower_bound(G, "LBN_deltaC")
             lb = tdlib.lower_bound(G, "LBNC_deltaC")
             lb = tdlib.lower_bound(G, "LBP_deltaC")
             lb = tdlib.lower_bound(G, "LBPC_deltaC")
Esempio n. 8
0
 def test_lower_bounds_8(self):
     for n in range(0, 13):
         for i in range(0, 10):
             V, E = randomGNP(n, 0.2)
             G = Graph(V, E)
             lb = tdlib.lower_bound(G, "deltaC_min_d")
             lb = tdlib.lower_bound(G, "deltaC_max_d")
             lb = tdlib.lower_bound(G, "deltaC_least_c")
             lb = tdlib.lower_bound(G, "LBN_deltaC")
             lb = tdlib.lower_bound(G, "LBNC_deltaC")
             lb = tdlib.lower_bound(G, "LBP_deltaC")
             lb = tdlib.lower_bound(G, "LBPC_deltaC")
Esempio n. 9
0
 def test_lower_bounds_4(self):
     G = Graph(V_Petersen_double, E_Petersen_double)
     lb = tdlib.lower_bound(G, "deltaC_min_d")
     self.assertEqual(lb, 4)
     lb = tdlib.lower_bound(G, "deltaC_max_d")
     self.assertEqual(lb, 3)
     lb = tdlib.lower_bound(G, "deltaC_least_c")
     self.assertEqual(lb, 4) # ??
     lb = tdlib.lower_bound(G, "LBN_deltaC")
     self.assertEqual(lb, 4) # ??
     lb = tdlib.lower_bound(G, "LBNC_deltaC")
     self.assertEqual(lb, 4) # ??
     lb = tdlib.lower_bound(G, "LBP_deltaC")
     self.assertEqual(lb, 4) # ??
     lb = tdlib.lower_bound(G, "LBPC_deltaC")
     self.assertEqual(lb, 4) # ??
Esempio n. 10
0
 def test_lower_bounds_1(self):
     G = Graph(V_P6, E_P6)
     lb = tdlib.lower_bound(G, "deltaC_min_d")
     self.assertEqual(lb, 1)
     lb = tdlib.lower_bound(G, "deltaC_max_d")
     self.assertEqual(lb, 1)
     lb = tdlib.lower_bound(G, "deltaC_least_c")
     self.assertEqual(lb, 1)
     lb = tdlib.lower_bound(G, "LBN_deltaC")
     self.assertEqual(lb, 1)
     lb = tdlib.lower_bound(G, "LBNC_deltaC")
     self.assertEqual(lb, 1)
     lb = tdlib.lower_bound(G, "LBP_deltaC")
     self.assertEqual(lb, 1)
     lb = tdlib.lower_bound(G, "LBPC_deltaC")
     self.assertEqual(lb, 1)
Esempio n. 11
0
 def test_lower_bounds_1(self):
     G = Graph(V_P6, E_P6)
     lb = tdlib.lower_bound(G, "deltaC_min_d")
     self.assertEqual(lb, 1)
     lb = tdlib.lower_bound(G, "deltaC_max_d")
     self.assertEqual(lb, 1)
     lb = tdlib.lower_bound(G, "deltaC_least_c")
     self.assertEqual(lb, 1)
     lb = tdlib.lower_bound(G, "LBN_deltaC")
     self.assertEqual(lb, 1)
     lb = tdlib.lower_bound(G, "LBNC_deltaC")
     self.assertEqual(lb, 1)
     lb = tdlib.lower_bound(G, "LBP_deltaC")
     self.assertEqual(lb, 1)
     lb = tdlib.lower_bound(G, "LBPC_deltaC")
     self.assertEqual(lb, 1)
Esempio n. 12
0
 def test_lower_bounds_6(self):
     G = Graph(V_Pappus, E_Pappus)
     lb = tdlib.lower_bound(G, "deltaC_min_d")
     self.assertEqual(lb, 4)
     lb = tdlib.lower_bound(G, "deltaC_max_d")
     self.assertEqual(lb, 3)
     lb = tdlib.lower_bound(G, "deltaC_least_c")
     self.assertEqual(lb, 4)
     lb = tdlib.lower_bound(G, "LBN_deltaC")
     self.assertEqual(lb, 4)
     lb = tdlib.lower_bound(G, "LBNC_deltaC")
     self.assertEqual(lb, 4)
     lb = tdlib.lower_bound(G, "LBP_deltaC")
     self.assertEqual(lb, 4)
     lb = tdlib.lower_bound(G, "LBPC_deltaC")
     self.assertEqual(lb, 4)
Esempio n. 13
0
 def test_lower_bounds_7(self):
     G = Graph(V_Grid_5_5, E_Grid_5_5)
     lb = tdlib.lower_bound(G, "deltaC_min_d")
     self.assertEqual(lb, 4)
     lb = tdlib.lower_bound(G, "deltaC_max_d")
     self.assertEqual(lb, 3)
     lb = tdlib.lower_bound(G, "deltaC_least_c")
     self.assertEqual(lb, 4)
     lb = tdlib.lower_bound(G, "LBN_deltaC")
     self.assertEqual(lb, 4)
     lb = tdlib.lower_bound(G, "LBNC_deltaC")
     self.assertEqual(lb, 4)
     lb = tdlib.lower_bound(G, "LBP_deltaC")
     self.assertEqual(lb, 4)
     lb = tdlib.lower_bound(G, "LBPC_deltaC")
     self.assertEqual(lb, 4)
Esempio n. 14
0
 def test_lower_bounds_6(self):
     G = Graph(V_Pappus, E_Pappus)
     lb = tdlib.lower_bound(G, "deltaC_min_d")
     self.assertEqual(lb, 4)
     lb = tdlib.lower_bound(G, "deltaC_max_d")
     self.assertEqual(lb, 3)
     lb = tdlib.lower_bound(G, "deltaC_least_c")
     self.assertEqual(lb, 4)
     lb = tdlib.lower_bound(G, "LBN_deltaC")
     self.assertEqual(lb, 4)
     lb = tdlib.lower_bound(G, "LBNC_deltaC")
     self.assertEqual(lb, 4)
     lb = tdlib.lower_bound(G, "LBP_deltaC")
     self.assertEqual(lb, 4)
     lb = tdlib.lower_bound(G, "LBPC_deltaC")
     self.assertEqual(lb, 4)
Esempio n. 15
0
 def test_lower_bounds_5(self):
     G = Graph(V_Wagner, E_Wagner)
     lb = tdlib.lower_bound(G, "deltaC_min_d")
     self.assertEqual(lb, 3)
     lb = tdlib.lower_bound(G, "deltaC_max_d")
     self.assertEqual(lb, 3)
     lb = tdlib.lower_bound(G, "deltaC_least_c")
     self.assertEqual(lb, 3)
     lb = tdlib.lower_bound(G, "LBN_deltaC")
     self.assertEqual(lb, 3)
     lb = tdlib.lower_bound(G, "LBNC_deltaC")
     self.assertEqual(lb, 3)
     lb = tdlib.lower_bound(G, "LBP_deltaC")
     self.assertEqual(lb, 3)
     lb = tdlib.lower_bound(G, "LBPC_deltaC")
     self.assertEqual(lb, 3)
Esempio n. 16
0
 def test_lower_bounds_4(self):
     G = Graph(V_Petersen_double, E_Petersen_double)
     lb = tdlib.lower_bound(G, "deltaC_min_d")
     self.assertEqual(lb, 4)
     lb = tdlib.lower_bound(G, "deltaC_max_d")
     self.assertEqual(lb, 3)
     lb = tdlib.lower_bound(G, "deltaC_least_c")
     self.assertEqual(lb, 4)  # ??
     lb = tdlib.lower_bound(G, "LBN_deltaC")
     self.assertEqual(lb, 4)  # ??
     lb = tdlib.lower_bound(G, "LBNC_deltaC")
     self.assertEqual(lb, 4)  # ??
     lb = tdlib.lower_bound(G, "LBP_deltaC")
     self.assertEqual(lb, 4)  # ??
     lb = tdlib.lower_bound(G, "LBPC_deltaC")
     self.assertEqual(lb, 4)  # ??
Esempio n. 17
0
 def test_lower_bounds_5(self):
     G = Graph(V_Wagner, E_Wagner)
     lb = tdlib.lower_bound(G, "deltaC_min_d")
     self.assertEqual(lb, 3)
     lb = tdlib.lower_bound(G, "deltaC_max_d")
     self.assertEqual(lb, 3)
     lb = tdlib.lower_bound(G, "deltaC_least_c")
     self.assertEqual(lb, 3)
     lb = tdlib.lower_bound(G, "LBN_deltaC")
     self.assertEqual(lb, 3)
     lb = tdlib.lower_bound(G, "LBNC_deltaC")
     self.assertEqual(lb, 3)
     lb = tdlib.lower_bound(G, "LBP_deltaC")
     self.assertEqual(lb, 3)
     lb = tdlib.lower_bound(G, "LBPC_deltaC")
     self.assertEqual(lb, 3)
Esempio n. 18
0
 def test_lower_bounds_7(self):
     G = Graph(V_Grid_5_5, E_Grid_5_5)
     lb = tdlib.lower_bound(G, "deltaC_min_d")
     self.assertEqual(lb, 4)
     lb = tdlib.lower_bound(G, "deltaC_max_d")
     self.assertEqual(lb, 3)
     lb = tdlib.lower_bound(G, "deltaC_least_c")
     self.assertEqual(lb, 4)
     lb = tdlib.lower_bound(G, "LBN_deltaC")
     self.assertEqual(lb, 4)
     lb = tdlib.lower_bound(G, "LBNC_deltaC")
     self.assertEqual(lb, 4)
     lb = tdlib.lower_bound(G, "LBP_deltaC")
     self.assertEqual(lb, 4)
     lb = tdlib.lower_bound(G, "LBPC_deltaC")
     self.assertEqual(lb, 4)
Esempio n. 19
0
 def test_lower_bounds_0a(self):
   l=[-1, 0, 0, 4]
   for i in range(4):
     V, E = cornercases[i]
     G = Graph(V, E)
     lb = tdlib.lower_bound(G, "deltaC_min_d")
     self.assertEqual(lb, l[i])
     lb = tdlib.lower_bound(G, "deltaC_max_d")
     self.assertEqual(lb, l[i])
     lb = tdlib.lower_bound(G, "deltaC_least_c")
     self.assertEqual(lb, l[i])
     lb = tdlib.lower_bound(G, "LBN_deltaC")
     self.assertEqual(lb, l[i])
     lb = tdlib.lower_bound(G, "LBNC_deltaC")
     self.assertEqual(lb, l[i])
     lb = tdlib.lower_bound(G, "LBP_deltaC")
     self.assertEqual(lb, l[i])
     lb = tdlib.lower_bound(G, "LBPC_deltaC")
     self.assertEqual(lb, l[i])
Esempio n. 20
0
 def test_lower_bounds_0a(self):
     l = [-1, 0, 0, 4]
     for i in range(4):
         V, E = cornercases[i]
         G = Graph(V, E)
         lb = tdlib.lower_bound(G, "deltaC_min_d")
         self.assertEqual(lb, l[i])
         lb = tdlib.lower_bound(G, "deltaC_max_d")
         self.assertEqual(lb, l[i])
         lb = tdlib.lower_bound(G, "deltaC_least_c")
         self.assertEqual(lb, l[i])
         lb = tdlib.lower_bound(G, "LBN_deltaC")
         self.assertEqual(lb, l[i])
         lb = tdlib.lower_bound(G, "LBNC_deltaC")
         self.assertEqual(lb, l[i])
         lb = tdlib.lower_bound(G, "LBP_deltaC")
         self.assertEqual(lb, l[i])
         lb = tdlib.lower_bound(G, "LBPC_deltaC")
         self.assertEqual(lb, l[i])
Esempio n. 21
0
 def test_lower_bounds_7(self):
     G = Graph(V_Grid_5_5, E_Grid_5_5)
     lb = tdlib.lower_bound(G, "deltaC_least_c")
     self.assertEqual(lb, 4)
Esempio n. 22
0
 def test_LB4(self):
     print("---LBN_deltaC---")
     for i in range(0, COUNT+1):
         base.print_graph_name(PREFIX, i)
         G = Graph(eval(PREFIX+".V_"+str(i)), eval(PREFIX+".E_"+str(i)))
         tdlib.lower_bound(G, "LBN_deltaC")
Esempio n. 23
0
 def test_LB3(self):
     print("---deltaC_least_c---")
     for i in range(0, COUNT+1):
         G = Graph(eval(PREFIX+".V_"+str(i)), eval(PREFIX+".E_"+str(i)))
         base.print_graph_name(PREFIX, i)
         tdlib.lower_bound(G, "deltaC_least_c")
Esempio n. 24
0
 def test_lower_bounds_7(self):
     G = Graph(V_Grid_5_5, E_Grid_5_5)
     lb = tdlib.lower_bound(G, "deltaC_least_c")
     self.assertEqual(lb, 4)