New Perspectives on Semiring Applications to Dynamic Programming - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2024

New Perspectives on Semiring Applications to Dynamic Programming

Ambroise Baril
  • Fonction : Auteur
  • PersonId : 1238875
Miguel Couceiro
Victor Lagerkvist
  • Fonction : Auteur
  • PersonId : 1116387

Résumé

Semiring algebras have been shown to provide a suitable language to formalize many noteworthy combinatorial problems. For instance, the Shortest-Path problem can be seen as a special case of the Algebraic-Path problem when applied to the tropical semiring. The application of semirings typically makes it possible to solve extended problems without increasing the computational complexity. In this article we further exploit the idea of using semiring algebras to address and tackle several extensions of classical computational problems by dynamic programming. We consider a general approach which allows us to define a semiring extension of any problem with a reasonable notion of a certificate (e.g., an NP problem). This allows us to consider cost variants of these combinatorial problems, as well as their counting extensions where the goal is to determine how many solutions a given problem admits. The approach makes no particular assumptions (such as idempotence) on the semiring structure. We also propose a new associative algebraic operation on semirings, called ∆-product, which enables our dynamic programming algorithms to count the number of solutions of minimal costs. We illustrate the advantages of our framework on two well-known but computationally very different NP-hard problems, namely, Connected-Dominating-Set problems and finite-domain Constraint Satisfaction Problems (Csps). In particular, we prove fixed parameter tractability (FPT) with respect to clique-width and tree-width of the input. This also allows us to count solutions of minimal cost that, to the best of our knowledge, cannot be done by any algorithm in the literature.
Fichier principal
Vignette du fichier
Article_Semiring.pdf (561.78 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04434071 , version 1 (02-02-2024)

Licence

Paternité - Pas d'utilisation commerciale - Pas de modification

Identifiants

  • HAL Id : hal-04434071 , version 1

Citer

Ambroise Baril, Miguel Couceiro, Victor Lagerkvist. New Perspectives on Semiring Applications to Dynamic Programming. 2024. ⟨hal-04434071⟩
43 Consultations
48 Téléchargements

Partager

Gmail Facebook X LinkedIn More