646,132 research outputs found
Improved Distributed Algorithms for Exact Shortest Paths
Computing shortest paths is one of the central problems in the theory of
distributed computing. For the last few years, substantial progress has been
made on the approximate single source shortest paths problem, culminating in an
algorithm of Becker et al. [DISC'17] which deterministically computes
-approximate shortest paths in time, where
is the hop-diameter of the graph. Up to logarithmic factors, this time
complexity is optimal, matching the lower bound of Elkin [STOC'04].
The question of exact shortest paths however saw no algorithmic progress for
decades, until the recent breakthrough of Elkin [STOC'17], which established a
sublinear-time algorithm for exact single source shortest paths on undirected
graphs. Shortly after, Huang et al. [FOCS'17] provided improved algorithms for
exact all pairs shortest paths problem on directed graphs.
In this paper, we present a new single-source shortest path algorithm with
complexity . For polylogarithmic , this improves
on Elkin's bound and gets closer to the
lower bound of Elkin [STOC'04]. For larger values of
, we present an improved variant of our algorithm which achieves complexity
, and
thus compares favorably with Elkin's bound of in essentially the entire range of parameters. This
algorithm provides also a qualitative improvement, because it works for the
more challenging case of directed graphs (i.e., graphs where the two directions
of an edge can have different weights), constituting the first sublinear-time
algorithm for directed graphs. Our algorithm also extends to the case of exact
-source shortest paths...Comment: 26 page
Conductance through the disclination dipole defect in metallic carbon nanotubes
The electronic transport properties of a metallic carbon nanotube with the
five-seven disclination pair characterized by a lattice distortion vector are
investigated. The influence of the disclination dipole includes induced
curvature and mixing of two sublattices. Both these factors are taken into
account via a self-consistent perturbation approach. The conductance and the
Fano factor are calculated within the transfer-matrix technique. PACS:
73.63.Fg, 72.80.Rj, 72.10.F
Compact Drawings of 1-Planar Graphs with Right-Angle Crossings and Few Bends
We study the following classes of beyond-planar graphs: 1-planar, IC-planar,
and NIC-planar graphs. These are the graphs that admit a 1-planar, IC-planar,
and NIC-planar drawing, respectively. A drawing of a graph is 1-planar if every
edge is crossed at most once. A 1-planar drawing is IC-planar if no two pairs
of crossing edges share a vertex. A 1-planar drawing is NIC-planar if no two
pairs of crossing edges share two vertices. We study the relations of these
beyond-planar graph classes (beyond-planar graphs is a collective term for the
primary attempts to generalize the planar graphs) to right-angle crossing (RAC)
graphs that admit compact drawings on the grid with few bends. We present four
drawing algorithms that preserve the given embeddings. First, we show that
every -vertex NIC-planar graph admits a NIC-planar RAC drawing with at most
one bend per edge on a grid of size . Then, we show that
every -vertex 1-planar graph admits a 1-planar RAC drawing with at most two
bends per edge on a grid of size . Finally, we make two
known algorithms embedding-preserving; for drawing 1-planar RAC graphs with at
most one bend per edge and for drawing IC-planar RAC graphs straight-line
Finite planar emulators for K_{4,5} - 4K_2 and K_{1,2,2,2} and Fellows' Conjecture
In 1988 Fellows conjectured that if a finite, connected graph admits a finite
planar emulator, then it admits a finite planar cover. We construct a finite
planar emulator for K_{4,5} - 4K_2. Archdeacon showed that K_{4,5} - 4K_2 does
not admit a finite planar cover; thus K_{4,5} - 4K_2 provides a counterexample
to Fellows' Conjecture.
It is known that Negami's Planar Cover Conjecture is true if and only if
K_{1,2,2,2} admits no finite planar cover. We construct a finite planar
emulator for K_{1,2,2,2}. The existence of a finite planar cover for
K_{1,2,2,2} is still open.Comment: Final version. To appear in European Journal of Combinatoric
Exceptional planar polynomials
Planar functions are special functions from a finite field to itself that
give rise to finite projective planes and other combinatorial objects. We
consider polynomials over a finite field that induce planar functions on
infinitely many extensions of ; we call such polynomials exceptional planar.
Exceptional planar monomials have been recently classified. In this paper we
establish a partial classification of exceptional planar polynomials. This
includes results for the classical planar functions on finite fields of odd
characteristic and for the recently proposed planar functions on finite fields
of characteristic two
Planar Octilinear Drawings with One Bend Per Edge
In octilinear drawings of planar graphs, every edge is drawn as an
alternating sequence of horizontal, vertical and diagonal ()
line-segments. In this paper, we study octilinear drawings of low edge
complexity, i.e., with few bends per edge. A -planar graph is a planar graph
in which each vertex has degree less or equal to . In particular, we prove
that every 4-planar graph admits a planar octilinear drawing with at most one
bend per edge on an integer grid of size . For 5-planar
graphs, we prove that one bend per edge still suffices in order to construct
planar octilinear drawings, but in super-polynomial area. However, for 6-planar
graphs we give a class of graphs whose planar octilinear drawings require at
least two bends per edge
Contact Representations of Graphs in 3D
We study contact representations of graphs in which vertices are represented
by axis-aligned polyhedra in 3D and edges are realized by non-zero area common
boundaries between corresponding polyhedra. We show that for every 3-connected
planar graph, there exists a simultaneous representation of the graph and its
dual with 3D boxes. We give a linear-time algorithm for constructing such a
representation. This result extends the existing primal-dual contact
representations of planar graphs in 2D using circles and triangles. While
contact graphs in 2D directly correspond to planar graphs, we next study
representations of non-planar graphs in 3D. In particular we consider
representations of optimal 1-planar graphs. A graph is 1-planar if there exists
a drawing in the plane where each edge is crossed at most once, and an optimal
n-vertex 1-planar graph has the maximum (4n - 8) number of edges. We describe a
linear-time algorithm for representing optimal 1-planar graphs without
separating 4-cycles with 3D boxes. However, not every optimal 1-planar graph
admits a representation with boxes. Hence, we consider contact representations
with the next simplest axis-aligned 3D object, L-shaped polyhedra. We provide a
quadratic-time algorithm for representing optimal 1-planar graph with L-shaped
polyhedra
- …