complexité de la demi-langue


24

Pour toute langue sur , définissez En d'autres termes, constituée de tous pour lesquels il existe un de longueur égale de telle sorte que .LΣ

L1/2={XΣ:XyL,yΣ|X|}.
L1/2XyXyL

Un exercice du livre de Sipser demande de montrer que est régulier chaque fois que est. J'ai vu deux solutions distinctes, et toutes deux impliquent une explosion exponentielle des États.L1/2L

Question: quelqu'un peut-il construire une famille de langages telle sorte que l'automate canonique pour soit significativement (disons exponentiellement) plus grand que celui pour ? Jusqu'à présent, mes meilleurs efforts n'augmentent la taille de l'état que de !{Ln}(Ln)1/2L+1


1
vous ne mentionnez pas le problème semi-évident de la minimisation DFA. je n'ai pas vu les preuves mais peut-être qu'ils ne le prennent pas en compte. et une minimisation DFA post-exécution sur la construction de preuve pourrait simplifier considérablement le DFA ...?
vzn

5
Les constructions dans les preuves sont abstraites et il n'est pas du tout clair comment les minimiser via les techniques standard.
Aryeh

Pouvez-vous publier la meilleure famille de langues que vous avez trouvée?
Diego de Estrada

ce n'est pas nécessaire pour répondre à votre Q, mais il pourrait être utile d'esquisser les constructions. une autre option consiste à attaquer le problème de manière empirique avec des FSM aléatoires
vzn

Réponses:


20

Voir l'article de Mike Domaratzki, State complex of proportional Removals

http://dl.acm.org/citation.cfm?id=782471

http://www.cs.umanitoba.ca/~mdomarat/pubs/sc_jalc.ps


2
Excellent! le théorème 6 donne une famille de langages avec et le théorème 3 donne une borne supérieure deO(neΩ(enbûchen), il y a donc peu de place pour l'amélioration. O(nenbûchen)
Diego de Estrada
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.