lirmm-00618588, version 1
Test de propriété pour l'homomorphisme de graphes et d'hypergraphes
(2011)
Résumé : Dans ce rapport, nous nous intéressons à l'utilisation de testeurs de propriétés pour la recherche d'homomorphismes de graphes et d'hypergraphes. Après avoir montré quel genre de résultat nous pouvions attendre, nous étudions comment adapter les meilleurs testeurs connus à ce jour pour la résolution du problème k-max-csp, les limites de ces algorithmes utilisés dans le cadre de l'homomorphisme de graphes, et donnons de nouvelles bornes inférieures théoriques concernant ce genre d'algorithmes. En particulier, nous montrons que l'homomorphisme de graphe n'est pas effi cacement testable dans les modèles non-dense, ce que nous prouvons en généralisant le concept de graphe de Behrend.
- 1 : GraphIK (INRIA Sophia Antipolis)
- INRIA – Université Montpellier II - Sciences et techniques – CNRS : UMR5506 – Institut national de la recherche agronomique (INRA) : UMR1208
- 2 : Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM)
- CNRS : UMR5506 – Université Montpellier II - Sciences et techniques
- Domaine : Informatique/Intelligence artificielle
- Mots-clés : Homomorphisme – graphe – hypergraphe – test de propriété – algorithme probabiliste
- lirmm-00618588, version 1
- http://hal-lirmm.ccsd.cnrs.fr/lirmm-00618588
- oai:hal-lirmm.ccsd.cnrs.fr:lirmm-00618588
- Contributeur : Jean-François Baget
- Soumis le : Vendredi 2 Septembre 2011, 11:26:17
- Dernière modification le : Vendredi 26 Avril 2013, 16:03:10







Documents associés
Exporter