Bouwer 图,这是一个首次在此处提出的术语,是一系列正则图,其中包括对称但不弧传递的成员。Alspach 等人 (1994) 将此类图称为 1/2-传递图。
Bouwer 对此类图的一般构造定义了一个图 ,其中
且
,使得
。此图的顶点集被定义为笛卡尔积
其中 表示模
的整数环,边集由 边集 N 元组对组成
对于 , ...,
(模
加法)和
, ...,
,使得对于所有
, 3, ...,
,
,或者恰好存在一个
,使得
,在这种情况下,它被视为
(mod
)。
根据构造,这些图是对称的,并且包括以下被命名的弧传递图。
然而,这类图也包括对称但非边传递的成员。Tutte (1966) 最先考虑了这类图,他没有构造任何图,但表明如果存在,任何这样的图都必须是偶数度的正则图。因此,Bouwer (1970) 给出了第一个例子,他表明 对于所有整数
都是连通的
-正则对称非弧传递图。这类图有
个顶点,对于
, 3, ...,给出的图的顶点计数为 54、486、4374、39366、354294、...
这种图的最小 () 示例是在 54 个顶点上的四次对称图,如上图在几个嵌入中所示。这个图可以从顶点集
中简洁地描述和构造,其中
连接到
、
和
(Holt 1981)。
Dolye (1976) 和 Holt (1981) 随后发现了较小的对称非弧传递图,现在称为 Doyle 图,可以通过收缩 Bouwer 的 54 顶点图的直径相对的顶点对来获得 (Doyle 1998)。
下表 (Weisstein,2010 年 11 月 17 日) 给出了使用 Brouwer 方法构造的小型对称非弧传递图的部分列表,其中 是顶点计数。这些图在 Wolfram 语言中实现为GraphData[
"Bouwer",
N, m, n
].
54 | |
60 | |
63 | |
84 | |
100 |