在Sage中创建图表

Question

我想在圣人中定义新图。设V是有限域GF（q）上的向量空间。图的顶点是来自V的i维子空间和来自V的n-i维子空间，当且仅当两个子空间的直接和为V时，两个顶点相邻。

我在sage中定义此图表时遇到问题。有什么建议吗？

Answer 1

这应该让你开始：

sage: p = 5
sage: K = GF(p^2, 'a')
sage: V = K^4
sage: len(list(V.subspaces(1)))
16276
sage: len(list(V.subspaces(3)))
16276

所以这个图将会非常大：16276 * 2 = 32552个顶点。让我们做一个较小的例子。然后你可以做类似

的事情

sage: p = 3
sage: K = GF(p)
sage: V = K^4
sage: vertices = list(V.subspaces(1)) + list(V.subspaces(3))
sage: for X in vertices:
....:     L = []
....:     for Y in vertices:
....:         if X + Y == V:
....:             L.append(Y)
....:     d[X] = L
....:     
sage: Graph(d)
Graph on 80 vertices