Hardprob/Minimum Locally Testable Automaton Order — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Локально тестируемый язык <em>L</em>, т.е. некий язык <em>L…») |
(нет различий)
|
Версия 00:17, 14 апреля 2023
- Локально тестируемый язык L, т.е. некий язык L, такой, что положительное целое j,
такое что входит или нет строка x в этот язык зависит от …
- префикса и суффикса x длины j-1,
- набора подстрок x длины j.
- Найти порядок j, т.е. положительное целое j, «свидетель» локальной тестируемости L.
- Минимизировать значение порядка, т.е. j.
Задача в лаб22 (рид-онли просмотр)