def test_fancy_graph():
G = file2graph("graphs/CaiOrigTwistedV10.txt")
F = file2graph("graphs/CaiOrigV10.txt")
k = 2
(answer, isomorphism) = sa.k_dim_linear_relax(G, F, k)
assert answer in (0, 3)
if answer is not 0:
np.testing.assert_almost_equal(isomorphism.sum(0), 1, decimal=4)
np.testing.assert_almost_equal(isomorphism.sum(1), 1, decimal=4)
def test_simple1():
G = file2graph("graphs/simple1.txt")
F = file2graph("graphs/simple2.txt")
k = 1
(answer, isomorphism) = sa.k_dim_linear_relax(G, F, k, solver='linear')
assert answer in (0, 3)
if answer is not 0:
np.testing.assert_almost_equal(isomorphism.sum(0), 1)
np.testing.assert_almost_equal(isomorphism.sum(1), 1)
def example():
G = file2graph("graphs/CaiOrigTwistedV10.txt")
H = file2graph("graphs/CaiOrigV10.txt")
nx.draw(G)
print('close figure to continue')
plt.show()
nx.draw(H)
print('close figure to continue')
plt.show()
for k in range(1, 4):
print("\033[1;33;40m \n running Sherali-Adams with k =", k, "\033[0m ")
solver = "linear" if k < 3 else "minimize"
(answer, isomorphism) = k_dim_linear_relax(G, H, k, solver)
print("\033[01;32m \n", flag_interpreter(answer), "\033[00m ")
print("\033[1;33;40m \n", np.round(isomorphism, decimals=5),
"\033[0m ")