Bouwer graphs, a term coined here for the first time, are a family of regular graphs which includes members that are symmetric but not arc-transitive. Such graphs are termed 1/2-transitive by Alspach et al. (1994).
Bouwer's general construction of such graphs defines a graph 
with 
and 
such that 
. The vertex set
of this graph is identified with the Cartesian product
 |
where 
denotes the ring of integers modulo 
, and the edge set consists of
pairs of 
-tuples
 |
for 
, ..., 
(with addition mod 
) and 
, ..., 
such that either 
for all 
, 3, ..., 
, or else there is exactly one 
for which 
, in which case it is taken as 
(mod 
).
Such graphs are symmetric by construction, and include the following named graphs which are arc-transitive.
 | graph |
 | cycle graph  |
 | generalized hexagon GH(2,1) |
 | circulant
graph  |
 | 525-Haar graph |
 | quartic vertex-transitive graph Qt66 |
 | Pappus graph |
However, this class of graphs also includes members that are symmetric not not edge-transitive. Such graphs
were first considered by Tutte (1966), who did not construct any, but showed that
if it existed, any such graph must be regular of
even degree. The first examples were therefore given by Bouwer (1970), who showed
is a connected 
-regular symmetric arc-intransitive graph for all integers
. This class of graphs has 
vertices, giving graphs with
vertex counts 54, 486, 4374, 39366, 354294, ... for 
, 3, ....
This smallest 
example of such a graph is the quartic symmetric
graph on 54 vertices illustrated above in several embeddings. This graph can
be concisely described and constructed from the vertex
set 
,
where 
is joined to 
,
, and 
(Holt 1981).
Dolye (1976) and Holt (1981) subsequently discovered the smaller symmetric arc-intransitive graph now known as the Doyle graph, which can be obtained from Bouwer's 54-vertex graph by contracting pairs of diametrically opposed vertices (Doyle 1998).
A partial tabulation of small symmetric arc-intransitive graphs constructed using Brouwer's method is given in the following table (Weisstein, Nov. 17, 2010),
where 
is the vertex count. These graphs will are implemented
in the Wolfram Language as GraphData[
"Bouwer", 
N, m, n
].
 |  |
| 54 |  |
| 60 |  |
| 63 |  |
| 84 |  |
| 100 |  |
