Configurations with few crossings in topological graphs

  • Authors:
  • Christian Knauer;Étienne Schramm;Andreas Spillner;Alexander Wolff

  • Affiliations:
  • Institute of Computer Science, Freie Universität Berlin, Germany;Fakultät für Informatik, Universität Karlsruhe, PO Box 6980, D-76128 Karlsruhe, Germany;Institute of Computer Science, Friedrich-Schiller-Universität Jena, Germany;Fakultät für Informatik, Universität Karlsruhe, PO Box 6980, D-76128 Karlsruhe, Germany

  • Venue:
  • Computational Geometry: Theory and Applications
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper we study the problem of computing subgraphs of a certain configuration in a given topological graph G such that the number of crossings in the subgraph is minimum. The configurations that we consider are spanning trees, s-t paths, cycles, matchings, and @k-factors for @k@?{1,2}. We show that it is NP-hard to approximate the minimum number of crossings for these configurations within a factor of k^1^-^@e for any @e0, where k is the number of crossings in G. We then give a simple fixed-parameter algorithm that tests in O^@?(2^k) time whether G has a crossing-free configuration for any of the above, where the O^@?-notation neglects polynomial terms. For some configurations we have faster algorithms. The respective running times are O^@?(1.9999992^k) for spanning trees and O^@?((3)^k) for s-t paths and cycles. For spanning trees we also have an O^@?(1.968^k)-time Monte-Carlo algorithm. Each O^@?(@b^k)-time decision algorithm can be turned into an O^@?((@b+1)^k)-time optimization algorithm that computes a configuration with the minimum number of crossings.