Betrachten Sie die Sprache L k - d i s t i n c t,
L k - d i s t i n c t : = { w = σ 1 σ 2 . . . σ k | ∀ i ∈ [ k ] : σ i ∈ & Sgr; und ∀ j ≠ i : σ j ≠ σ i }
Diese Sprache ist endlich und daher regelmäßig. Insbesondere wenn | Σ | = n
Was ist der kleinste nicht deterministische endliche Automat, der diese Sprache akzeptiert?
Ich habe derzeit die folgenden losen oberen und unteren Schranken:
Die kleinste NFA, die ich konstruieren kann, hat -Zustände.4 k ( 1 + o ( 1 ) ) ⋅ p o l y l o g ( n )
4k ( 1 + o ( 1 ) )⋅ p o l yl o g( n ) Das folgende Lemma impliziert eine Untergrenze von Zuständen:2 k
2k
Sei L ⊆ Σ ∗
L ⊆ & Sgr;∗ eine reguläre Sprache. Angenommen, es gibt nn Paare P = { ( x i , w i ) | 1 ≤ i ≤ n }P= { ( xich, wich) | 1 ≤ i ≤ n } so dass x i ⋅ w j ∈ Lxich⋅ wj∈L genau dann, wenn i = ji=j . Dann hat jede NFA, die L akzeptiert, mindestens n Zustände.
- Eine weitere (triviale) Untergrenze ist l o g
log ( nk )(nk) , das Protokoll der Größe des kleinsten DFA für die Sprache.
Ich interessiere mich auch für NFAs, die nur einen festen Bruch ( 0 < ϵ < 1
Bearbeiten: Ich habe gerade ein Kopfgeld angefangen, das einen Fehler im Text hatte.
Ich meinte, wir könnten k = polylog (n) annehmen, k = p o l y l o g ( n )
Edit2:
Die Prämie wird bald enden. Wenn sich also jemand dafür interessiert, wie man sie vielleicht leichter verdient, sollten Sie die folgende Sprache in Betracht ziehen:
L ( r , k ) - d i s t i n c t : = { w : w
(dh L ( 1 , k ) - d i s t i n c t = L k - d i s t i n c t
Eine ähnliche Konstruktion wie die in den Kommentaren gibt für .O ( e k ≤ 2 k ≤ l o g ( 1 + r ) ≤ p o l y ( n ) )
Kann das verbessert werden? Was ist die beste Untergrenze, die wir für diese Sprache anzeigen können?