Wenn ein endlicher (deterministischer oder nicht deterministischer) Automat A und ein Schwellenwert n gegeben sind , akzeptiert A ein Wort, das höchstens n verschiedene Buchstaben enthält?
(Mit k verschiedenen Buchstaben meine ich, dass aabaa zwei verschiedene Buchstaben hat, a und b .)
Ich habe gezeigt, dass dieses Problem NP-vollständig ist, aber meine Reduktion erzeugt Automaten, in denen derselbe Buchstabe auf vielen Übergängen erscheint.
Mich interessieren eher die Fälle, in denen jeder Buchstabe höchstens k- mal in A vorkommt, wobei k ein fester Parameter ist. Ist das Problem noch NP-vollständig?
Für k = 1 ist das Problem nur der kürzeste Weg, ebenso wie für P. Für k = 2 konnte ich weder eine Zugehörigkeit zu P nachweisen noch einen Beweis für die NP-Härte finden.
Irgendeine Idee, zumindest für k = 2?
quelle
Antworten:
Es ist NP-schwer für . Die Reduktion erfolgt von 3-SAT- (2,2), dh jede Klausel enthält 3 Literale und jedes Literal kommt in höchstens 2 Klauseln vor.k = 3 3 2
quelle