Hardprob/Minimum Consistent Finite Automaton — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Два конечных множества <em>P, N</em> двоичных строк. * На…») |
(нет различий)
|
Текущая версия на 23:59, 13 апреля 2023
- Два конечных множества P, N двоичных строк.
- Найти детерминированный конечный автомат , который принимает все строки из P и отвергает все строки из N.
- Минимизировать число состояний в автомате.
Задача в лаб22 (рид-онли просмотр)
- Задача в базе NP-полных задач Вигго Кана
- Код задачи в книге «ГД» → «AL8»