Abstract
A cycle on a combinatorial surface is tight if it as short as possible in its (free) homotopy class. We describe an algorithm to compute a single tight, noncontractible, essentially simple cycle on a given orientable combinatorial surface in O(n log n) time. The only method previously known for this problem was to compute the globally shortest noncontractible or nonseparating cycle in O(min{g3,n}, n log n) time, where g is the genus of the surface. As a consequence, we can compute the shortest cycle freely homotopic to a chosen boundary cycle in O(n log n) time, a tight octagonal decomposition in O(gnlog n) time, and a shortest contractible cycle enclosing a nonempty set of faces in O(nlog2 n) time.
- Alon, N., Yuster, R., and Zwick, U. 1997. Finding and counting given length cycles. Algorithmica 17, 3, 209--223.Google ScholarCross Ref
- Cabello, S. and Chambers, E. W. 2007. Multiple source shortest paths in a genus g graph. In Proceedings of the 18th Symposium on Discrete Algorithms (SODA'07). 89--97. Google ScholarDigital Library
- Cabello, S. and Mohar, B. 2007. Finding shortest non-separating and non-contractible cycles for topologically embedded graphs. Discr. Comput. Geom. 37, 213--235. Preliminary version in ESA '05. Google ScholarDigital Library
- Chalermsook, P., Fakcharoenphol, J., and Nanongkai, D. 2004. A deterministic near-linear time algorithm for finding minimum cuts in planar graphs. In Proceedings of the 15th Symposium on Discrete Algorithms (SODA'04). 828--829. Google ScholarDigital Library
- Chambers, E. W., Colin de Verdière, É., Erickson, J., Lazarus, F., and Whittlesey, K. 2006. Splitting (complicated) surfaces is hard. In Proceedings of the 22nd Symposium on Computational Geometry (SOCG'06) 421--429. Google ScholarDigital Library
- Colin de Verdière, É. and Erickson, J. 2006. Tightening non-simple paths and cycles on surfaces. In Proceedings of the 17th Symposium on Discrete Algorithms (SODA'06). 192--201. Google ScholarDigital Library
- Colin de Verdière, É. and Lazarus, F. 2004. Optimal pants decompositions and shortest homotopic cycles on an orientable surface. In Proceedings of the 11th International Symposium on Graph Drawing. Lecture Notes in Computer Science, vol. 2912. Springer, 478--490.Google Scholar
- Colin de Verdière, É. and Lazarus, F. 2005. Optimal system of loops on an orientable surface. Disc. Comput. Geom. 33, 507--534.Google ScholarDigital Library
- Eppstein, D. 2003. Dynamic generators of topologically embedded graphs. In Proceedings of the 14th Symposium on Discrete Algorithms (SODA'03). 599--608. Google ScholarDigital Library
- Erickson, J. and Har-Peled, S. 2004. Optimally cutting a surface into a disk. Discr. Comput. Geom. 31, 37--59.Google ScholarDigital Library
- Erickson, J. and Whittlesey, K. 2005. Greedy optimal homotopy and homology generators. In Proceedings of the 16th Symposium on Discrete Algorithms (SODA'03). 1038--1046. Google ScholarDigital Library
- Frederickson, G. N. 1987. Fast algorithms for shortest paths in planar graphs, with applications. SIAM J. Comput. 16, 6, 1004--1004. Google ScholarDigital Library
- Hass, H. and Scott, P. 1985. Intersections of curves on surfaces. Israel J. Math. 51, 90--120.Google ScholarCross Ref
- Hatcher, A. 2001. Algebraic Topology. Cambridge University Press. http://www.math.cornell.edu/~hatcher/.Google Scholar
- Kawarabayashi, K. and Reed, B. 2007. Computing crossing number in linear time. In Proceedings of the 39th ACM Symposium on Theory of Computation (STOC'07) 382--390. Google ScholarDigital Library
- Kutz, M. 2006. Computing shortest non-trivial cycles on orientable surfaces of bounded genus in almost linear time. In Proceedings of the 22nd Symposium on Computational Geometry (SOCG'06) 430--438. Google ScholarDigital Library
- Massey, W. S. 1967. Algebraic Topology: An Introduction. Springer Verlag.Google Scholar
- Mohar, B. and Thomassen, C. 2001. Graphs on Surfaces. Johns Hopkins University Press, Baltimore.Google Scholar
- Stillwell, J. 1993. Classical Topology and Combinatorial Group Theory. Springer-Verlag, Berlin.Google Scholar
Index Terms
- Finding one tight cycle
Recommendations
Tightening Nonsimple Paths and Cycles on Surfaces
We describe algorithms to compute the shortest path homotopic to a given path, or the shortest cycle freely homotopic to a given cycle, on an orientable combinatorial surface. Unlike earlier results, our algorithms do not require the input path or cycle ...
Nonseparating Induced Cycles Consisting of Contractible Edges in $k$-Connected Graphs
Egawa and Saito proved that every $k$-connected graph with girth at least 4 has an induced cycle $C$ such that $G-V(C)$ is $(k-3)$-connected, and every edge of $C$ is contractible. This means that we can find not only a nonseparating cycle $C$ but also ...
Finding one tight cycle
SODA '08: Proceedings of the nineteenth annual ACM-SIAM symposium on Discrete algorithmsA cycle on a combinatorial surface is tight if it as short as possible in its (free) homotopy class. We describe an algorithm to compute a single tight, non-contractible, simple cycle on a given orientable combinatorial surface in O(n log n) time. The ...
Comments