1,577 research outputs found
Parametric shortest-path algorithms via tropical geometry
We study parameterized versions of classical algorithms for computing
shortest-path trees. This is most easily expressed in terms of tropical
geometry. Applications include shortest paths in traffic networks with variable
link travel times.Comment: 24 pages and 8 figure
Counting Arithmetical Structures on Paths and Cycles
Let G be a finite, connected graph. An arithmetical structure on G is a pair of positive integer vectors d, r such that (diag (d) - A) r=0 , where A is the adjacency matrix of G. We investigate the combinatorics of arithmetical structures on path and cycle graphs, as well as the associated critical groups (the torsion part of the cokernels of the matrices (diag (d) - A)). For paths, we prove that arithmetical structures are enumerated by the Catalan numbers, and we obtain refined enumeration results related to ballot sequences. For cycles, we prove that arithmetical structures are enumerated by the binomial coefficients ((2n-1)/(n-1)) , and we obtain refined enumeration results related to multisets. In addition, we determine the critical groups for all arithmetical structures on paths and cycles
Counting Triangulations and other Crossing-Free Structures Approximately
We consider the problem of counting straight-edge triangulations of a given
set of points in the plane. Until very recently it was not known
whether the exact number of triangulations of can be computed
asymptotically faster than by enumerating all triangulations. We now know that
the number of triangulations of can be computed in time,
which is less than the lower bound of on the number of
triangulations of any point set. In this paper we address the question of
whether one can approximately count triangulations in sub-exponential time. We
present an algorithm with sub-exponential running time and sub-exponential
approximation ratio, that is, denoting by the output of our
algorithm, and by the exact number of triangulations of , for some
positive constant , we prove that . This is the first algorithm that in sub-exponential time computes a
-approximation of the base of the number of triangulations, more
precisely, . Our algorithm can be
adapted to approximately count other crossing-free structures on , keeping
the quality of approximation and running time intact. In this paper we show how
to do this for matchings and spanning trees.Comment: 19 pages, 2 figures. A preliminary version appeared at CCCG 201
BPS state counting on singular varieties
We define new partition functions for theories with targets on toric
singularities via products of old partition functions on crepant resolutions.
We compute explicit examples and show that the new partition functions turn out
to be homogeneous on MacMahon factors.Comment: 16 pages Latex. Text reorganized. Expanded with comments on the
spaces C_mn, proofs of Prop 4.1 and another proof of Prop. 5.4 added.
Reference list updated.Version published in J. Phys A (color online
Memory-Constrained Algorithms for Simple Polygons
A constant-workspace algorithm has read-only access to an input array and may
use only O(1) additional words of bits, where is the size of
the input. We assume that a simple -gon is given by the ordered sequence of
its vertices. We show that we can find a triangulation of a plane straight-line
graph in time. We also consider preprocessing a simple polygon for
shortest path queries when the space constraint is relaxed to allow words
of working space. After a preprocessing of time, we are able to solve
shortest path queries between any two points inside the polygon in
time.Comment: Preprint appeared in EuroCG 201
- …