621 research outputs found
Large circulant graphs of fixed diameter and arbitrary degree
We consider the degree-diameter problem for undirected and directed circulant graphs. To date, attempts to generate families of large circulant graphs of arbitrary degree for a given diameter have concentrated mainly on the diameter 2 case. We present a direct product construction yielding improved bounds for small diameters and introduce a new general technique for “stitching” together circulant graphs which enables us to improve the current best known asymptotic orders for every diameter. As an application, we use our constructions in the directed case to obtain upper bounds on the minimum size of a subset A of a cyclic group of order n such that the k-fold sumset kA is equal to the whole group. We also present a revised table of largest known circulant graphs of small degree and diameter
Forwarding and optical indices of 4-regular circulant networks
An all-to-all routing in a graph is a set of oriented paths of , with
exactly one path for each ordered pair of vertices. The load of an edge under
an all-to-all routing is the number of times it is used (in either
direction) by paths of , and the maximum load of an edge is denoted by
. The edge-forwarding index is the minimum of
over all possible all-to-all routings , and the arc-forwarding index
is defined similarly by taking direction into
consideration, where an arc is an ordered pair of adjacent vertices. Denote by
the minimum number of colours required to colour the paths of such
that any two paths having an edge in common receive distinct colours. The
optical index is defined to be the minimum of over all possible
, and the directed optical index is defined
similarly by requiring that any two paths having an arc in common receive
distinct colours. In this paper we obtain lower and upper bounds on these four
invariants for -regular circulant graphs with connection set , . We give approximation algorithms with performance ratio a
small constant for the corresponding forwarding index and routing and
wavelength assignment problems for some families of -regular circulant
graphs.Comment: 19 pages, no figure in Journal of Discrete Algorithms 201
Graphs Identified by Logics with Counting
We classify graphs and, more generally, finite relational structures that are
identified by C2, that is, two-variable first-order logic with counting. Using
this classification, we show that it can be decided in almost linear time
whether a structure is identified by C2. Our classification implies that for
every graph identified by this logic, all vertex-colored versions of it are
also identified. A similar statement is true for finite relational structures.
We provide constructions that solve the inversion problem for finite
structures in linear time. This problem has previously been shown to be
polynomial time solvable by Martin Otto. For graphs, we conclude that every
C2-equivalence class contains a graph whose orbits are exactly the classes of
the C2-partition of its vertex set and which has a single automorphism
witnessing this fact.
For general k, we show that such statements are not true by providing
examples of graphs of size linear in k which are identified by C3 but for which
the orbit partition is strictly finer than the Ck-partition. We also provide
identified graphs which have vertex-colored versions that are not identified by
Ck.Comment: 33 pages, 8 Figure
- …