|
|
(не показаны 2 промежуточные версии 2 участников) |
Строка 1: |
Строка 1: |
− | Класс задач, разрешимых на [[Недетерминированная машина Тьюринга|недетерминированной машине Тьюринга]] за экспоненциальное время.
| + | #REDIRECT [[discopal:{{PAGENAME}}]] |
− | | + | |
− | Более формально, через определение класса [[NTIME]]:
| + | |
− | | + | |
− | <amsmath>{\cal NEXP} \equiv \cup_{c>0} {\cal NTIME}(2^{n^c})</amsmath>
| + | |
− | | + | |
− | [[Category:Классы сложности]]
| + | |
− | {{replicate-from-custiswiki-to-lib}}
| + | |