Using covering graph techniques, a structural result about connected cubic simple graphs admitting an edge-transitive solvable group of automorphisms is proved. This implies, among other, that every such graph can be obtained from either the 3-dipole Dip3 or the complete graph K4, by a sequence of elementary-abelian covers. Another consequence of the main structural result is that the action of...

We define an on-line (incremental) algorithm that, given a (possibly infinite) pseudo-transitive oriented graph, produces transitive reorientation. This implies that theorem of Ghouila-Houri is provable in RCA 0 and hence computably true.

Let k ≥ 3 be a positive odd integer and q be a power of a prime. In this paper we give an explicit construction of a q–regular bipartite graph on v = 2q vertices with girth g ≥ k + 5. The constructed graph is the incidence graph of a flag–transitive semiplane. For any positive integer t we also give an example of a q = 2–regular bipartite graph on v = 2q vertices with girth g ≥ k + 5 which is b...

A graph Γ is said to be locally (G, 2)-arc transitive for G a subgroup of Aut(Γ) if, for any vertex α of Γ, G is transitive on the 2-arcs of Γ starting at α. In this talk, we will discuss general results involving locally (G, 2)-arc transitive graphs and recent progress toward the classification of the locally (G, 2)-arc transitive graphs, where Sz(q) ≤ G ≤ Aut(Sz(q)), q = 2 for some k ∈ N. In ...

A version of generalised term graph rewriting is presented in which redirections are interpreted transitively. It is shown that the new semantics enjoy enhanced properties regarding ease of implementation on distributed machines compared with conventional semantics because of the Church-Rosser properties of transitive redirections. Furthermore, the good properties of orthogonal systems are larg...

An s-arc in a graph is a vertex sequence (α0, α1, . . . , αs) such that {αi−1, αi} ∈ EΓ for 1 6 i 6 s and αi−1 6= αi+1 for 1 6 i 6 s− 1. This paper gives a characterization of a class of s-transitive graphs; that is, graphs for which the automorphism group is transitive on s-arcs but not on (s+ 1)-arcs. It is proved that if Γ is a finite connected s-transitive graph (where s > 2) of order a p-p...

It is known that there are precisely three transitive permutation groups of degree 6 admit an invariant partition with parts size 2 such the kernel action on has order 4; these called A 4 ( ) , S d and c . For each L ∈ { } we construct infinite family finite connected 6-valent graphs Γ n N arc-transitive G ≤ Aut group induced by vertex-stabiliser v neighbourhood a vertex isomorphic to L, ∣ expo...

Slovenija Abstract A partial extension of the results in 1], where 2-arc-transitive cir-culants are classiied, is given. It is proved that a 2-arc-transitive Cayley graph of a dihedral group is either a complete graph or a bi-partite graph.

A decomposition of a graph is a partition of the edge set. One can also look at partitions of the arc set but in this talk we restrict our attention to edges. If each part of the decomposition is a spanning subgraph then we call the decomposition a factorisation and the parts are called factors. Decompositions are especially interesting when the subgraphs induced by each part are pairwise isomo...

Tian and Meng in [Y. Tian and J. Meng, c  -Optimally half vertex transitive graphs with regularity , Information Processing Letters 109 (2009) 683-686] shown that a connected half vertex transitive graph with regularity and girth is cyclically optimal. In this paper, we show that a connected half vertex transitive graph G is super cyclically edge-connected if minimum degree k k   6 g G   ...