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

Abstract : 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.
Complete list of metadatas

Cited literature [11 references]  Display  Hide  Download
Contributor : Christian Laforest <>
Submitted on : Thursday, November 24, 2016 - 12:24:15 PM
Last modification on : Monday, January 20, 2020 - 12:12:05 PM
Long-term archiving on: Tuesday, March 21, 2017 - 12:40:58 AM


Files produced by the author(s)


  • HAL Id : hal-01402160, version 1


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⟩



Record views


Files downloads