 |
|
|
|
| HAL : hal-00128622, version 2 |
| arXiv : cs.LO/0702016 |
| Fiche détaillée |  Récupérer au format |
|
|
| Electronic Journal of Combinatories 15, 1 (2008) R69 |
|
|
| Versions disponibles : | v1 (02-02-2007) | v2 (27-03-2007) |
|
|
|
|
| A multivariate interlace polynomial |
|
|
| Bruno Courcelle 1, 2 |
|
|
| ANR projet GRAAL Collaboration(s) |
|
|
| (05/2008) |
|
|
|
| We define a multivariate polynomial that generalizes several interlace polynomials defined by Arratia, Bollobas and Sorkin on the one hand, and Aigner and van der Holst on the other. We follow the route traced by Sokal, who defined a multivariate generalization of Tutte's polynomial. We also show that bounded portions of our interlace polynomial can be evaluated in polynomial time for graphs of bounded clique-width. Its full evaluation is necessarly exponential just because of the size of the result. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire Bordelais de Recherche en Informatique (LaBRI) |
|
|
|
CNRS : UMR5800 – Université Sciences et Technologies - Bordeaux I – École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB) – Université Victor Segalen - Bordeaux II |
|
|
| 2 : | Institut Universitaire de France (IUF) |
|
|
|
Ministère de l'Enseignement Supérieur et de la Recherche Scientifique |
|
|
|
|
|
|
|
|
|
| Méthodes Formelles |
|
|
|
|
| Domaine | : | Informatique/Logique en informatique Informatique/Mathématique discrète |
|
|
| Interlace polynomial – multivariate polynomial – monadic second-order logic – clique-width |
|
|
|
| Liste des fichiers attachés à ce document : | ||||||||||
|
||||||||||
|
|
|
| hal-00128622, version 2 | |
| http://hal.archives-ouvertes.fr/hal-00128622 | |
| oai:hal.archives-ouvertes.fr:hal-00128622 | |
| Contributeur : Bruno Courcelle | |
| Soumis le : Mardi 27 Mars 2007, 13:26:10 | |
| Dernière modification le : Vendredi 24 Octobre 2008, 11:19:46 | |
