The benefits of clustering in cylindrical algebraic decomposition

• Tereso del Río ^[1] ; Matthew England ^[1]
  1. [1] Coventry University

     Coventry University

     Reino Unido

     
• Localización: EACA 2022: XVII Encuentro de Álgebra Computacional y Aplicaciones / coord. por Carlos Galindo Pastor , Philippe Giménez , Fernando Javier Hernando Carrillo , F. Monserrat Delpalillo , Julio José Moyano Fernández, 2023, ISBN 978-84-19647-46-7, págs. 71-74
• Idioma: inglés
• Enlaces
  • Texto Completo Libro
• Resumen

  • Cylindrical Algebraic Decomposition (CAD) is a very powerful algorithm with many potential applications. However, its doubly-exponential complexity limits its usability. In this document we demonstrate how the techniques of adjacency and clusteringwould reduce the double exponent of CAD complexity.