Запитання з тегом «bounds»

Двадцять років тому я створив пакет регулярних виразів, який включав перетворення з регулярних виразів в машину з кінцевим станом (DFA) і підтримував безліч закритих операцій регулярного вираження (зірка Kleene, конкатенація, зворотний зв'язок, задані операції тощо). Я не був впевнений у гіршому виконанні свого пакету. DFA має ту саму виразну силу, …

16 dfa  regular-expressions  bounds 

Зворотна функція Акермана виникає часто при аналізі алгоритмів. Чудова презентація його тут: http://www.gabrielnivasch.org/fun/inverse-ackermann . α1(n)=[n/2]α1(n)=[n/2]\alpha_1(n) = [n/2] α2(n)=[log2n]α2(n)=[log2⁡n]\alpha_2(n) = [\log_2 n] α3(n)=log∗nα3(n)=log∗⁡n\alpha_3(n) = \log^* n ......... αk(n)=1+αk(αk−1(n))αk(n)=1+αk(αk−1(n))\alpha_k(n) = 1 + \alpha_k(\alpha_{k−1}(n))α(n)=min{k:αk(n)≤3}α(n)=min{k:αk(n)≤3}\alpha(n) = \min\{k: \alpha_k(n)\leq 3\} Моє запитання: Що таке функція Ясно . Які жорсткіші межі можна задати на ? Чи …

11 ds.algorithms  ds.data-structures  bounds