Сложность проблемы слов с наименьшим количеством различных букв, принимаемых конечным автоматом

13

Учитывая конечный (детерминированный или недетерминированный, я не думаю, что это имеет большое значение) автомат A и порог n , принимает ли A слово, содержащее не более n различных букв?

(Под k разными буквами я подразумеваю, что aabaa имеет две разные буквы, a и b .)

Я показал, что эта задача является NP-полной, но мое сокращение приводит к автоматам, в которых одна и та же буква появляется на многих переходах.

Меня скорее интересуют случаи, когда каждая буква появляется не более k раз в A, где k - фиксированный параметр. Проблема все еще NP-полная?

Для k = 1 проблема - просто кратчайший путь, как и для P. Для k = 2 я не смог ни показать членство в P, ни найти доказательство NP-твердости.

Любая идея, по крайней мере для к = 2?

Дэвид Моннио
источник
1
Для вы должны посмотреть на результаты о проблеме четности матроидов: en.wikipedia.org/wiki/Matroid_parity_problemk=2
domotorp

Ответы:

13

k=332 предложениях.

kstn цветов?

snn2nN

domotorp
источник
Это сокращение, которое я использовал (из CNF-SAT), но я не знал, что 3-SAT- (2,2) также является NP-полным, поэтому мое замечание о письмах встречается, возможно, много раз. Благодарность!
Дэвид Моннио
И действительно (я должен был подумать об этом!) Сокращение с SAT до 3-SAT- (2,2) лишь немного сложнее, чем обычное сокращение до 3CNF-SAT!
Дэвид Моннио