Wagner's Theorem on Realizers

  • Authors:
  • Nicolas Bonichon;Bertrand Le Saëc;Mohamed Mosbah

  • Affiliations:
  • -;-;-

  • Venue:
  • ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

A realizer of a maximal plane graph is a set of three particular spanning trees. It has been used in several graph algorithms and particularly in graph drawing algorithms. We propose colored flips on realizers to generalize Wagner's theorem on maximal planar graphs to realizers. From this result, it is proved that 驴0 + 驴1 + 驴2 - 驴 = n - 1 where 驴i is the number of inner nodes in the tree Ti, 驴 is the number of three colored faces in the realizer and n is the number of vertices. As an application of this formula, we show that orderly spanning trees with at most 驴 2n+1-驴/3 驴 leaves can be computed in linear time.