Pathfinding through congruences

  • Authors:
  • Alexander J. T. Gurney;Timothy G. Griffin

  • Affiliations:
  • Computer Laboratory, University of Cambridge, UK;Computer Laboratory, University of Cambridge, UK

  • Venue:
  • RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

Congruences of path algebras are useful in the definition and analysis of pathfinding problems, since properties of an algebra can be related to properties of its quotient. We show that this relationship can apply even when the algebraic objects involved satisfy weaker forms of the semiring or path algebra axioms. This is useful, since it is just these algebras and their quotients which we need to analyze pathfinding problems characterized by the need to obtain multiple paths even when path preferences are inconsistent, and paths can be filtered out arbitrarily, as in Internet routing.