|
例子
|
唯一具有3条边的3-一致Veblen超图是重数为3,{(1,2,3)^3}的单边。
唯一具有4条边的3一致Veblen超图是4一致单纯形(即四面体),如Cooper和Dutle所示。
有两个具有5条边的3-一致Veblen超图:冠{(1,2,3),(1,2,4),(1.2,5),(3,4,5)^2}和紧5-圈{(1.2,3),[2,3,4),[3,4,1),(4,5,1)和(5,1,2)}。
|
|
程序
|
(圣人)
e=n
#给定一个3-一致超图H,如果H是3-价的,则返回true。
定义为_3_价(H=关联结构([[]]):
return(设置([H.degree(i)%3 for i in range(len(H.ground_Set()))])==设置([0]))
#返回所有连接的3-一致Veblen超图的列表,这些超图具有精确的e条边,直至同构。
定义Veblen_3graphs(e=1):
V=[]
对于范围(3,e+2)中的n:#可能会给出一个更好的界限
对于超图.nauty中的H(e,n,uniform=3,multiple_sets=True,vertex_min_degree=3,set_min_size=3,connected=True):
如果是_3_价(关联结构(H)):
V.append(事件结构(H))
回路V
len(Veblen_3graphs(e))
|