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")
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")
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")
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")
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)
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)
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")
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) # ??
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)
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)
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)
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)
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])
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])
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)
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")
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")