3,367 research outputs found
Vertex-Coloring 2-Edge-Weighting of Graphs
A -{\it edge-weighting} of a graph is an assignment of an integer
weight, , to each edge . An edge weighting naturally
induces a vertex coloring by defining for every
. A -edge-weighting of a graph is \emph{vertex-coloring} if
the induced coloring is proper, i.e., for any edge .
Given a graph and a vertex coloring , does there exist an
edge-weighting such that the induced vertex coloring is ? We investigate
this problem by considering edge-weightings defined on an abelian group.
It was proved that every 3-colorable graph admits a vertex-coloring
-edge-weighting \cite{KLT}. Does every 2-colorable graph (i.e., bipartite
graphs) admit a vertex-coloring 2-edge-weighting? We obtain several simple
sufficient conditions for graphs to be vertex-coloring 2-edge-weighting. In
particular, we show that 3-connected bipartite graphs admit vertex-coloring
2-edge-weighting
Walking Through Waypoints
We initiate the study of a fundamental combinatorial problem: Given a
capacitated graph , find a shortest walk ("route") from a source to a destination that includes all vertices specified by a set
: the \emph{waypoints}. This waypoint routing problem
finds immediate applications in the context of modern networked distributed
systems. Our main contribution is an exact polynomial-time algorithm for graphs
of bounded treewidth. We also show that if the number of waypoints is
logarithmically bounded, exact polynomial-time algorithms exist even for
general graphs. Our two algorithms provide an almost complete characterization
of what can be solved exactly in polynomial-time: we show that more general
problems (e.g., on grid graphs of maximum degree 3, with slightly more
waypoints) are computationally intractable
Self-Assembly of Geometric Space from Random Graphs
We present a Euclidean quantum gravity model in which random graphs
dynamically self-assemble into discrete manifold structures. Concretely, we
consider a statistical model driven by a discretisation of the Euclidean
Einstein-Hilbert action; contrary to previous approaches based on simplicial
complexes and Regge calculus our discretisation is based on the Ollivier
curvature, a coarse analogue of the manifold Ricci curvature defined for
generic graphs. The Ollivier curvature is generally difficult to evaluate due
to its definition in terms of optimal transport theory, but we present a new
exact expression for the Ollivier curvature in a wide class of relevant graphs
purely in terms of the numbers of short cycles at an edge. This result should
be of independent intrinsic interest to network theorists. Action minimising
configurations prove to be cubic complexes up to defects; there are indications
that such defects are dynamically suppressed in the macroscopic limit. Closer
examination of a defect free model shows that certain classical configurations
have a geometric interpretation and discretely approximate vacuum solutions to
the Euclidean Einstein-Hilbert action. Working in a configuration space where
the geometric configurations are stable vacua of the theory, we obtain direct
numerical evidence for the existence of a continuous phase transition; this
makes the model a UV completion of Euclidean Einstein gravity. Notably, this
phase transition implies an area-law for the entropy of emerging geometric
space. Certain vacua of the theory can be interpreted as baby universes; we
find that these configurations appear as stable vacua in a mean field
approximation of our model, but are excluded dynamically whenever the action is
exact indicating the dynamical stability of geometric space. The model is
intended as a setting for subsequent studies of emergent time mechanisms.Comment: 26 pages, 9 figures, 2 appendice
A look at cycles containing specified elements of a graph
AbstractThis article is intended as a brief survey of problems and results dealing with cycles containing specified elements of a graph. It is hoped that this will help researchers in the area to identify problems and areas of concentration
Zero Forcing Sets and Bipartite Circulants
In this paper we introduce a class of regular bipartite graphs whose
biadjacency matrices are circulant matrices and we describe some of their
properties. Notably, we compute upper and lower bounds for the zero forcing
number for such a graph based only on the parameters that describe its
biadjacency matrix. The main results of the paper characterize the bipartite
circulant graphs that achieve equality in the lower bound.Comment: 22 pages, 13 figure
Revolutionaries and spies: Spy-good and spy-bad graphs
We study a game on a graph played by {\it revolutionaries} and
{\it spies}. Initially, revolutionaries and then spies occupy vertices. In each
subsequent round, each revolutionary may move to a neighboring vertex or not
move, and then each spy has the same option. The revolutionaries win if of
them meet at some vertex having no spy (at the end of a round); the spies win
if they can avoid this forever.
Let denote the minimum number of spies needed to win. To
avoid degenerate cases, assume |V(G)|\ge r-m+1\ge\floor{r/m}\ge 1. The easy
bounds are then \floor{r/m}\le \sigma(G,m,r)\le r-m+1. We prove that the
lower bound is sharp when has a rooted spanning tree such that every
edge of not in joins two vertices having the same parent in . As a
consequence, \sigma(G,m,r)\le\gamma(G)\floor{r/m}, where is the
domination number; this bound is nearly sharp when .
For the random graph with constant edge-probability , we obtain constants
and (depending on and ) such that is near the
trivial upper bound when and at most times the trivial lower
bound when . For the hypercube with , we have
when , and for at least spies are
needed.
For complete -partite graphs with partite sets of size at least , the
leading term in is approximately
when . For , we have
\sigma(G,2,r)=\bigl\lceil{\frac{\floor{7r/2}-3}5}\bigr\rceil and
\sigma(G,3,r)=\floor{r/2}, and in general .Comment: 34 pages, 2 figures. The most important changes in this revision are
improvements of the results on hypercubes and random graphs. The proof of the
previous hypercube result has been deleted, but the statement remains because
it is stronger for m<52. In the random graph section we added a spy-strategy
resul
- …