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 |