ниже приведен мой код для представления файла graph.txt на рисунке. Это университетская курсовая работа, нам предлагается написать некоторый код, который берет графы и создает из них SAT-экземпляры DIMACS, чтобы вычислить число хроматических чисел c, число кликов и число независимости из этих графов.
import networkx as nx
import numpy as np
import matplotlib.pyplot as plt
G = nx.read_edgelist("graph1.txt", create_using=nx.DiGraph())
# print('Output the vertices in graph')
# print(G.nodes())
# print('Output the edges in graph')
# print(G.edges())
print('Output the number of edges in graph')
print(G.number_of_edges())
print('Output the vertices of edges in graph')
print(G.number_of_nodes())
pos=nx.shell_layout(G)
nx.draw(G,pos,with_labels=True, node_color='white', edge_color='blue', node_size=400, alpha=0.5 )
plt.title('Graph_1',fontsize=15)
plt.savefig("graph1.png")
plt.show()
Представляю содержимое graph1.txt для любого удобства, спасибо!
0 4
0 13
0 7
1 18
1 4
1 5
1 8
1 9
1 13
2 8
2 12
3 16
4 18
4 11
4 19
5 18
5 13
6 8
6 17
6 15
6 7
7 19
7 11
9 18
9 19
9 14
10 17
10 11
10 15
11 12
11 18
12 19
12 17
14 16
14 19
14 17
15 16
16 18
17 18
18 19