
arXiv: 1511.09327
The geometric intersection number of a curve on a surface is the minimal number of self-intersections of any homotopic curve, i.e., of any curve obtained by continuous deformation. Given a curve c represented by a closed walk of length at most ℓ on a combinatorial surface of complexity n , we describe simple algorithms to (1) compute the geometric intersection number of c in O ( n + ℓ 2 ) time, (2) construct a curve homotopic to c that realizes this geometric intersection number in O ( n +ℓ 4 ) time, and (3) decide if the geometric intersection number of c is zero, i.e., if c is homotopic to a simple curve, in O ( n +ℓ log ℓ) time. The algorithms for (2) and (3) are restricted to orientable surfaces, but the algorithm for (1) is also valid on non-orientable surfaces. To our knowledge, no exact complexity analysis had yet appeared on those problems. An optimistic analysis of the complexity of the published algorithms for problems (1) and (3) gives at best a O ( n + g 2 ℓ 2 ) time complexity on a genus g surface without boundary. No polynomial time algorithm was known for problem (2) for surfaces without boundary. Interestingly, our solution to problem (3) provides a quasi-linear algorithm to a problem raised by Poincaré more than a century ago. Finally, we note that our algorithm for problem (1) extends to computing the geometric intersection number of two curves of length at most ℓ in O ( n + ℓ 2 ) time.
Computational Geometry (cs.CG), FOS: Computer and information sciences, Analysis of algorithms and problem complexity, G.2.1, G.2.2, [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG], Computational aspects of digital topology, 510, Intersection homology and cohomology in algebraic topology, Mathematics - Geometric Topology, [MATH.MATH-GT]Mathematics [math]/Geometric Topology [math.GT], Computer graphics; computational geometry (digital and algorithmic aspects), F.2.2, G.2.1, G.2.2, FOS: Mathematics, [MATH.MATH-GT] Mathematics [math]/Geometric Topology [math.GT], computational topology, intersection number, Geometric Topology (math.GT), F.2.2; G.2.1; G.2.2, combinatorial geodesic, 004, [INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM], [INFO.INFO-CG] Computer Science [cs]/Computational Geometry [cs.CG], Computer Science - Computational Geometry, F.2.2, curves on surfaces
Computational Geometry (cs.CG), FOS: Computer and information sciences, Analysis of algorithms and problem complexity, G.2.1, G.2.2, [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG], Computational aspects of digital topology, 510, Intersection homology and cohomology in algebraic topology, Mathematics - Geometric Topology, [MATH.MATH-GT]Mathematics [math]/Geometric Topology [math.GT], Computer graphics; computational geometry (digital and algorithmic aspects), F.2.2, G.2.1, G.2.2, FOS: Mathematics, [MATH.MATH-GT] Mathematics [math]/Geometric Topology [math.GT], computational topology, intersection number, Geometric Topology (math.GT), F.2.2; G.2.1; G.2.2, combinatorial geodesic, 004, [INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM], [INFO.INFO-CG] Computer Science [cs]/Computational Geometry [cs.CG], Computer Science - Computational Geometry, F.2.2, curves on surfaces
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 5 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
