594 research outputs found
On the number of unlabeled vertices in edge-friendly labelings of graphs
Let be a graph with vertex set and edge set , and be a
0-1 labeling of so that the absolute difference in the number of edges
labeled 1 and 0 is no more than one. Call such a labeling
\emph{edge-friendly}. We say an edge-friendly labeling induces a \emph{partial
vertex labeling} if vertices which are incident to more edges labeled 1 than 0,
are labeled 1, and vertices which are incident to more edges labeled 0 than 1,
are labeled 0. Vertices that are incident to an equal number of edges of both
labels we call \emph{unlabeled}. Call a procedure on a labeled graph a
\emph{label switching algorithm} if it consists of pairwise switches of labels.
Given an edge-friendly labeling of , we show a label switching algorithm
producing an edge-friendly relabeling of such that all the vertices are
labeled. We call such a labeling \textit{opinionated}.Comment: 7 pages, accepted to Discrete Mathematics, special issue dedicated to
Combinatorics 201
Enumeration of octagonal tilings
Random tilings are interesting as idealizations of atomistic models of
quasicrystals and for their connection to problems in combinatorics and
algorithms. Of particular interest is the tiling entropy density, which
measures the relation of the number of distinct tilings to the number of
constituent tiles. Tilings by squares and 45 degree rhombi receive special
attention as presumably the simplest model that has not yet been solved exactly
in the thermodynamic limit. However, an exact enumeration formula can be
evaluated for tilings in finite regions with fixed boundaries. We implement
this algorithm in an efficient manner, enabling the investigation of larger
regions of parameter space than previously were possible. Our new results
appear to yield monotone increasing and decreasing lower and upper bounds on
the fixed boundary entropy density that converge toward S = 0.36021(3)
Pruning based Distance Sketches with Provable Guarantees on Random Graphs
Measuring the distances between vertices on graphs is one of the most
fundamental components in network analysis. Since finding shortest paths
requires traversing the graph, it is challenging to obtain distance information
on large graphs very quickly. In this work, we present a preprocessing
algorithm that is able to create landmark based distance sketches efficiently,
with strong theoretical guarantees. When evaluated on a diverse set of social
and information networks, our algorithm significantly improves over existing
approaches by reducing the number of landmarks stored, preprocessing time, or
stretch of the estimated distances.
On Erd\"{o}s-R\'{e}nyi graphs and random power law graphs with degree
distribution exponent , our algorithm outputs an exact distance
data structure with space between and
depending on the value of , where is the number of vertices. We
complement the algorithm with tight lower bounds for Erdos-Renyi graphs and the
case when is close to two.Comment: Full version for the conference paper to appear in The Web
Conference'1
Algorithms for Landmark Hub Labeling
Landmark-based routing and Hub Labeling (HL) are shortest path planning techniques, both of which rely on storing shortest path distances between selected pairs of nodes in a preprocessing phase to accelerate query answering. In Landmark-based routing, stored distances to landmark nodes are used to obtain distance lower bounds that guide A* search from node s to node t. With HL, tight upper bounds for shortest path distances between any s-t-pair can be interfered from their stored node labels, making HL an efficient distance oracle. However, for shortest path retrieval, the oracle has to be called once per edge in said path. Furthermore, HL often suffers from a large space consumption as many node pair distances have to be stored in the labels to allow for correct query answering. In this paper, we propose a novel technique, called Landmark Hub Labeling (LHL), which integrates the landmark concept into HL. We prove better worst-case path retrieval times for LHL in case it is path-consistent (a new labeling property we introduce). Moreover, we design efficient (approximation) algorithms that produce path-consistent LHL with small label size and provide parametrized upper bounds, depending on the highway dimension h or the geodesic transversal number gt of the graph. Finally, we show that the space consumption of LHL is smaller than that of (hierarchical) HL, both in theory and in experiments on real-world road networks
- …