Fast positive Plücker trees

• Julian Pfeifle ^[1]
  1. [1] Universitat Politècnica de Catalunya

     Universitat Politècnica de Catalunya

     Barcelona, España

     
• Localización: Discrete Mathematics Days 2022 / Luis Felipe Tabera Alonso (ed. lit.) , 2022, ISBN 978-84-19024-02-2, págs. 231-236
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • We report on a re-implementation in C++ of the search for non-realizability certificatesfor simplicial spheres in the form of positive Pl¨ucker trees [16]. On the one hand, thisimplementation is orders of magnitudes faster than the previous one, does not need linearor integer solvers anymore, and finds certificates in seconds that are completely out of reachof the related implementation by Gouveia et al [9]. On the other, our method misses somecertificates that Gouveia et al do find, so that these methods are genuinely complementary.