Rotation distance is fixed-parameter tractable

  • Authors:
  • Sean Cleary;Katherine St. John

  • Affiliations:
  • Department of Mathematics, City College of New York & the Graduate Center, City University of New York, New York, NY 10031, United States;Department of Mathematics & Computer Science, Lehman College & the Graduate Center, City University of New York, Bronx, NY 10468, United States

  • Venue:
  • Information Processing Letters
  • Year:
  • 2009

Quantified Score

Hi-index 0.89

Visualization

Abstract

Rotation distance between trees measures the number of simple operations it takes to transform one tree into another. There are no known polynomial-time algorithms for computing rotation distance. In the case of ordered rooted trees, we show that the rotation distance between two ordered trees is fixed-parameter tractable, in the parameter, k, the rotation distance. The proof relies on the kernelization of the initial trees to trees with size bounded by 5k.