Intersection Optimization is NP Complete

Guillaume Bonfante 1, * Joseph Le Roux 2, *
* Auteur correspondant
1 CARTE - Theoretical adverse computations, and safety
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
2 CALLIGRAMME - Linear logic, proof networks and categorial grammars
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : We propose a method for lexical disambiguation based on polarities found in several grammatical formalisms which require multi- ples intersection of finite state automata. We then prove that there is no efficient technique to minimize the state complexity of these intersec- tions.
Type de document :
Autre publication
Rapport technique. 2007
Liste complète des métadonnées

Littérature citée [13 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00146671
Contributeur : Guillaume Bonfante <>
Soumis le : mardi 15 mai 2007 - 11:12:12
Dernière modification le : jeudi 7 février 2019 - 14:33:38
Document(s) archivé(s) le : mercredi 7 avril 2010 - 00:15:40

Fichier

intersection.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00146671, version 1

Collections

Citation

Guillaume Bonfante, Joseph Le Roux. Intersection Optimization is NP Complete. Rapport technique. 2007. 〈hal-00146671〉

Partager

Métriques

Consultations de la notice

245

Téléchargements de fichiers

94