我正在尝试编写一个代码，它将通过有限无向图的边缘着色有限地表示完整无限图上的边缘着色，然后尝试使用这些有限表示找到一些拉姆齐数的上限。
我感兴趣的 Ramsey 数是 $R(\alpha, k)$ 的形式，其中 $\alpha$ 是可数的，k 是有限的。为简单起见，我有兴趣在不包含单色 k 团的有限无向图上生成所有可能的边缘着色。假设我们将有限图的边着色为两种颜色（即红色和蓝色），再次为简单起见，如果着色在它们之间分配了蓝色边而不是边，则在两个节点 n1 和 n2 之间放置一条边如果着色在它们之间分配了红色边缘，则在它们之间；问题归结为：如何在不包含 k 团的 n 个顶点上有效地生成所有可能的无向图？
我认为我可以使用 networkx，因为它是我习惯的唯一与图形相关的库，但是，我想不出一种简单的方法来在 networkx 中进行这一生成。我也愿意使用任何语言的任何库来有效地解决这个问题，因为，正如你可能猜到的，有一天这个 n 将是一个很大的数字......
感谢您的时间