Note: Regular languages with no conflicts (forbidden pairs) are regular but have exponential size DFA - Archive ouverte HAL
Rapport (Rapport De Recherche) Année : 2016

Note: Regular languages with no conflicts (forbidden pairs) are regular but have exponential size DFA

Résumé

Many graph problems (Dominating sets, Steiner tree, etc.) are hard to optimize but finding a solution, regardless of its size, is in general trivial and polynomial. In recent papers, several authors introduced \emph{conflicts}, that are pairs of edges or vertices that cannot be both in a solution. These new constraints drastically improve the hardness: They proved that in most cases, deciding if there exists a solution is now NP-complete. In this short note we transport this problematic of conflicts in langage theory. Despite the negative results obtained in the field of discrete optimization, we show that a language LangP composed by the words of any regular language Lang that do not contain pairs of conflicting symbols is still regular. However, we show that the DFA accepting LangP that we construct has a non polynomial number of states. Nevertheless, we prove that this drawback cannot be avoided in general, even if a symbol is in conflict with at most another one, and seems to represent the price to pay for dealing with conflicts in regular languages.
Fichier principal
Vignette du fichier
DFA-With-Conflicts-HAL.pdf (263.94 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01402160 , version 1 (24-11-2016)

Identifiants

  • HAL Id : hal-01402160 , version 1

Citer

Alexis Cornet, Christian Laforest. Note: Regular languages with no conflicts (forbidden pairs) are regular but have exponential size DFA. [Research Report] LIMOS (UMR CNRS 6158), université Clermont Auvergne, France 2016. ⟨hal-01402160⟩
167 Consultations
108 Téléchargements

Partager

More