Опубликованный пакет / CLIR
arxo.computational_complexity
v0.1.0Словарь вычислительной сложности: язык/задача/машина Тьюринга/сертификат, классы P и NP, сведения Karp и Cook, NP-трудность и NP-полнота из обоих оснований
| Работа | Номер | Редакций | Фрагментов |
|---|---|---|---|
| Авторский контракт словаря вычислительной сложности Arxo | 0.1.0 | 1 | 1 |