Results 1 
4 of
4
Finding shortest nontrivial cycles in directed graphs on surfaces
 In These Proceedings
, 2010
"... Let D be a weighted directed graph cellularly embedded in a surface of genus g, orientable or not, possibly with boundary. We describe algorithms to compute a shortest noncontractible and a shortest surface nonseparating cycle in D. This generalizes previous results that only dealt with undirected ..."
Abstract

Cited by 16 (3 self)
 Add to MetaCart
(Show Context)
Let D be a weighted directed graph cellularly embedded in a surface of genus g, orientable or not, possibly with boundary. We describe algorithms to compute a shortest noncontractible and a shortest surface nonseparating cycle in D. This generalizes previous results that only dealt with undirected graphs. Our first algorithm computes such cycles in O(n 2 log n) time, where n is the total number of vertices and edges of D, thus matching the complexity of the best known algorithm in the undirected case. It revisits and extends Thomassen’s 3path condition; the technique applies to other families of cycles as well. We also give an algorithm with subquadratic complexity in the complexity of the input graph, if g is fixed. Specifically, we can solve the problem in O ( √ g n 3/2 log n) time, using a divideandconquer technique that simplifies the graph while preserving the topological properties of its cycles. A variant runs in O(ng log g + nlog 2 n) for graphs of bounded treewidth.
Multiplesource shortest paths in embedded graphs
, 2012
"... Let G be a directed graph with n vertices and nonnegative weights in its directed edges, embedded on a surface of genus g, and let f be an arbitrary face of G. We describe an algorithm to preprocess the graph in O(gn log n) time, so that the shortestpath distance from any vertex on the boundary of ..."
Abstract

Cited by 12 (6 self)
 Add to MetaCart
(Show Context)
Let G be a directed graph with n vertices and nonnegative weights in its directed edges, embedded on a surface of genus g, and let f be an arbitrary face of G. We describe an algorithm to preprocess the graph in O(gn log n) time, so that the shortestpath distance from any vertex on the boundary of f to any other vertex in G can be retrieved in O(log n) time. Our result directly generalizes the O(n log n)time algorithm of Klein [Multiplesource shortest paths in planar graphs. In Proc. 16th Ann. ACMSIAM Symp. Discrete Algorithms, 2005] for multiplesource shortest paths in planar graphs. Intuitively, our preprocessing algorithm maintains a shortestpath tree as its source point moves continuously around the boundary of f. As an application of our algorithm, we describe algorithms to compute a shortest noncontractible or nonseparating cycle in embedded, undirected graphs in O(g² n log n) time.
Finding cycles with topological properties in embedded graphs
, 2010
"... Let G be a graph cellularly embedded on a surface. We consider the problem of determining whether G contains a cycle (i.e. a closed walk without repeated vertices) of a certain topological type. We show that the problem can be answered in linear time when the topological type is one of the following ..."
Abstract

Cited by 8 (1 self)
 Add to MetaCart
(Show Context)
Let G be a graph cellularly embedded on a surface. We consider the problem of determining whether G contains a cycle (i.e. a closed walk without repeated vertices) of a certain topological type. We show that the problem can be answered in linear time when the topological type is one of the following: contractible, noncontractible, or nonseparating. In either case we obtain the same time complexity if we require the cycle to contain a given vertex. On the other hand, we prove that the problem is NPcomplete when considering separating or splitting cycles. We also show that deciding the existence of a separating or a splitting cycle of length at most k is fixedparameter tractable with respect tok plus the genus of the surface.
Discrete Systolic Inequalities and Decompositions of Triangulated Surfaces∗
"... How much cutting is needed to simplify the topology of a surface? We provide bounds for several instances of this question, for the minimum length of topologically nontrivial closed curves, pants decompositions, and cut graphs with a given combinatorial map in triangulated combinatorial surfaces (o ..."
Abstract
 Add to MetaCart
How much cutting is needed to simplify the topology of a surface? We provide bounds for several instances of this question, for the minimum length of topologically nontrivial closed curves, pants decompositions, and cut graphs with a given combinatorial map in triangulated combinatorial surfaces (or their dual crossmetric counterpart). Our work builds upon Riemannian systolic inequalities, which bound the minimum length of nontrivial closed curves in terms of the genus and the area of the surface. We first describe a systematic way to translate Riemannian systolic inequalities to a discrete setting, and viceversa. This implies a conjecture by Przytycka and Przytycki from 1993, a number of new systolic inequalities in the discrete setting, and the fact that a theorem of Hutchinson on the edgewidth of triangulated surfaces and Gromov’s systolic inequality for surfaces are essentially equivalent. We also discuss how these proofs generalize to higher dimensions. Then we focus on topological decompositions of surfaces. Relying on ideas of Buser, we prove the existence of pants decompositions of length O(g3/2n1/2) for any triangulated combinatorial surface of genus g with n triangles, and describe an O(gn)time algorithm to compute such a decomposition. Finally, we consider the problem of embedding a cut graph (or more generally a cellular graph) with a given combinatorial map on a given surface. Using random triangulations, we prove (essentially) that, for any choice of a combinatorial map, there are some surfaces on which any cellular embedding with that combinatorial map has length superlinear in the number of triangles of the triangulated combinatorial surface. There is also a similar result for graphs embedded on polyhedral triangulations.