JGraphT：相同数据集的图大小不一致

问题描述：在使用JGraphT库创建图时，相同数据集的图大小不一致。

解决方法：可以通过设置Graph的大小属性来解决这个问题。以下是一个代码示例：

import org.jgrapht.Graph;
import org.jgrapht.graph.DefaultEdge;
import org.jgrapht.graph.SimpleGraph;

public class GraphSizeExample {
    public static void main(String[] args) {
        // 创建一个图，设置默认大小为10
        Graph<String, DefaultEdge> graph = new SimpleGraph<>(DefaultEdge.class);
        graph.getAttributes().put("size", 10);

        // 添加顶点和边
        graph.addVertex("A");
        graph.addVertex("B");
        graph.addEdge("A", "B");

        // 获取图的大小
        int size = (int) graph.getAttributes().getAttribute("size");
        System.out.println("Graph size: " + size);

        // 创建另一个图，设置默认大小为20
        Graph<String, DefaultEdge> graph2 = new SimpleGraph<>(DefaultEdge.class);
        graph2.getAttributes().put("size", 20);

        // 添加顶点和边
        graph2.addVertex("C");
        graph2.addVertex("D");
        graph2.addEdge("C", "D");

        // 获取图的大小
        int size2 = (int) graph2.getAttributes().getAttribute("size");
        System.out.println("Graph2 size: " + size2);
    }
}

在上面的代码中，我们使用了graph.getAttributes().put("size", 10)来设置图的大小属性为10，然后通过graph.getAttributes().getAttribute("size")获取图的大小。同样的方法也适用于graph2。

通过设置图的大小属性，可以确保相同数据集的图大小一致。